Could someone please help me with these two questions

I have trouble solving it.

Any help would be appreciated.

Thanks for answering!

Printable View

- Sep 22nd 2008, 12:12 AMBACONATORLogical Equivalence
Could someone please help me with these two questions

I have trouble solving it.

Any help would be appreciated.

Thanks for answering! - Sep 23rd 2008, 08:17 PMAndres Perez
$\displaystyle [(p\lor q)\land (p\to r)\land (q\to r)]\to r$

=

$\displaystyle [(p\lor q)\land (\lnot p\lor r)\land (\lnot q\lor r)]\to r$

=

$\displaystyle \{(p\lor q)\land [(\lnot p\land \lnot q)\lor r]\}\to r$

=

$\displaystyle \{(p\lor q)\land [\lnot (p\lor q)\lor r]\}\to r$

=

$\displaystyle \{(p\lor q)\land [(p\lor q)\to r]\}\to r$

the last one is the tautology of modus ponens rule