Related terms:
sx
lor
lnot
logika
forall
logic
negation
deductive
calculus
socrates
disjunction
predicate
propositional
biconditional
set theory
leftrightarrow
logical axioms
propositions
aristotelian
symbolic logic
predicate logic
logically valid
real numbers
deductive system
substitution
peano arithmetic
natural deduction
logical connectives
mathematical logic
propositional variables
Wikipedia sources:
Propositional calculus
Tautology (logic)
Logic
Axiom
First-order logic
Stoicism
Symbolic logic
Proposition
Interpretation of quantum mechanics
Table of mathematical symbols
Context for words:
propositional
logic
|
|