Class Notes (1,100,000)
CA (650,000)
UTSG (50,000)
MAT (4,000)
Lecture 13

MAT309H1 Lecture Notes - Lecture 13: If And Only If


Department
Mathematics
Course Code
MAT309H1
Professor
K.Tyros
Lecture
13

This preview shows page 1. to view the full 5 pages of the document.
- 
- 
- 
- T is substitutable for in :
o Q1: 
o Q2: 
- RULES OF INFERENCE <Γ, θ >
o PC
If is tautology, <Γ, θ > must be rule of inference
If Γ =ϕ, then we need θp to be a tautology
o QR: is not free in ψ, and let ϕ be a formula


PROPOSITION:    is PC
PROOF:  This is

0
0
1
0
1
1
0
0
0
1
0
1
1
0
1
1
1
1
1
1
PROPOSITION: 
PROPOSITION:


PROOF: 



You're Reading a Preview

Unlock to view full version

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

A
B
C
0
0
0
0
1
1
1
0
0
1
0
1
1
1
0
1
0
0
0
1
1
0
1
1
0
1
1
1
1
0
0
0
1
1
1
1
0
1
0
1
1
1
1
1
0
1
0
0
1
1
1
1
1
1
1
1
 


We need to check that  is a tautology 
table
KNOW TILL HERE FOR QUIZ
LEMMA: 
PROOF: If then 



PC
P is a tautology


PC 
QR: 

PC
You're Reading a Preview

Unlock to view full version