. _:b7115223 . . . . . "1" . . . _:b7115223 "(logic) A truth-valued function such as (the usual suspects): conjunction, disjunction, negation, and material implication."@en . . .