|
Math: Formal proof
Ive beem beating my head against the wall trying to make a formal proof for this problem
(p v q) -> r
(q v r) -> (~s v t)
p ^ s
.: t
I havent been able to find any good help online and im just not getting anywhere so if anyone good at logic can help me id appreciate it.
|