Propositional Logic in a real life scenario

Okay guys, I've reached the next chapter of my book (I'm teaching myself prop logic), and there is a question which asks you to put a real life scenario sequence into prop logic form. I think I know the answer, but there are no answers to confirm my understanding.

__So, this is the question:__

P represents the proposition 'the toaster is switched on'

Q represents the proposition 'the toaster is plugged in to the mains'

R represents the proposition 'the toast (or bread for the picky ones of you!) is cooking'

In propositional logic, write this event:

'If the toaster is plugged in, when it is switched on, the toast is cooking'

I think it would be R ⇒ (P ∧ Q)

...but as I say, there are no answers in the book to check. So could someone tell me whether it is right or wrong and explain why it is right or wrong?

Thanks!

Re: Propositional Logic in a real life scenario

Quote:

Originally Posted by

**thefurrycritter** P represents the proposition 'the toaster is switched on'

Q represents the proposition 'the toaster is plugged in to the mains'

R represents the proposition 'the toast (or bread for the picky ones of you!) is cooking'

**In propositional logic, write this event:**

'If the toaster is plugged in, when it is switched on, the toast is cooking'

I would symbolize it as $\displaystyle P\wedge Q\implies R$.

If the the plug is in and the switch is on then the bread is toasting'.

Re: Propositional Logic in a real life scenario

Many thanks...it's given me a bit more confidence!

Re: Propositional Logic in a real life scenario

I'm just thinking, would

R ⇒ (P ⇒ Q)

be one as well? Would this work?

Re: Propositional Logic in a real life scenario

Quote:

Originally Posted by

**thefurrycritter** I'm just thinking, would

R ⇒ (P ⇒ Q)

be one as well? Would this work?

That says "If the bread is toasting then if the switch is on then the toaster is plugged in."

Do you think that is the same?

You see: $\displaystyle R \Rightarrow (P \Rightarrow Q) \equiv (R \wedge P) \Rightarrow Q$.

Is that the same as the original statement?

Re: Propositional Logic in a real life scenario

Quote:

Originally Posted by

**thefurrycritter** R ⇒ (P ⇒ Q)

This means "If the toast is cooking, then either the toaster is switched off or the toaster is plugged in." This makes less sense.

Keep in mind A implies B means the same thing as "B is true, or A is false" (or both). The only time A does not imply B is when A is true but B is false.

Re: Propositional Logic in a real life scenario

Ah, that obviously isn't correct then!

Re: Propositional Logic in a real life scenario

Re: Propositional Logic in a real life scenario

Quote:

Originally Posted by

**thefurrycritter** How about Q ⇒ (P ⇒ R) ?

That one means: "if the toaster is plugged in, then either the toast is cooking or the toaster isn't on". This makes logical sense, but it may or may not follow directly from the other statement. Let's make a truth table to see:

P Q R P^Q P->R (P^Q)->R Q->(P->R)

F F F F T T T

F F T F T T T

F T F F T T T

F T T F T T T

T F F F F T T

T F T F T T T

T T F T F F F

T T T T T T T

Yep, looks like they're logically equivalent! Both the statement you just made and the one Plato provided are only false when 1) the plug is in, and 2) the switch is on, but 3) the toast is not cooking.

Of course, this isn't really a complete statement from a common-sense point of view. It allows toast to be cooking at any time, even when the toaster is off and/or unplugged. We might want to specify that the toast is cooking *if and only if* the two other conditions are met. This would be true only when R = (P ^ Q).

And if we don't always keep bread in the toaster, I'd switch the direction of the if rather than make it bidirectional. ;)

Re: Propositional Logic in a real life scenario

As has been said, Q ⇒ (P ⇒ R) is equivalent to Q ∧ P ⇒ R. Both statements, when they are given, allow deducing R. If we use Q ⇒ (P ⇒ R) to deduce R, we have to prove the assumptions Q and P separately; if we use Q ∧ P ⇒ R, then we have to prove just one assumption Q ∧ P.