Chapter 9, problem 4
Chapter 9, problem 5
Chapter 9, problem 5
Chapter 9, problem 6
Chapter 9, problem 6
Chapter 9, problem 6
Chapter 9, problem 6
Chapter 9, problem 7
Chapter 9, problem 7
Chapter 9, problem 7
Chapter 9, problem 7
Chapter 9, problem 7
Problem Set 3
Due Wednesday, April 22 in class
100 points
Monadic Proofs- provide a proof for the following problems. Be sure to follow all flagging rules and
label all steps (16 points)
1. (x)(Bx Cx).(Dx Ex), (x)[(CxvEx) cfw_(Fx (Gx Fx) (Bx.Dx)] / (x)(Bx
Problem Set 2
Phil 48
Due Friday April 3rd in class
Symbolizations in Predicate Logic (20 points)
Use the symbols provided
Hx= x eats hippos, Bx= x has big teeth, Ax= x is an alligator, Fx= x is a frog, Lx= x sits
on lily pads, Ex= x eats flies, Tx= x has
Problem Set 1
100 points
Due Wednesday, February 11, in class
Show ALL your work, including your truth tables
Find the major operator of each of the following formulas; you might have to
specify the third horseshoe or the second dot, etc.: (1 point each)
2/11/09
p
T
T
F
F
p
T
T
T
T
F
F
F
F
p
T
T
T
T
F
F
F
F
p
T
T
T
T
F
F
F
F
25.
q
(q~(p q
)
T
F
F
F
T
F
F
F
(q~(p q) is a contradiction.
26. (BA)v(B~T)=(pq)v(p~r)
q
r
(pq)v(p~r)
T
T
T
T
F
T
F
T
F
F
F
T
T
T
F
T
F
F
F
T
F
F
F
F
(BA)v(B~T)=(pq)v(p~r) is a contin
2/11/09
p
T
T
F
F
Problem Set #1
1. The major operator is the first ~.
2. The major operator is the first .
3. This is not a well-formed formula because of the extra parentheses around the ~q.
4. This is a well-formed formula.
5. ~(CvB)(Z A)v(BvX)Y)
~(TvT
PHIL Midterm Review
Logic Operators
=Conjunction (pq= p and q)
v=Disjunction (pvq= p or q)
~=Negation (~p= not p)
=Biconditional (p q= p if and only if q)
=Conditional (p q= if p then q)
p unless q=if not q then p=~q p OR p OR q= pvq
p only if q=if p th
Symbolic Logic
Philosophy 48
Spring 2009
West Duke 08A
WF 1:15-2:30
Instructor:
Breanna Kerchner
201A West Duke Bldg
[email protected]
Office hours: W 2:30-4:30 and by appointment
Course description:
The study of logic is essential to the discipline of philos