Tue 1 Dec, 2009 01:21 am - Hi,
can you please help me solve these two propositional logic below:
P v (QvR) |- (PvQ) ^ (PvR)
AND
(P=>Q) v (P=>R) |- P => (QvR)
I can't use the negation inference rules
thanks (view)
Fri 27 Nov, 2009 03:47 am - Hi,
I would like to have some help on how to know on what criteria an ASSUMPTION must be made in a proof ? ie in a proof that needs an ASSUMPTION to solve how should I tackle it ?
thanks
ron (view)
Fri 27 Nov, 2009 03:47 am - Hi,
I would like to have some help on how to know on what criteria an ASSUMPTION must be made in a proof ? ie in a proof that needs an ASSUMPTION to solve how should I tackle it ?
thanks
ron (view)