III. Elementary Logic

Propositions and Connectives

Truth Tables

Logical Equivalence

Logical Equivalence

On a real mythical island ...

On a real mythical island ...

On a real mythical island ...

On a real mythical island ...

Problem: 1 C B 2

Tautologies and Contradictions:

Tautologies and Contradictions:

Tautologies and Contradictions:

Contrapositive

Implication

Predicates

Universal and Existential quantifiers

Quantified Statements

Counterexample

More Examples

Denials of quantified statements

Denials

Logical Arguments

Logical Arguments

Another Example

Another Example