Formulas in predicate logic; different predicates

Formulas in predicate logic
e1a2 ¬S∧¬P
e1a2 ¬S∧P
(e1a2 S) ∧ (e1a2 P)
(implied by, but not to be confused with [113])
e1a2 S∧¬P
e1a2 S∧P
a1e2 ¬Sv¬P
¬ e1a2 S∧P

Matrix sketches
Matrix lists 2x2
e12 S∧P
a2e1 S∧P
e(12) S∧P
a1e2 S∧P
e1a2 S∧P
a(12) S∧P
e2a1 S∧P
a12 S∧P

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.")
  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]