RP aram: 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: ∃_n n=k*2*7 Z drugim to w sumie nie wiem

iteRacj@: 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. (∀x,y∊ℛ)(x≠y ⇒ (∃z∊ℛ) x<z<y ∨ y<z<x)