◀ ▲ ▶Branches / Logic / Lemma: A Criterion for Valid Logical Arguments
Lemma: A Criterion for Valid Logical Arguments
A logical argument consisting of the premises $p_1,\ldots,p_n$ and the conclusion $q$ is valid if and only if the proposition $(p_1\wedge\ldots\wedge p_n)\Rightarrow q$ is a tautology.
Table of Contents
Proofs: 1
Mentioned in:
Lemmas: 1 2 3
Proofs: 4 5
Thank you to the contributors under CC BY-SA 4.0!
![](https://github.com/bookofproofs/bookofproofs.github.io/blob/main/_sources/_assets/images/calendar-black.png?raw=true)
- Github:
-
![bookofproofs](https://github.com/bookofproofs.png?size=32)
References
Bibliography
- Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016
- Kohar, Richard: "Basic Discrete Mathematics, Logic, Set Theory & Probability", World Scientific, 2016