About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 52. Chapters: Affirming the consequent, Argument form, Denying the antecedent, Truth condition, Specialization, Second-order predicate, First-order predicate, Double negative elimination, Conjunction introduction, Biconditional elimination, Ultrafinitism, Truth value, Inverse, HOL theorem prover family, Converse nonimplication, Ontological translator, Q0 Logic, Corresponding conditional, Hasty generalization, Counterargument, The Laws of Thought, Monadic Boolean algebra, Agda, Defuzzification, Truth-conditional semantics, Argumentum ad lapidem, Extensionality, Existential fallacy, Fallacy of four terms, Sacrifice of the intellect, Modal depth, Valentino Annibale Pastore, Algebraic normal form, Argumentum e contrario, Double negation, Problem of multiple generality, Empty domain, Explanatory power, Self-verifying theories, Invincible ignorance fallacy, Vampire, Direct proof, Deviant logic, Transparent Intensional Logic, Affine logic, Polysyllogism, T-schema, Glivenko's theorem, Proof-theoretic semantics, Provability logic, Rules of passage, Effective method, Barcan formula, Domain of discourse, Don't-care term, Neighborhood semantics, Term algebra, Sentence, Hybrid logic, Logical constant, Principles of Mathematical Logic, Card paradox, Logical form, Vivid knowledge, Lob's theorem, Prototype Verification System, Multimodal logic, Intensional fallacy, Cayenne, Unsatisfiable core, Conditioned disjunction, Universal logic, Conservativity theorem, Eight ball problem, Monotonicity of entailment, Matita, Propositional variable, Material nonimplication, Deep inference, Interval temporal logic, Robinson's joint consistency theorem, Takeuti's conjecture, Fluent calculus, Literal, Otter, Universal instantiation, PhoX, Guarded logic, Bar induction, Herbrand interpretation, Constructive dilemma, Proof procedure, Cotolerant sequence, Degree of...
