Quote:
|
Originally Posted by kandah
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.
|
where are the numbers?
__________________
Dedicated and colo hosting: ICQ 291313057
"A problem cannot be solved from the same consciousness that created it. We must learn to see the world anew." - Albert Einstein
|