Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Propositional_formula> ?p ?o }
- Propositional_formula wikiPageWikiLink Propositional_variable.
- Propositional_formula wikiPageWikiLink Quine–McCluskey_algorithm.
- Propositional_formula wikiPageWikiLink Recursion.
- Propositional_formula wikiPageWikiLink Recursive_definition.
- Propositional_formula wikiPageWikiLink Recursive_descent_parser.
- Propositional_formula wikiPageWikiLink Register_machine.
- Propositional_formula wikiPageWikiLink Reverse_Polish_notation.
- Propositional_formula wikiPageWikiLink Richard_Whately.
- Propositional_formula wikiPageWikiLink Robust_statistics.
- Propositional_formula wikiPageWikiLink Russells_paradox.
- Propositional_formula wikiPageWikiLink Semantics.
- Propositional_formula wikiPageWikiLink Semiotics.
- Propositional_formula wikiPageWikiLink Sequential_logic.
- Propositional_formula wikiPageWikiLink Sheffer.
- Propositional_formula wikiPageWikiLink Sheffer_stroke.
- Propositional_formula wikiPageWikiLink Sir_William_Hamilton,_9th_Baronet.
- Propositional_formula wikiPageWikiLink State_diagram.
- Propositional_formula wikiPageWikiLink Switch_statement.
- Propositional_formula wikiPageWikiLink Syllogism.
- Propositional_formula wikiPageWikiLink Syntax.
- Propositional_formula wikiPageWikiLink Tautology_(logic).
- Propositional_formula wikiPageWikiLink Theorem.
- Propositional_formula wikiPageWikiLink Theory_of_computation.
- Propositional_formula wikiPageWikiLink Truth_table.
- Propositional_formula wikiPageWikiLink Truth_value.
- Propositional_formula wikiPageWikiLink Turing_machine.
- Propositional_formula wikiPageWikiLink Turing_test.
- Propositional_formula wikiPageWikiLink Venn_diagram.
- Propositional_formula wikiPageWikiLink Verificationism.
- Propositional_formula wikiPageWikiLink Well-formed_formula.
- Propositional_formula wikiPageWikiLink Willard_Van_Orman_Quine.
- Propositional_formula wikiPageWikiLink William_Eccles.
- Propositional_formula wikiPageWikiLink William_Stanley_Jevons.
- Propositional_formula wikiPageWikiLink File:Propositional_formula_3.png.
- Propositional_formula wikiPageWikiLink File:Propositional_formula_NANDs.png.
- Propositional_formula wikiPageWikiLink File:Propositional_formula_maps_1.png.
- Propositional_formula wikiPageWikiLink File:Propositional_formula_maps_2.png.
- Propositional_formula wikiPageWikiLink File:Propositional_formula_oscillator_1.png.
- Propositional_formula wikiPageWikiLinkText "Boolean".
- Propositional_formula wikiPageWikiLinkText "Propositional formula".
- Propositional_formula wikiPageWikiLinkText "Propositional formula#Propositions".
- Propositional_formula wikiPageWikiLinkText "Propositional formula#Reduction by use of the map method (Veitch, Karnaugh)".
- Propositional_formula wikiPageWikiLinkText "algebra of propositions".
- Propositional_formula wikiPageWikiLinkText "formulas".
- Propositional_formula wikiPageWikiLinkText "literal".
- Propositional_formula wikiPageWikiLinkText "propositional connectives".
- Propositional_formula wikiPageWikiLinkText "propositional formula".
- Propositional_formula wikiPageWikiLinkText "propositional".
- Propositional_formula wikiPageWikiLinkText "propositions".
- Propositional_formula date "October 2013".
- Propositional_formula reason "I consider this presentation as over-sophisticated; a mathematician would speak of a property W which may apply to p or may not, i.e. where W may evaluate to the truth value T or F, respectively, but not to a set {T,F} of truth values. If the current presentation shall be kept, at least T and F need to be explained in the article.".
- Propositional_formula wikiPageUsesTemplate Template:Aut.
- Propositional_formula wikiPageUsesTemplate Template:Clarify.
- Propositional_formula wikiPageUsesTemplate Template:Mathematical_logic.
- Propositional_formula wikiPageUsesTemplate Template:Reflist.
- Propositional_formula wikiPageUsesTemplate Template:Who.
- Propositional_formula subject Category:Boolean_algebra.
- Propositional_formula subject Category:Logical_expressions.
- Propositional_formula subject Category:Propositional_calculus.
- Propositional_formula subject Category:Propositions.
- Propositional_formula subject Category:Statements.
- Propositional_formula subject Category:Syntax_(logic).
- Propositional_formula hypernym Formula.
- Propositional_formula type Agent.
- Propositional_formula type Concept.
- Propositional_formula type Statement.
- Propositional_formula type Statement.
- Propositional_formula comment "In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value.".
- Propositional_formula label "Propositional formula".
- Propositional_formula sameAs Q1372900.
- Propositional_formula sameAs Aussage.
- Propositional_formula sameAs Айтылыштар.
- Propositional_formula sameAs m.05b5z6.
- Propositional_formula sameAs Afirmație.
- Propositional_formula sameAs Высказывание_(логика).
- Propositional_formula sameAs Висловлювання_(логіка).
- Propositional_formula sameAs Q1372900.
- Propositional_formula wasDerivedFrom Propositional_formula?oldid=697111267.
- Propositional_formula isPrimaryTopicOf Propositional_formula.