Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/TheoremsInPropositionalLogic> . }
Showing items 1 to 36 of
36
with 100 items per page.
- Absorption_(logic) type TheoremsInPropositionalLogic.
- Absorption_law type TheoremsInPropositionalLogic.
- Biconditional_elimination type TheoremsInPropositionalLogic.
- Biconditional_introduction type TheoremsInPropositionalLogic.
- Case_analysis type TheoremsInPropositionalLogic.
- Commutativity_of_conjunction type TheoremsInPropositionalLogic.
- Consensus_theorem type TheoremsInPropositionalLogic.
- Consequentia_mirabilis type TheoremsInPropositionalLogic.
- Constructive_dilemma type TheoremsInPropositionalLogic.
- Contraposition type TheoremsInPropositionalLogic.
- De_Morgan's_laws type TheoremsInPropositionalLogic.
- Destructive_dilemma type TheoremsInPropositionalLogic.
- Disjunction_introduction type TheoremsInPropositionalLogic.
- Disjunctive_syllogism type TheoremsInPropositionalLogic.
- Distributive_property type TheoremsInPropositionalLogic.
- Double_negation type TheoremsInPropositionalLogic.
- Exportation_(logic) type TheoremsInPropositionalLogic.
- Frege's_theorem type TheoremsInPropositionalLogic.
- Hypothetical_syllogism type TheoremsInPropositionalLogic.
- Idempotency_of_entailment type TheoremsInPropositionalLogic.
- Law_of_excluded_middle type TheoremsInPropositionalLogic.
- Law_of_identity type TheoremsInPropositionalLogic.
- Law_of_noncontradiction type TheoremsInPropositionalLogic.
- Material_implication_(rule_of_inference) type TheoremsInPropositionalLogic.
- Modus_non_excipiens type TheoremsInPropositionalLogic.
- Modus_ponendo_tollens type TheoremsInPropositionalLogic.
- Modus_ponens type TheoremsInPropositionalLogic.
- Modus_tollens type TheoremsInPropositionalLogic.
- Monotonicity_of_entailment type TheoremsInPropositionalLogic.
- Nicod's_axiom type TheoremsInPropositionalLogic.
- Peirce's_law type TheoremsInPropositionalLogic.
- Principle_of_explosion type TheoremsInPropositionalLogic.
- Proof_by_contradiction type TheoremsInPropositionalLogic.
- Resolution_(logic) type TheoremsInPropositionalLogic.
- Tautology_(rule_of_inference) type TheoremsInPropositionalLogic.
- Transposition_(logic) type TheoremsInPropositionalLogic.