Member since June 25, 2008

mzer

My Profile

mzer
  • Posts: 5
  • Location:
  • Occupation:
No Profile

My Recent Posts

 
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 09:07 am - I need a literal proof for that particular equation. (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)
 
Copyright © 2021 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.04 seconds on 09/19/2021 at 05:09:57