Formulas in predicate logic; different predicates

From Wikiversity
Jump to navigation Jump to search
Formulas in predicate logic
e1a2 ¬S∧¬P
[110]
e1a2 ¬S∧P
[112]
(e1a2 S) ∧ (e1a2 P)
(implied by, but not to be confused with [113])
e1a2 S∧¬P
[111]
e1a2 S∧P
[113]
a1e2 ¬Sv¬P
¬ e1a2 S∧P
[013]

Matrix sketches
Matrix lists 2x2
e12 S∧P
[173]
a2e1 S∧P
[133]
e(12) S∧P
[153]
a1e2 S∧P
[163]
e1a2 S∧P
[113]
a(12) S∧P
[123]
e2a1 S∧P
[143]
a12 S∧P
[103]


Syllogism analogues[edit | edit source]

S love
M trust
P admire


013 113 171[edit | edit source]

a1e2 ¬Mv¬P
¬ e1a2 M∧P
Everyone has someone whom they don't trust or whom they don't admire.
(Negation of "Someone trusts and admires everyone.")
[013]
e1a2 S∧M Someone loves and trusts everyone. [113]
(a1e2 ¬Mv¬P) ∧ (e1a2 S∧M)
e12 S∧¬P Someone has someone whom they love, but whom they don't admire. [171]