# Question: use propositional logic to prove the validity of the following...

###### Question details

Use propositional logic to prove the validity of the following arguments:

a) (P -> Q) -> (Q' -> P')

b) [(P∧Q) -> R] -> [P -> (Q -> R)]

Use propositional logic to prove the validity of the following arguments:

a) (P -> Q) -> (Q' -> P')

b) [(P∧Q) -> R] -> [P -> (Q -> R)]