logical-operation

As a command

9 categories below logical-operation

• logical-connective 4
• quantifier 2
• boolean-operation
• existential-quantifier
• logical-conjunction
• logical-disjunction
• logical-negation
• material-implication
• universal-quantifier