logical-connective

public under logical-operation 9

List Picture As a command

• logical-conjunction
• logical-disjunction
• logical-negation
• material-implication