Connective Symbols
Some examples of connectives are as follows:
Symbol | Name | Meaning | Example |
---|---|---|---|
¬ | Negation | Negation (NOT) | ¬p (not p) |
∧ | Conjunction | Conjunction (AND) | p ∧ q (p and q) |
∨ | Disjunction | Disjunction (OR) | p ∨ q (p or q) |
→ or ⇒ | Implication | Implication (IF…THEN) | p → q (if p, then q) |
↔ or ⇔ | Equivalence | Equivalence (IF AND ONLY IF) | p ↔ q (p if and only if q) |
Truth Table for Connectives
Truth table for all the connectives is given as follows:
p | q | ¬p | p ∧ q | p ∨ q | p → q | p ⇔ q |
---|---|---|---|---|---|---|
True | True | False | True | True | True | True |
True | False | False | False | True | False | False |
False | True | True | False | True | True | False |
False | False | True | False | False | True | True |
Logic symbols
Logic symbols are the symbols used to represent logic in mathematics. There are multiple logic symbols including quantifiers, connectives and other symbols. In this article we will explore all the logic symbols that are useful to represent logical statements in mathematical form. Let’s start our learning on the topic “Logic Symbols.”
Table of Content
- What are Logic Symbols?
- Quantifiers Symbols
- Connective Symbols
- Other Useful Symbols
- Conclusion