About: Propositional logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Propositional logic
skos:broader	dbpedia:Category:Systems_of_formal_logic
skos:prefLabel	Propositional logic
is skos:broader of	dbpedia:Category:Normal_forms_(logic)
is skos:subject of	dbpedia:Negation_normal_form dbpedia:Entailment dbpedia:Formation_rule dbpedia:Intermediate_logic dbpedia:Truth_table dbpedia:Absorption_law dbpedia:Logical_NOR dbpedia:Deductive_closure dbpedia:Propositional_formula dbpedia:Converse_nonimplication dbpedia:Functional_completeness dbpedia:Logical_disjunction dbpedia:Propositional_calculus dbpedia:Tautology_(logic) dbpedia:Exclusive_or dbpedia:Material_conditional dbpedia:Contradiction dbpedia:Propositional_variable dbpedia:Logical_biconditional dbpedia:Literal_(mathematical_logic) dbpedia:Rule_of_inference dbpedia:Strict_conditional dbpedia:Converse_implication dbpedia:Material_nonimplication dbpedia:Open_sentence dbpedia:Logical_connective dbpedia:Logical_consequence dbpedia:Logical_conjunction dbpedia:Negation dbpedia:Zeroth-order_logic dbpedia:Sheffer_stroke dbpedia:Substitution_instance