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 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)
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 fro
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 t
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
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
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=
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