SEO Expert for Desklib

Table of Contents
Question 1................................................................................................................................3
Question 2................................................................................................................................4
Question 3................................................................................................................................5
Question 4................................................................................................................................6
Question 5................................................................................................................................8
Question 6................................................................................................................................9
Question 7.............................................................................................................................. 10
Question 8.............................................................................................................................. 12
Question 9.............................................................................................................................. 12
Question 10............................................................................................................................ 12
References..............................................................................................................................14

Question 1
1.a
(p=> p ¿=¿ P
P => p => P
F T T T F
F T T T F
T F F T T
T T F T T
1.b
P Q p q P=> q q=> q (=>
q ¿≤¿ q=¿ p
F T T F T T T
F T T F T T T
T F F T T T T
T F F T T T T

1.C
P Q R Q=>r P=>(q=>r
)
¿ (p=>r) Q=>(p=>r
)
¿
T T T T T F T F F
T T F F F T F T F
T F T T T F T F F
T F F T T F F F F
F T T T T F T F F
F T F T T F T F F
F F T T T F T T F
F F F T T F T T F
Question 2
((p=>~p)=>p) ∧(p=>(p=>~p)) []
( ~(p=>~p)Vp)∧(~(p=>~p)Vp) []
( (~p=>p) Vp)∧((~p=>p) Vp) [De margan]
[(pV(~pVp) ∧((~p=>p)vp)] [associatively and common law]
 [(pvTrue) ) ∧(~p=>p)vp)] [excluded middle]
[True ∧ (~p=>p)∧ p [v and True]
 (~p=>p)vp [distribution law]
[(~p=>p) ∧(~pvp)] [Exclude middle]
[(~p=>p)∧ True] [v and True]