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

edit
S love  
M trust  
P admire  


013 113 171

edit
 
 
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]