Makayla Lacy
Dr. Robert Bass Logic
8.1A All
Premises:
FG,GH
Conclusion:
FH
Proof attempt:
1.FG[cond]
2.GH[cond]
3.FH1,2,HS[cond]
Congratulations: No errors were found in the proof.
Premises:
~S~P,~S
Conclusion:
K?~P
Proof attempt:
1.~S~P[cond]
2.~S[neg
Cameran Stephens
Logic
Dr. Robert Bass
The Logic Tutor responds:A
1. A substitution instance of an argument form is an argument that results fr
replacing the variables in that form with statements (or terms).
Your answer of `True' is correct!
2. The parts
Cameran Stephens
Dr. Robert Bass
Logic
The Logic Tutor Respond: A
1.
Correct! Argument is invalid!
Your abbreviated truth table is correct! Row 1 shows that the premises are all true and the
conclusion is false when statement letter A is assigned F, B is
Cameran Stephens
Dr. Robert Bass
Logic
The Logic Tutor responds:A
1. Americans are materialistic because they are exposed to more advertisin
people on earth
Your answer of `nonargument (explanation)' is correct!
2. The world fish catch dropped from its 19
Cameran Stephens
Dr. Robert Bass
Logic
Logic Tutor Responds: A
Argument is valid!
You are correct! The argument is valid. There is no row on which the
premises are all true and the conclusion is false.
Your truth table:
A B | A B, ~A B
-|-TT| T F T
TF| T
The Logic Tutor responds: A
1. Lewis is a famous author only if he knows how to write. But Lewis is not a famous a
Lewis does not know how to write.
Your answer of `DA: denying the antecedent' is correct!
2. Rilke is a dreamer if he is a poet. So, Rilke i
Cameran Stephens
Logic
Dr. Robert Bass
The Logic Tutor responds:A
1. Sentence which is either true or false.
Your answer of `Statement' is correct!
2. A strong argument with (all) true premises.
Your answer of `Cogent' is correct!
3. An argument in which
The Logic Tutor responds:
1. All roses are red flowers./No roses are red flowers.
Your answer of `Contraries' is correct!
2. Some people are jerks./Some people are not jerks.
Your answer of `Subcontraries' is correct!
3. No emeralds are plants./Some emera
Evaluation of your answers from Section 1.1A
The Logic Tutor responds:
1. The sky is blue.
Your answer of `Statement' is correct!
2. Please close the window!
Your answer of `Sentence only' is correct!
3. Abraham Lincoln was born in 1983.
Your answer of `S
POL WEB TUTOR
Evaluation of your answers from Section 1.1A
MENU
The Logic Tutor responds:
ABOUT THIS
SITE
BUG
WEBMASTE
R
1. The sky is blue.
Your answer of `Statement' is
correct!
2. Please close the window!
MAIN MENU
MORE
FROM CH. 1
MORE
FROM EX.
1.1A
WE
The Logic Tutor responds:
1. (A B C)
Your answer of `Not a WFF' is correct!
2. (~(C) F)
Your answer of `Not a WFF' is correct!
3. ~(H J) (K L)
Your answer of `Not a WFF' is correct!
4. (O ~(P R)
Your answer of `WFF' is correct!
5. (~(U) (W)
Your answer of
The Logic Tutor responds:
1. 1. Some works of art are books. 2. All novels are books. So,
3. Some works of art are novels.
Your answer of `Not standard' is correct!
2. 1. All movies are films. 2. Some documentaries are not
movies. So, 3. Some documentarie
The Logic Tutor responds:
1. Lewis is a famous author only if he knows how to write. But
Lewis is not a famous author. So, Lewis does not know how to
write.
Your answer of `DA: denying the antecedent' is correct!
2. If Susan is a famous author, then she k
The Logic Tutor responds:
1. A substitution instance of an argument form is an argument
that results from uniformly replacing the variables in that form
with statements (or terms).
Your answer of `True' is correct!
2. A conditional is an "if-then" stateme
The Logic Tutor responds:
1. The sky is blue.
Your answer of `Statement' is correct!
2. Let's paint the table red.
Your answer of `Sentence only' is correct!
3. Please close the window!
Your answer of `Sentence only' is correct!
4. Murder is illegal.
Your
The Logic Tutor responds:
1. All hungry cannibals are dangerous people
Your answer of `A' is correct!
Your answer of `Universal' is correct!
Your answer of `Affirmative' is correct!
2. Some diamonds are not valuable objects
Your answer of `O' is correct!
The Logic Tutor responds:
1. Lewis is a famous author only if he knows how to write. But Lewis is
not a famous author. So, Lewis does not know how to write.
Your answer of `DA: denying the antecedent' is correct!
2. Rilke is a dreamer if he is a poet. So,
The Logic Tutor responds:
1. 1. Some works of art are books. 2. All novels are books. So, 3. Some
works of art are novels.
Your answer of `Not standard' is correct!
2. 1. All movies are films. 2. Some documentaries are not movies. So, 3.
Some documentarie
Argument is valid!
You are correct! The argument is valid. There is no row on which the premises
are all true and the conclusion is false.
Your truth table:
A B | A B, ~A B
-|-T T |
T
F
T
T F |
T
F
F
F T |
T
T
T
F F |
F
T
F
Argument is valid!
You are corr
The Logic Tutor responds:
1. The sky is blue.
Your answer of `Statement' is correct!
2. Please close the window!
Your answer of `Sentence only' is correct!
3. Abraham Lincoln was born in 1983.
Your answer of `Statement' is correct!
4. It is not the case t
7.4A
Your abbreviated truth table is correct!
Row 1 shows that the premises are all true and the conclusion is false when statement
letter G is assigned F and H is assigned T, so you have shown that the argument is
invalid!
Your truth table:
G H | ~(G H)
Correct! Argument is invalid!
Your truth table:
Your abbreviated truth table is correct!
Row 1 shows that the premises are all true and the conclusion is false when statement
letter J is assigned F and K is assigned F, so you have shown that the argument
Your abbreviated truth table is correct!
Row 1 shows that the premises are all true and the conclusion is false when statement
letter G is assigned F and H is assigned T, so you have shown that the argument is
invalid!
Your truth table:
G H | ~(G H) ~G ~H
7.4A
Your abbreviated truth table is correct!
Row 1 shows that the premises are all true and the conclusion is false when statement
letter G is assigned F and H is assigned T, so you have shown that the argument is
invalid!
Your truth table:
G H | ~(G H)
Your abbreviated truth table is correct!
Row 1 shows that the premises are all true and the conclusion is false when statement
letter G is assigned F and H is assigned T, so you have shown that the argument is
invalid!
Your truth table:
G H | ~(G H) ~G ~H
CMSC 671
Fall 2005
Class #10Tuesday, October 4
Propositional and
First-Order Logic
Chapter 7.47.8, 8.18.3, 8.5
Some material adopted from notes
by Andreas Geyer-Schulz
and Chuck Dyer
Todays class
Propositional logic (quick review)
Problems with proposit
Formal Logic
PHI-108-1, Fall 2016
Contact Information
Instructor: Dr. David Vander Laan
Office: Porter Center 4
E-mail: [email protected]
Phone: x7041
Office Hours: MW, 2:00-3:30, and by appointment
Text
Howard-Snyder, Howard-Snyder, and Wasserman, Th
7.4A
Your abbreviated truth table is correct! Row 1 shows that the premises are all true and
the conclusion is false when statement letter G is assigned F and H is assigned T, so
you have shown that the argument is invalid!
Your truth table:
G H | ~(G H)
102 EXERCISE SETS & EXTRA CREDIT
Directions: You are required to complete 40 of the exercise sets below. You must complete a set to get
credit for it. There is no partial credit for a set. To complete an Exercise Set, you must get all of the
exercises in
EXERCISES 7.3E
1. The PL analogs of the sentences of English, in the same order given
in the Solution Manual answers to exercise 7.2E 2, are
Lhh
Lhj
Lha
Ljh
Ljj
Lja
Lah
Laj
Laa
Rhh
Rhj
Rha
Rjh
Rjj
Rja
Rah
Raj
Raa
Shhh
Shhj
Shha
Shjh
Shjj
Shja
Shah
Shaj
Sh