# propositional

 related words axiomatic heuristic hypertext incompleteness iterate provable projective disjoint keywords congruence irreducible randomness cryptanalysis undecidable schema instantiate associative disjunction intuitively automata
 related documents Propositional calculus First-order logic Truth table Proposition Johnston diagram Natural deduction Interpretation of quantum mechanics Sheffer stroke Symbolic logic John Searle Universal quantification Principle of bivalence Logical connective Vacuous truth Boolean satisfiability problem De Morgan's laws Conjunctive normal form Axiom Fuzzy logic Abductive reasoning
 related topics {math, number, function} {theory, work, human} {style, bgcolor, rowspan} {church, century, christian} {game, team, player} {math, energy, light} {god, call, give} {rate, high, increase} {law, state, case} {black, white, people} {woman, child, man} {food, make, wine} {language, word, form} {specie, animal, plant} {school, student, university} {son, year, death} {group, member, jewish} {country, population, people} {system, computer, user} {@card@, make, design}