uni-atlas (zh)

Proposition

Basic Concepts
Proposition
Statement
Truth Value
True (T)
False (F)
Truth Table

Logical Connectives
Negation (NOT)
Conjunction (AND)
Disjunction (OR)
Exclusive OR (XOR)
Implication
Conditional
Biconditional

Types of Compound Propositions
Tautology
Contradiction
Contingency
Logical Equivalence
Logically Equivalent

Conditional Statements (Components)
Hypothesis
Antecedent
Premise
Conclusion
Consequence

Conditional Statements (Variations)
Converse
Inverse
Contrapositive

References