Philosophy Forum

 		Log In New Topics New Posts

Help with two propositional logic

  1. Philosophy Forum
  2. » Logic
  3. » Help with two propositional logic

Get Email Updates • Email this Topic • Print this Page

djronbxs
 
Reply 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
 
Emil
 
Reply Tue 1 Dec, 2009 01:32 am
@djronbxs,
Ask your teacher if you can't do your homework.
 
djronbxs
 
Reply Tue 1 Dec, 2009 01:35 am
@Emil,
whats the difference between asking my teacher and asking here ? is it not the same HELP ?
 
Emil
 
Reply Tue 1 Dec, 2009 07:47 am
@djronbxs,
djronbxs;107218 wrote:
whats the difference between asking my teacher and asking here ? is it not the same HELP ?


Maybe not. Your teacher is probably more qualified than the average, anonymous person on an internet discussion board.

This is a discussion forum. Not a get help with your homework forum. (But that may be coming up.)
 
kennethamy
 
Reply Tue 1 Dec, 2009 07:53 am
@djronbxs,
djronbxs;107212 wrote:
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


Try the distribution or association rules.
 
Emil
 
Reply Tue 1 Dec, 2009 08:06 am
@kennethamy,
kennethamy;107262 wrote:
Try the distribution or association rules.


Truth tables too. I just checked the first one in a truth table. They are of course logically equivalent.
 
 

 
  1. Philosophy Forum
  2. » Logic
  3. » Help with two propositional logic
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.02 seconds on 10/07/2024 at 05:13:10
▲ ▼