About: Predicate logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Predicate logic
skos:broader	dbpedia:Category:Systems_of_formal_logic
skos:prefLabel	Predicate logic
is skos:broader of	dbpedia:Category:Quantification
is skos:subject of	dbpedia:Mereology dbpedia:Extension_(predicate_logic) dbpedia:Generalization_(logic) dbpedia:Sentence_(mathematical_logic) dbpedia:Empty_domain dbpedia:First-order_predicate dbpedia:Formation_rule dbpedia:Quantification dbpedia:Predicate_logic dbpedia:Predicate_(mathematical_logic) dbpedia:Atomic_formula dbpedia:Domain_of_discourse dbpedia:(ε,_δ)-definition_of_limit dbpedia:First-order_logic dbpedia:Free_variables_and_bound_variables dbpedia:Atomic_sentence dbpedia:Universal_instantiation dbpedia:Monadic_predicate_calculus dbpedia:Predicate_variable dbpedia:Second-order_predicate