Formulas in predicate logic; different predicates

From Wikiversity
Jump to navigation Jump to search
Formulas in predicate logic Rdrup.svg
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]

S love Predicates SMP; S.svg
M trust Predicates SMP; M.svg
P admire Predicates SMP; P.svg


013 113 171[edit]

Predicate logic; tensor 013 MP.svg
Loupe light.svg
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]
Predicate logic; tensor 113 SM.svg
Loupe light.svg e1a2 S∧M Someone loves and trusts everyone. [113]
Predicate logic; tensor 013 MP and 113 SM.svg
Loupe light.svg (a1e2 ¬Mv¬P) ∧ (e1a2 S∧M)
Predicate logic; tensor 171 SP.svg
Loupe light.svg e12 S∧¬P Someone has someone whom they love, but whom they don't admire. [171]