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

Presupposition Projection and Logical Equivalence∗ Daniel Rothschild Columbia University 1

DocID: 1v5yd - View Document

Propositional calculus / Logical consequence / Boolean algebra / Classical logic / Semantics / Truth table / Tautology / Validity / Logical equivalence / Argument / Deductive reasoning / If and only if

VALIDITY IN SENTENTIAL LOGIC.

DocID: 1p6Gs - View Document

Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Valuation / Generalised Whitehead product / Symbol

An Equivalence-Preserving CPS Translation via Multi-Language Semantics ∗ Amal Ahmed Matthias Blume

DocID: 1lxbe - View Document

Model theory / Quantification / Proof theory / Propositional calculus / First-order logic / Existential quantification / Negation / Logical equivalence / Kurt Gödel / Logic / Mathematical logic / Mathematics

The Slingshot Argument Philosophy 142—John MacFarlane March 28, 2011 Rules for  We assume that the following rules are valid for the  operator:

DocID: 17NHf - View Document