Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Category:Propositional_calculus> }
Showing triples 1 to 80 of
80
with 100 triples per page.
- Clause_(logic) wikiPageWikiLink Category:Propositional_calculus.
- Contradiction wikiPageWikiLink Category:Propositional_calculus.
- Deductive_closure wikiPageWikiLink Category:Propositional_calculus.
- Formation_rule wikiPageWikiLink Category:Propositional_calculus.
- Frege_system wikiPageWikiLink Category:Propositional_calculus.
- Freges_propositional_calculus wikiPageWikiLink Category:Propositional_calculus.
- Functional_completeness wikiPageWikiLink Category:Propositional_calculus.
- Implicational_propositional_calculus wikiPageWikiLink Category:Propositional_calculus.
- Intermediate_logic wikiPageWikiLink Category:Propositional_calculus.
- List_of_logic_systems wikiPageWikiLink Category:Propositional_calculus.
- List_of_mathematics_categories wikiPageWikiLink Category:Propositional_calculus.
- List_of_philosophy_categories wikiPageWikiLink Category:Propositional_calculus.
- Literal_(mathematical_logic) wikiPageWikiLink Category:Propositional_calculus.
- Logical_consequence wikiPageWikiLink Category:Propositional_calculus.
- Negation_introduction wikiPageWikiLink Category:Propositional_calculus.
- Negation_normal_form wikiPageWikiLink Category:Propositional_calculus.
- Nicods_axiom wikiPageWikiLink Category:Propositional_calculus.
- Open_sentence wikiPageWikiLink Category:Propositional_calculus.
- Predicate_(mathematical_logic) wikiPageWikiLink Category:Propositional_calculus.
- Principle_of_distributivity wikiPageWikiLink Category:Propositional_calculus.
- Proof_by_contrapositive wikiPageWikiLink Category:Propositional_calculus.
- Proposition wikiPageWikiLink Category:Propositional_calculus.
- Propositional_calculus wikiPageWikiLink Category:Propositional_calculus.
- Propositional_formula wikiPageWikiLink Category:Propositional_calculus.
- Propositional_proof_system wikiPageWikiLink Category:Propositional_calculus.
- Propositional_variable wikiPageWikiLink Category:Propositional_calculus.
- Resolution_inference wikiPageWikiLink Category:Propositional_calculus.
- Rule_of_inference wikiPageWikiLink Category:Propositional_calculus.
- Rule_of_replacement wikiPageWikiLink Category:Propositional_calculus.
- Second-order_propositional_logic wikiPageWikiLink Category:Propositional_calculus.
- Substitution_(logic) wikiPageWikiLink Category:Propositional_calculus.
- Syncategorematic_term wikiPageWikiLink Category:Propositional_calculus.
- System_L wikiPageWikiLink Category:Propositional_calculus.
- Tautology_(logic) wikiPageWikiLink Category:Propositional_calculus.
- Truth_table wikiPageWikiLink Category:Propositional_calculus.
- Unsatisfiable_core wikiPageWikiLink Category:Propositional_calculus.
- Wolfram_axiom wikiPageWikiLink Category:Propositional_calculus.
- Zeroth-order_logic wikiPageWikiLink Category:Propositional_calculus.
- Clause_(logic) subject Category:Propositional_calculus.
- Contradiction subject Category:Propositional_calculus.
- Deductive_closure subject Category:Propositional_calculus.
- Formation_rule subject Category:Propositional_calculus.
- Frege_system subject Category:Propositional_calculus.
- Freges_propositional_calculus subject Category:Propositional_calculus.
- Functional_completeness subject Category:Propositional_calculus.
- Implicational_propositional_calculus subject Category:Propositional_calculus.
- Intermediate_logic subject Category:Propositional_calculus.
- List_of_logic_systems subject Category:Propositional_calculus.
- Literal_(mathematical_logic) subject Category:Propositional_calculus.
- Logical_consequence subject Category:Propositional_calculus.
- Negation_introduction subject Category:Propositional_calculus.
- Negation_normal_form subject Category:Propositional_calculus.
- Nicods_axiom subject Category:Propositional_calculus.
- Open_sentence subject Category:Propositional_calculus.
- Predicate_(mathematical_logic) subject Category:Propositional_calculus.
- Principle_of_distributivity subject Category:Propositional_calculus.
- Proof_by_contrapositive subject Category:Propositional_calculus.
- Proposition subject Category:Propositional_calculus.
- Propositional_calculus subject Category:Propositional_calculus.
- Propositional_formula subject Category:Propositional_calculus.
- Propositional_proof_system subject Category:Propositional_calculus.
- Propositional_variable subject Category:Propositional_calculus.
- Resolution_inference subject Category:Propositional_calculus.
- Rule_of_inference subject Category:Propositional_calculus.
- Rule_of_replacement subject Category:Propositional_calculus.
- Second-order_propositional_logic subject Category:Propositional_calculus.
- Substitution_(logic) subject Category:Propositional_calculus.
- Syncategorematic_term subject Category:Propositional_calculus.
- System_L subject Category:Propositional_calculus.
- Tautology_(logic) subject Category:Propositional_calculus.
- Truth_table subject Category:Propositional_calculus.
- Unsatisfiable_core subject Category:Propositional_calculus.
- Wolfram_axiom subject Category:Propositional_calculus.
- Zeroth-order_logic subject Category:Propositional_calculus.
- Category:Logical_connectives broader Category:Propositional_calculus.
- Category:Normal_forms_(logic) broader Category:Propositional_calculus.
- Category:Propositional_fallacies broader Category:Propositional_calculus.
- Category:Rules_of_inference broader Category:Propositional_calculus.
- Category:Theorems_in_propositional_logic broader Category:Propositional_calculus.
- Category:Boolean_algebra related Category:Propositional_calculus.