Thu 26 Jun, 2008 09:38 am - [QUOTE=VideCorSpoon;17055]Ok! But first I need to know what the exact argument is (i.e. premises and conclusion.)
The equation you gave was an example of the different yet equivalent translation... (view)
Thu 26 Jun, 2008 08:40 am - Thanks. I can get there by truth table, but I was hoping to show something more like this...
(P -> R) ^ (Q->R) / (P v Q) -> R
(-P v R) ^ (-Q v R) ---(Conditional law)
(-P ^ -Q) v R... (view)
Wed 25 Jun, 2008 08:16 pm - I haven't studied logic in 25 years, and while I seem to remember more than I would imagine I would, one simple proof is escaping me. In fact, it seems I remember the more complex issues... (view)
Wed 25 Jun, 2008 07:19 pm - Hi,
I am Matt and happy to be here. I actually stopped by because I needed the answer to a simple logical proof that I forgot from my college years in able to help my nephew, but I also look... (view)
