<--- Back to Details
First PageDocument Content
Logical connectives / Binary operations / Inference / Contraposition / Conditional statement / Converse / If and only if / Negation / Logical equivalence / Logic / Propositional calculus / Mathematics
Date: 2004-02-27 12:43:15
Logical connectives
Binary operations
Inference
Contraposition
Conditional statement
Converse
If and only if
Negation
Logical equivalence
Logic
Propositional calculus
Mathematics

Add to Reading List

Source URL: www.math.niu.edu

Download Document from Source Website

File Size: 68,43 KB

Share Document on Facebook

Similar Documents

Errors in Logic for Philosophy: 1. p. 60, step 5 of the proof for “contraposition 2” should cite step 4, not stepp. 61, two-thirds down the page, line 4 of the proof of the second form of negated-conditional s

DocID: 1lA1q - View Document

Propositional calculus / Rules of inference / Boolean algebra / Modus ponens / Truth table / Contraposition / Proof by contradiction / Vacuous truth / First-order logic / Logic / Mathematics / Mathematical logic

CS109A Notes for LectureThe Essence of Proof Mathematical proof is essentially persuasive prose.  Like an essay, it is e ective if it convinces the listener.  Also like an essay, we can learn certain rhetorica

DocID: 15plt - View Document

Boolean algebra / Binary operations / Mathematical logic / Truth table / Contraposition / Modal logic / Negation / Material conditional / Truth / Logic / Propositional calculus / Philosophical logic

3. Extrapolation and its LimitsWhy should the unobserved part of reality resemble the observed part? Unobserved emeralds could just as easily be blue, as green. This is a puzzle about type 1 or “inductive”

DocID: 153W8 - View Document

Logical connectives / Conditionals / Philosophical logic / Material conditional / Paradoxes of material implication / Exclusive or / If and only if / Entailment / Contraposition / Logic / Propositional calculus / Binary operations

How Implication Is Understood Author(s): P. N. Johnson-Laird and Joanna Tagart Source: The American Journal of Psychology, Vol. 82, No. 3 (Sep., 1969), pp[removed]Published by: University of Illinois Press Stable URL: h

DocID: 11aRt - View Document

Mathematical logic / Problem solving / Reasoning / Mathematical proof / Deductive reasoning / Inductive reasoning / Contraposition / Theorem / Geometry / Logic / Mathematics / Knowledge

Unit Test Math 202A: Geometry | Unit 02: Methods of Proof and Logic | Lesson 13: Unit Test Unit Test, Offline Part Geometry, Semester 1, Unit 2, Offline P

DocID: S2rN - View Document