|
Related terms:
neg
lor
if
phi
neg p
neg q
valid
true
false
logic
proof
math
boolean
consequent
inference
antecedent
relation
modus ponens
disjunction
rightarrow
biconditional
leftrightarrow
propositional
therefore
example
boolean algebra
if and only if
mathematical logic
Wikipedia sources: Saul Kripke Consistency Propositional calculus Modus tollens Entailment Logical conjunction Context for words: vdash |
|