|
|
 | | From: | Gregi | | Subject: | Jak zapisac ? | | Date: | Sat, 22 Jan 2005 15:19:31 +0100 |
|
|
 | Witam,
Jak zapisac takie zdanie :
Liczby 54 i 42 maja te same dzielniki mniejsze od 7.
Zapisalbym to tak, co tym sadzicie :
(\forall n) (n<7 i n|54 -> n|42)
? Dzieki :)
--
Pozdrawiam Gregi
GG:2400874
W moim adresie mailowym zamien 'X' na 'i',jesli chcesz do mnie napisac.
|
|
| | From: | wodorotlenek | | Subject: | Re: Jak zapisac ? | | Date: | Sat, 22 Jan 2005 15:40:51 +0100 |
|
|
| Gregi wrote:
> Witam,
>
> Jak zapisac takie zdanie :
> Liczby 54 i 42 maja te same dzielniki mniejsze od 7 (1)
> Zapisalbym to tak, co tym sadzicie :
> (\forall n) (n<7 i n|54 -> n|42)
> ? Dzieki :)
>
Zapisałeś tyle, że "wszystkie dzielniki 54 mniejsze od 7 są też
dzielnikami 42" (2).
To za mało.
Pozostawiłeś jeszcze taką możliwość, że "może istnieć podzielnik 42
mniejszy od 7, który nie dzieli 54" (3).
Bo (2) nie wyklucza (3), a (3) zaprzecza (1).
HOX
|
|
| | From: | Gregi | | Subject: | Re: Jak zapisac ? | | Date: | Sat, 22 Jan 2005 15:47:32 +0100 |
|
|
| wodorotlenek napisał(a):
>> (\forall n) (n<7 i n|54 -> n|42)
> Zapisałeś tyle, że "wszystkie dzielniki 54 mniejsze od 7 są też
> dzielnikami 42" (2).
> To za mało.
> Pozostawiłeś jeszcze taką możliwość, że "może istnieć podzielnik 42
> mniejszy od 7, który nie dzieli 54" (3).
> Bo (2) nie wyklucza (3), a (3) zaprzecza (1).
Racja, ale to juz chyba dziala :
(\forall n<7)(n|54 <-> n|42)
?
Dzieki za wskazowki :)
--
Pozdrawiam Gregi
GG:2400874
W moim adresie mailowym zamien 'X' na 'i',jesli chcesz do mnie napisac.
|
|
| | From: | wodorotlenek | | Subject: | Re: Jak zapisac ? | | Date: | Sat, 22 Jan 2005 15:51:40 +0100 |
|
|
| Gregi wrote:
> wodorotlenek napisał(a):
>
>>> (\forall n) (n<7 i n|54 -> n|42)
>
>
>> Zapisałeś tyle, że "wszystkie dzielniki 54 mniejsze od 7 są też
>> dzielnikami 42" (2).
>> To za mało.
>> Pozostawiłeś jeszcze taką możliwość, że "może istnieć podzielnik 42
>> mniejszy od 7, który nie dzieli 54" (3).
>> Bo (2) nie wyklucza (3), a (3) zaprzecza (1).
>
>
> Racja, ale to juz chyba dziala :
> (\forall n<7)(n|54 <-> n|42)
> ?
> Dzieki za wskazowki :)
>
Teraz jest ok.
Prosze.
HOX
|
|
|
