Explore tens of thousands of sets crafted by our community.
Classification of Statements
4
Flashcards
0/4
Tautology
A tautology is a formula that is true in every possible interpretation. An example of a tautology is (for any proposition , either is true or is false).
Contradiction
A contradiction is a formula that is false under every possible interpretation. An example of a contradiction is (a proposition cannot be both true and false at the same time).
Contingency
A contingency is a formula that can be either true or false depending on the interpretation. An example is the proposition (which is true if either or are true, false otherwise).
Logical Equivalence
Two statements are logically equivalent if they have the same truth value in every possible interpretation. An example is is logically equivalent to .
© Hypatia.Tech. 2024 All rights reserved.