Скачать
Formal proof of Validity: Rules of Replacement
Автор: Love Of Wisdom
Загружено: 2023-05-28
Просмотров: 7853
Описание:
The Rule of Replacement means Any proposition can be replaced by a logically equivalent proposition.Two propositions are logically equivalent if they have exactly the same truth-values under every possible interpretation.
We will use the sign “≡” to express this notion.
De Morgan's Theorems (De M.)
Commutation (Com.)
Association (Assoc.)
Distribution (Dist.)
Double Negation (D.N.)
Transposition (Trans.)
Implication (Impl.)
Equivalence (Equiv.)
Exportation (Exp.)
Tautology (Taut.)
There is one typo error in the rule of Implication. Correct rule is (p ⊃ q) ≡ ( ~ p v q)
#FormalLogic
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
