Hej, czy wie ktoś jak zapiać takie predykaty:
1 - "n nie jest kwadratem liczby całkowitej"
2 - "Dla dowolnych dwóch różnych liczb rzeczywistych można znaleźć trzecią, która od jednej z dwóch pierwszych jest większa, a od drugiej mniejsza."
Moja propozycja do pierwszego: \(\exists n\) n = \(k \cdot 2 \cdot 7\)
Z drugim to w sumie nie wiem :/
Predykaty
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij