Never
Come What May
- Joined
- Jun 20, 2000
- Posts
- 23,234
{[(P -> Q) -> (P -> R)] ^ Q} -> (S ->R)
Solve for R using any, all, or a combination of the below:
P -> (Q -> P)
[P -> (Q -> R)] -> [(P -> Q) -> (P -> R)]
(Q' -> P') -> (P -> Q)
or [P ^ (P -> Q)] -> Q
*Wonders if drinking Vodka would help. Thinks it would*
Solve for R using any, all, or a combination of the below:
P -> (Q -> P)
[P -> (Q -> R)] -> [(P -> Q) -> (P -> R)]
(Q' -> P') -> (P -> Q)
or [P ^ (P -> Q)] -> Q
*Wonders if drinking Vodka would help. Thinks it would*