-
Notifications
You must be signed in to change notification settings - Fork 1
Logical connectives
HiIATzeKean edited this page Oct 29, 2023
·
2 revisions
tags:
- 🌱
- AI
- ComputerScience date: 13--Mar--2023 modified: 29--Oct--2023
- Conjunction
- "and" operator
- Disjunction
- "or" operator
- Implication
- Premise implies conclusion
- Antecedent implies consequent
- Refer to Contrapositive, Vacuously true
- Equivalence
- Biconditional
- Negation
- Unary operator
Refer to Satisfiability and Validity
Links: