Class Notes (1,100,000)
CA (620,000)
UTM (20,000)
PHL (500)
Lecture 5

PHL145H5 Lecture Notes - Lecture 5: Venn Diagram, Propositional Calculus, If And Only If


Department
Philosophy
Course Code
PHL145H5
Professor
Nate Charlow
Lecture
5

This preview shows page 1. to view the full 5 pages of the document.

Categorical Logic
The limits of propositional logic

 !"!
#! 
$!%!!  &'( 
!(!' (
)!"
Categorical Propositions
*!  (
( +$four main forms ,+-!quantifier %&subject )copula%.
.&!predicate+
-+-)/%0- 1&
2+3)/%03&
4+))%2"- 1&
+))%2"3&
$)!( substitution instances   +
Venn Diagrams
*   ,(#!+)!!((
!5
) 5!
#62"
#!
3
71%-&2++
3(
4!

+ -)//
+ -/7/
8+-)/7/)
You're Reading a Preview

Unlock to view full version

Only page 1 are available for preview. Some parts have been intentionally blurred.

Translating  
27-/7
o)
/7-/7
/7-7/
3/7)/79999:
-7)7
$/7)7
o%&;/<
6!
Contradictions
$()!$! ! = 
%7&!%7&
/ >
2++

4 #6! %&(!!
%&!!(%&!
+))
-/)
+-)/
))
))
8+))
)
+))
))
))
You're Reading a Preview

Unlock to view full version