Formulas in predicate logic; different predicates
Formulas in predicate logic ![]() |
![]() [110] |
![]() [112] |
||
![]() (implied by, but not to be confused with [113]) |
![]() [111] |
![]() [113] |
![]() ¬ e1a2 S∧P [013] |
![]() |
![]() |
![]() [173] |
||
![]() [133] |
![]() [153] |
![]() [163] | ||
![]() [113] |
![]() [123] |
![]() [143] | ||
![]() [103] |
Syllogism analogues
editS | love | |
M | trust | |
P | admire |
013 113 171
edit