Logical connectives - HiIAmTzeKean/SC3000-Artificial-Intelligence GitHub Wiki

tags:

🌱
AI
ComputerScience date: 13--Mar--2023 modified: 29--Oct--2023

Logical connectives

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:

⚠️ GitHub.com Fallback ⚠️