Synergy User Manual and Tutorial. - THE CORE MEMORY

Synergy User Manual and Tutorial
The predicate P means “is a dog” and Q means “is a mammal”. The conclusion states
that because Fido is a dog, Fido is a mammal. If we negate the quantifier as such:
¬∀x[Px→Qx]
The statement becomes:
“Not every dog is a mammal”.
Which sounds ridiculous but the statement is permissible by predicate logic. We can
change this to:
∀x[Px→¬Qx]
Which translates to:
“Some dogs are not mammals”.
Mathematical statements can be constructed using propositional calculus. The statement:
“If a integer is less than 10, then it is less than 11”
This statement can be converted using the universal quantifier so that is true for every
integer x (x ∈ N) less than 10 as such:
∀x ∈ N [(x