PL 330 Advanced Symbolic Logic

H. Hamner Hill

Southeast Missouri State University

Spring 2013

Homework Solutions

 

Unit I Truth Functions Unit II Predicates and Quantifiers Unit III Advanced Quantification, Singular Terms and Identity
Homework 1   Page 20 # 1 & 2 explained Homework 6 Homework 10
Homework 2 Homework 7 Homework 11
Homework 3 Homework 8 Homework 12
Homework 4 Homework 9 Homework 13
Homework 5   Homework 14
    Homework 15

Correct solution to problem 2, page 127

Demonstration via Boolean Existential Conditionals of the validity of the argument about the class of '00 (Quine, p 112).

Demonstration that if x=y then y=x