Formulas in predicate logic; different predicates

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

S	love
M	trust
P	admire

013 113 171

	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]

Rather boring conclusions
[062] and [060] are also conclusions, just like [171], but they follow from the second premise alone: e1a2 S ∧ M   $\Rightarrow$   e1a2 S   $\Rightarrow$   e1a2 S ∨ whatever
	e1a2 S	Someone loves everyone.
	e1a2 S∨¬P ¬ a1e2 ¬S∧P	Someone loves or doesn't admire everyone. (Negation of "Everyone has someone whom they don't love, but admire.")	[062]
	e1a2 S∨P ¬ a1e2 ¬S∧¬P	Someone loves or admires everyone. (Negation of "Everyone has someone whom they neither love nor admire.")	[060]