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