Propositional Logic Worksheet Page 4

ADVERTISEMENT

LOGICAL CONNECTIVES
• Use logical connectives to build complex propositions from sim-
pler ones.
The First Three Logical Connectives
• ¬ denotes not. ¬P is the negation of P.
• ∨ denotes or. P ∨ Q is the disjunction of P and Q.
• ∧ denotes and. P ∧ Q is the conjunction of P and Q.
Order of Operations
• ¬ first
• ∧/∨ second
• implication and biconditionals last (more on these later)
• parentheses can be used to change the order
4

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education