Documents
Logical conjunction
in logic and mathematics logical conjunction usual symbol and is a two place logical operation that results in a value of true...
First-order logic
Propositional calculus
in mathematical logic a propositional calculus sentential calculus is a formal system that represents the materials and the principle...
Logical connective
in logic a logical connective is a syntactic operation on sentence mathematical logic sentence s or the symbol for such a...
Logical disjunction
in logic and mathematics logical disjunction written or is a logical operator that results in true just whenever some of...
Disjunction introduction
disjunction introduction or addition is a validity valid simple argument form in logic a therefore...
Conjunction elimination
in logic conjunction elimination is the inference that if the conjunction a and b is true then a is true and b is true for ins...
Logic gate
a logic gate performs a logical operation on one or more logic inputs and produces a single logic output the l...
Argument form
in logic the argument form or test form of an logical argument argument results from replacing the different words...
Disjunction elimination
in propositional logic disjunction elimination is the inference that if a or b is true and a entails c and b entails c then we may justifia...
Law of excluded middle
...differs from the law of noncontradiction which states that p p is true the law of excluded middle only says that the total p p is true but does not comment on what truth values p i...
If and only if
...iff in logic and fields that rely on it such as mathematics and philosophy if and only if is a logical connective between statements which means that the truth of either one of the stat...
Conditional proof
a conditional proof is a mathematical proof proof that takes the form of asserting a conditional and proving...
Conjunction introduction
conjunction introduction is the inference that if p is true and q is true then the logical conjunction co...
Disjunctive syllogism
a disjunctive syllogism also known as modus tollendo ponens literally mode which by taking away affirms is...
Frame problem
in artificial intelligence the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without expl...
Argument
argument an argument is a statement premise or group of statements premises offered in support of...
Biconditional introduction
september biconditional introduction is the inference that if b follows from a and a follows from b then a if and only if b fo...
Gödel's ontological proof
Biconditional elimination
september biconditional elimination allows one to infer a conditional from a biconditional if a b is true then one may infer...
13 more
