About:
Rules of inference
An Entity in Data Space:
dbpedia.org
Property
Value
rdf:
type
skos
:Concept
rdfs:
label
Rules of inference
skos:
broader
dbpedia
:Category:Formal_systems
dbpedia
:Category:Proof_theory
dbpedia
:Category:Rules
skos:
prefLabel
Rules of inference
is
skos:
subject
of
dbpedia
:Law_of_excluded_middle
dbpedia
:Resolution_(logic)
dbpedia
:Generalization_(logic)
dbpedia
:Transposition_(logic)
dbpedia
:Constructive_dilemma
dbpedia
:Destructive_dilemma
dbpedia
:Dictum_de_omni_et_nullo
dbpedia
:Principle_of_contradiction
dbpedia
:Biconditional_introduction
dbpedia
:Contraposition_(traditional_logic)
dbpedia
:Law_of_thought
dbpedia
:Admissible_rule
dbpedia
:Modus_tollens
dbpedia
:Rule_of_inference
dbpedia
:Law_of_identity
dbpedia
:Universal_instantiation
dbpedia
:Commutativity_of_conjunction
dbpedia
:Disjunction_elimination
dbpedia
:Disjunctive_syllogism
dbpedia
:Modus_ponens
dbpedia
:De_Morgan's_laws
dbpedia
:Modus_ponendo_tollens
dbpedia
:Case_analysis
dbpedia
:Conversion_(logic)
dbpedia
:Biconditional_elimination
dbpedia
:Conjunction_introduction
dbpedia
:Disjunction_introduction
dbpedia
:Double_negative_elimination
dbpedia
:Hypothetical_syllogism
dbpedia
:Independence_of_premise
dbpedia
:List_of_rules_of_inference
dbpedia
:Obversion
dbpedia
:Proof_by_contrapositive
dbpedia
:Simplification
dbpedia
:Proof_by_contradiction