0

the statement is: if p, then q, unless r

I'm to convert it into a compound proposition.

I've reasoned that:

when p is true AND r is true, q is false
when p is true AND r is false, q is true
when p is false, we can't know if q is true

But, how to convert this into compound propositions?

$ (p \land \lnot r) \to q $
$ (p \land r) \to \lnot q $

How can we express both of these at the same time? or does each of them already contain the other?

Willemien
  • 6,582
compguy24
  • 421
  • Are we to parse the statement as "if p then (q unless r)" or "(if p then q) unless r"? –  Feb 13 '14 at 22:56
  • @Rahul "(if p then q) unless r" – compguy24 Feb 13 '14 at 22:57
  • 1
    @Rahul: Is a there a difference? I would have thought the only counterexample to each would be $p \land \lnot q \land \lnot r$ – Henry Feb 13 '14 at 23:02
  • 1
    Not sure what your book means by "unless." Nor whether it is "(if $p$ then $q$) unless $r$" or it is "if $p$ then ($q$ unless $r$)." My intuitions is that your first statements is wrong - you can't conclude either way about $q$ if $p$ and $r$ are true. But it really depends on what is meant by "unless." – Thomas Andrews Feb 13 '14 at 23:23
  • 1
    Elaborating on Thomas's point. You need to clear up the order of operations, i.e., what is the left operand of "unless." AND you need to be clear what "unless" means, because "unless" is not consistently defined in mathematics. "A unless B" is sometimes taken to mean "A or B", and it's sometimes taken to mean "A xor B." Compare "I won't go to the concert unless it's free." (A or B, since I still might not go, even if it's free.) and "He's at the airport unless someone picked him up." (A xor B, since if someone picked him up, he's not at the airport.) – Steve Kass Feb 14 '14 at 01:39
  • 1
    We have the suggestion of S.C.Kleene, Mathematical Logic (1967), [page 64] : " $A \lor B$ is $A$ unless $B$ [usually]". So, I propose to read "if p, then q, unless r" as $(p \rightarrow q) \lor r$. See also the following post. – Mauro ALLEGRANZA Feb 14 '14 at 18:32

2 Answers2

1

Start with a truth table

 p | q | r || (p & ~r) -> q |(p & r) -> ~q  ||  p, then q, unless r
---|---|---||----------m----|--------m------||-----------------------
 T | T | T ||    F F   T    |   T    F  F   ||           ?
 T | T | F ||    T T   F    |   F    T  F   ||           ?
 T | F | T ||    F F   T    |   T    T  T   ||           ?
 T | F | F ||    T T   F    |   F    T  T   ||           ?
 F | T | T ||    F F   T    |   F    T  F   ||           ?
 F | T | F ||    F T   T    |   F    T  F   ||           ?
 F | F | T ||    F F   T    |   F    T  T   ||           ?
 F | F | F ||    F T   T    |   F    T  T   ||           ?

First conclusion $ (p \land \lnot r) \to q $ and $ (p \land r) \to \lnot q $ are not identical.

Then what is the truth table of "p, then q, unless r" ?

That question you have to do yourself, and you will need to argue for each line without reference to the formula's

GOOD LUCK

Willemien
  • 6,582
-1

It's $\lnot r \rightarrow (p \rightarrow q) $ I think

user76568
  • 4,542