ITL
© 1996-2015







15 Examples First Order Logic

Example 8

4 > 3
A + 5 ≤ B ∧ B  = D - 7
P ≡ (A + 5 ≤ B )
Q ≡o(B =  D - 7)
∀A  (A +  1 >o A)
A = 8 ∧ ∃b  (A =  2* *b)

_____________________________________________________________________