Symbolic Logic
Truth Tables
The fact that someone says something doesn't make it true.
Statements can be false as well as true. In logic, they must be one or the other, but not both and not neither. They must have a "truth value," true or false, abbreviated T or F.
p | q | ~p | pΛq | pVq |
T | T | F | T | T |
T | F | F | F | T |
F | T | T | F | T |
F | F | T | F | F |
Whether a conjunction is true depends on the statements which make it up. If both of them are true, then the conjunction is true. If either one or both of them are false, the conjunction is false. For example, the familiar expression 3 < x < 7, which means "x > 3 and x < 7" is true only when both conditions are satisfied simultaneously, that is for numbers between 3 and 7.
Additional topics
Science EncyclopediaScience & Philosophy: Swim bladder (air bladder) to ThalliumSymbolic Logic - Symbols, Statements, Conjunctions, Negation, Truth Tables, Disjunctions, Algebra Of Statements, Implication