If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)

Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

[Propositional Logic] Cramming - Can you check my answers

ED E · 2011-08-28 16:08:56

Hey all, Cramming for an exam in the morning and doubting myself. Would love if somebody could quickly check these: i) (PvQ)^P ⇔ Q - Invalid ii) (P→Q)→R ⇔ P→(Q→R) - Invalid iii) (PvQ)→R ⇔ (P→R)^(Q→R) - Valid Thanks, LB.

28-08-2011 4:08pm

#1

ED E

Registered Users, Registered Users 2 Posts: 36,170 ✭✭✭✭

Join Date: February 2007

Posts: 35408

Hey all,

Cramming for an exam in the morning and doubting myself. Would love if somebody could quickly check these:

i) (PvQ)^P ⇔ Q - Invalid
ii) (P→Q)→R ⇔ P→(Q→R) - Invalid
iii) (PvQ)→R ⇔ (P→R)^(Q→R) - Valid

Thanks,
LB.

0

Comments

#2 28-08-2011 9:21pm

[Deleted User]
Posts: 0 ✭

Join Date: -

Posts: 0

Yeah, those look right to me.

0
#3 28-08-2011 10:32pm

ED E

Registered Users, Registered Users 2 Posts: 36,170 ✭✭✭✭

Join Date: February 2007

Posts: 35408

Cheers. Think I know enough to push myself over the pass line this time. Thank god for supplementals.

0