Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
-
martaaa7
- Czasem tu bywam
- Posty: 122
- Rejestracja: 16 paź 2011, 18:19
- Podziękowania: 31 razy
- Płeć:
Post
autor: martaaa7 »
Zapisz następującą funkcję zdaniową
x jest największym wspólnym dzielnikiem liczb y i z. Można używać znaku rówości nierówności dodawanie i mnożenia
-
radagast
- Guru
- Posty: 17549
- Rejestracja: 09 lis 2010, 07:38
- Lokalizacja: Warszawa
- Podziękowania: 41 razy
- Otrzymane podziękowania: 7435 razy
- Płeć:
Post
autor: radagast »
\(\exist k,l \in C: \ y=k \cdot x \wedge z=l \cdot x \wedge \left( \exist k,l \in C: \ \left(y=k \cdot t \wedge z=l \cdot t \right) \Rightarrow t \le x \right)\)