◀ ▲ ▶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!

Github:

References

Bibliography

1. Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016
2. Kohar, Richard: "Basic Discrete Mathematics, Logic, Set Theory & Probability", World Scientific, 2016