Phil 12A, Summer 2017 (Session D)
Students name:
Student ID #:
GSI:
Problem Set 2
TFL Symbolization, Syntax, and (Beginning) Semantics
Due: Thursday, July 13, by 12 noon in the 12A mailbox in 301 Mose
Phil 12A, Summer 2017 (Session D)
Students name:
Student ID #:
GSI:
Problem Set 1
Basic Logical Notions and Introduction to TFL
Due: Friday, July 7, by 5 pm in the 12A mailbox in 301 Moses Hall (NOTE:
12A: Problem Set 1
Due date: August 31 at 12pm. Reminder: late problem sets do not receive credit. Please write your
GSIs name in the top right corner of your problem set. Unless a class announcement
12A: Problem Set 5
Due date: Sept 28, 12pm. Upload competed problem set (PDF format only) to bCourses. Reminder: late
problem sets do not receive credit.
1. For each sentence below, add or remove quot
12A: Problem Set 4
Due date: Sept 21, 12pm. Upload competed problem set (PDF format only) to bCourses. Reminder: late
problem sets do not receive credit.
1. Symbolize these sentences in pl. If the sen
12A: Problem Set 3
Due date: Sept 14, 12pm. Upload competed problem set (PDF format only) to bCourses. Reminder: late
problem sets do not receive credit.
1. Symbolize these sentences in pl. If the sen
12A: Problem Set 2
Due date: Thursday, Sept 7, 12pm. Deliver completed problem set to the 12A dropbox in room 301,
Moses Hall. Reminder: late problem sets do not receive credit.
1. True or false?
(a)
104
Symbolic Logic Study Guide: Practice Tests and Quizzes
Medium
Large
Medium
Small
Large
Small
Small
Small
3.4. Solutions to Tests
3.4.1. Test One Solutions
Problem 1.
(A v ( B C) ) ( B v (A v B)
02/26/2017
LESSON 1: logical consequence, valid arguments and sound
arguments.
1. What does it mean when we say that sentence S is a logical
consequence of sentence T?
logical consequence: S is a log
Translate the following sentences into FOL:
1. c is to the right of d only if b is to the right of c and left of e.
2. If e is a tetrahedron, then its to the right of b if and only if it is also in fr
announcements
syntax and truth tables for PL
on bCourses as of yesterday:
chapter 2: the syntax of propositional logic
1
2
announcements
last week
on bCourses as of yesterday:
chapter 2: the syntax of
Announcements
Validity
Reminder: first problem set due Friday
1
2
Announcements
Announcements
First set of course notes now
available on bCourses.
My office hours will generally be Wednesdays 3-5.
But
Announcements
Validity
(and some other basic concepts)
Reminder: first problem set due today at 5pm
1
2
Announcements
Announcements
Next problem set will be posted
later this afternoon
Dont email me
welcome to
Introduction to Logic
We will be studying arguments from an abstract
point of view. The primary aim is to learn is how to
distinguish valid arguments from invalid arguments.
The aim here is
2.3. THE DISTINCTION BETWEEN USE AND MENTION
19
2.3 The distinction between use and mention
Here is something so obvious that it might not even seem worth mentioning:
When you use language to communic
(P Q)S)(P Q)S)
logical equivalence
Suppose P is true and Q is false.
What is the truth value of the whole?
A = True
C = not determined
, , , ,
1
2
(QP)(PP)R)
(QP)(PP)P)
Suppose P is true and Q is fal
interpretations, valuations
1
2
If a set of wffs is consistent, then every pair
within the set is consistent.
True or False?
3
Last time: consistency
, , , ,
If a set of wffs is inconsistent, then eve
semantics, truth trees
1
Last time: we upgraded our definitions of various basic
notions like validity, consistency, and logical equivalence.
, , , ,
2
define consistency in terms of validity?
An inte
question
Overall, how difficult did you find the
first quiz?
consistency, interpretations, valuations
A - really easy
B - some effort required, but not
difficult
C - moderately difficult
D - really di