Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Predicate_logic> . }
Showing items 1 to 34 of
34
with 100 items per page.
- (ε,_δ)-definition_of_limit subject Category:Predicate_logic.
- Atomic_formula subject Category:Predicate_logic.
- Atomic_sentence subject Category:Predicate_logic.
- Bernays–Schönfinkel_class subject Category:Predicate_logic.
- Clause_(logic) subject Category:Predicate_logic.
- Domain_of_discourse subject Category:Predicate_logic.
- Drinker_paradox subject Category:Predicate_logic.
- Empty_domain subject Category:Predicate_logic.
- Existential_generalization subject Category:Predicate_logic.
- Existential_instantiation subject Category:Predicate_logic.
- Extension_(predicate_logic) subject Category:Predicate_logic.
- First-order_logic subject Category:Predicate_logic.
- First-order_predicate subject Category:Predicate_logic.
- Formation_rule subject Category:Predicate_logic.
- Free_variables_and_bound_variables subject Category:Predicate_logic.
- Independence_of_premise subject Category:Predicate_logic.
- Intensional_logic subject Category:Predicate_logic.
- Mereology subject Category:Predicate_logic.
- Monadic_predicate_calculus subject Category:Predicate_logic.
- Predicate_(mathematical_logic) subject Category:Predicate_logic.
- Predicate_functor_logic subject Category:Predicate_logic.
- Predicate_logic subject Category:Predicate_logic.
- Predicate_variable subject Category:Predicate_logic.
- Propositional_function subject Category:Predicate_logic.
- Quantification subject Category:Predicate_logic.
- Quantifier_rank subject Category:Predicate_logic.
- Second-order_predicate subject Category:Predicate_logic.
- Sentence_(mathematical_logic) subject Category:Predicate_logic.
- Standard_translation subject Category:Predicate_logic.
- Tarski's_World subject Category:Predicate_logic.
- Universal_generalization subject Category:Predicate_logic.
- Universal_instantiation subject Category:Predicate_logic.
- Category:Mathematical_relations broader Category:Predicate_logic.
- Category:Quantification broader Category:Predicate_logic.