Standard symbolic notation for propositional logic connectives such as negation, conjunction, and disjunction.
25 cards · basic cards · AI-written, checked twice. Edit anything.
- In propositional logic, what is the symbol for negation?
- ~ (tilde)
- What does ~ (tilde) represent?
- Negation, or not
- What is the truth value of ~p when p is true?
- False
- What is the truth value of ~p when p is false?
- True
- In propositional logic, what is the symbol for conjunction?
- & (ampersand) or ∧
- What does & represent?
- Conjunction, or and
- The symbol · (dot) also represents...
- Conjunction
- When is p & q true?
- When both p and q are true
- When is p & q false?
- When at least one of p or q is false
- Is conjunction commutative?
- Yes, p & q is equivalent to q & p
- In propositional logic, what is the symbol for disjunction?
- | (vertical bar) or ∨
- The symbol + is sometimes used to represent...
- Disjunction
- Is disjunction commutative?
- Yes, p | q is equivalent to q | p
- In propositional logic, what is the symbol for implication?
- -> (arrow) or →
- What is another common symbol for implication?
- ⊃ (horseshoe)
FlashKeepers