Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Propositional_calculus> . }
Showing items 1 to 42 of
42
with 100 items per page.
- Clause_(logic) subject Category:Propositional_calculus.
- Contradiction subject Category:Propositional_calculus.
- Deductive_closure subject Category:Propositional_calculus.
- Formation_rule subject Category:Propositional_calculus.
- Frege's_propositional_calculus subject Category:Propositional_calculus.
- Frege_system 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.
- Nicod's_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.