An
Introduction
to
Symbolic Logic
Copyright 2006-10 by Terence Parsons
all rights reserved
To the Instructor:
The system of logic used here is essentially that of Kalish, Montague and Mar, Harcourt Brace
Jovanovich, 1992. The principle difference is that
Derivationswith~,
andthenwith
GalaReviewSession
An available line is a prior line in the derivation that is
not preceded by an uncancelled SHOW and is not in
a box.
ReviewingtheInferenceRules
Repetition:
ModusPonens:
DoubleNegation :
~
ModusTollens:
Symbolizationswith
Quantifiers
Resultsof1stMidterm
36
%
B
24
%
A
C
3%
D 31
6%
%
F
3WeekSchedule
Breaking down formulas
BiconditionalPonensandBiconditionalTolens
Argument
Allmenaremortal.
Socratesisaman.
ThereforeSocratesismortal.
P:Allmenaremortal
Q:So
Derivations!
TheRealFunBegins!
You are here.
*10/22
GalaReviewSession
Derivations!
TheFunStuff!
Aderivationhasthreecolumns:
1:LineNumber2:Formula3:Justification
Threetypesofproofs:1:Direct
1.ShowP
P
ConditionalDerivation
Example
1. Show:PQ
2. P
n.Q
Assume