#logic
20 pages tagged with "logic"
reasoning
- argument types β deductive, inductive, abductive, and defeasible reasoning patterns
- biconditional (if and only if) β logical equivalence operator that is true when both statements have the same truth value
- choosing a logical operator β a practical guide and cheat sheet for selecting the right logical operator based on your desired outcome
- complete study guide to reasoning and logic β structured learning paths and comprehensive guide to formal logic, reasoning patterns, argumentation theory, and critical thinking
- conjunction (and) β logical and operator that is true only when all operands are true
- deductive arguments β necessary consequence reasoning - when premises guarantee conclusions
- disjunction (or) β logical or operator that is true when at least one operand is true
- disjunctive syllogism β elimination by negation - reasoning by eliminating alternatives in either/or situations
- fallacies β common reasoning errors, formal and informal fallacies, and how to identify and avoid them
- formal fallacies β structural errors in logic that make arguments invalid regardless of content
- hypothetical syllogism β chain rule - transitivity of implication for building logical chains of reasoning
- if-then: the promise rule β implication explained simply: an "ifβ¦ thenβ¦" is a promise, and there is exactly one way to break it
- implication (if-then) β logical conditional operator expressing that if the antecedent is true, then the consequent must be true
- inference rules β formal rules of logical inference - the valid patterns for deriving conclusions from premises
- logic, explained simply β a friendly on-ramp to reasoning and logic for curious minds (around ages 11+): every idea taught as a story plus a game you can try
- logical constructs β fundamental logical operations and connectives that form the building blocks of formal reasoning
- modus ponens β affirming the antecedent - the fundamental inference rule of conditional reasoning
- modus tollens β denying the consequent - reasoning backwards from failed outcomes to eliminate possibilities
- negation (not) β logical not operator that inverts the truth value of a statement
- the straw man trick β the straw man fallacy explained simply: swapping a real point for a sillier fake one that is easy to knock down