#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
• 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
• 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