Validity - HiIAmTzeKean/SC3000-Artificial-Intelligence GitHub Wiki
tags:
- 🌱
- AI
- ComputerScience
date: 10--Mar--2023
- Sentence is valid if it is true in all models (tautologies)
- Every valid sentence is therefore True
- $\forall \alpha \forall \beta, \alpha \models \beta \iff \alpha \implies \beta$
Links:
⚠️ **GitHub.com Fallback** ⚠️