Assign 15

course Mth 151

Your work has been received. Please scroll through the document to see any inserted notes (inserted at the appropriate place in the document, in boldface) and a note at the end. The note at the end of the file will confirm that the file has been reviewed; be sure to read that note. If there is no note at the end, notify the instructor through the Submit Work form, and include the date of the posting to your access page.

" "?????????????

assignment #015

015. Conditionals

Liberal Arts Mathematics I

10-16-2007

......!!!!!!!!...................................

12:02:55

`q001. There are 6 questions in this set.

The proposition p -> q is true unless p is true and q is false. Construct the truth table for this proposition.

......!!!!!!!!...................................

RESPONSE -->

TT T

TF F

FT T

FF T

Since their is only TF there is only one fales.

confidence assessment: 2

.................................................

......!!!!!!!!...................................

12:04:07

The proposition will be true in every case except the one where p is true and q is false, which is the TF case. The truth table therefore reads as follows:

p q p -> q

T T T

T F F

F T T

F F T

......!!!!!!!!...................................

RESPONSE -->

I did okay with this one becuase it states the condition to make it true or false.

self critique assessment: 2

.................................................

......!!!!!!!!...................................

12:08:36

`q002. Reason out, then construct a truth table for the proposition ~p -> q.

......!!!!!!!!...................................

RESPONSE -->

p q ~p ~p -> q

T T F F

T F T F

F T T T

T T F F

confidence assessment: 2

.................................................

......!!!!!!!!...................................

12:19:00

This proposition will be false in the T -> F case where ~p is true and q is false. Since ~p is true, p must be false so this must be the FT case. The truth table will contain lines for p, q, ~p and ~p -> q. We therefore get

p q ~p ~p -> q

T T F T since (F -> T) is T

T F F T since (F -> F) is T

F T T T since (T -> T) is T

F F T T since (T -> F) is F

......!!!!!!!!...................................

RESPONSE -->

When looking at your table I am confused because I thought ~p was T on the 3rd line since the p is F. I didn't plug in the ""since"" like you did which would have really helped a lot because you look at it and say if false then true making it true; if false then false making it true; if true then true making it true and if true it is false is not true.

self critique assessment: 2

You are correct; that should have been true. I made the correction above.

.................................................

......!!!!!!!!...................................

12:25:56

`q003. Reason out the truth value of the proposition (p ^ ~q) U (~p -> ~q ) in the case FT (i.e., p false, q true).

......!!!!!!!!...................................

RESPONSE -->

FT F F T F F

confidence assessment: 2

.................................................

......!!!!!!!!...................................

12:28:47

To evaluate the expression we must first evaluate p ^ ~q and ~p -> ~q.

p ^ ~q is evaluated by first determining the values of p and ~q. If p is false and q true, then ~q is false. Thus both p and ~q are false, and p ^ ~q is false.

~p -> ~q will be false if ~p is true and ~q is false; otherwise it will be true. In the FT case p is false to ~p is true, and q is true so ~q is false. Thus it is indeed the case the ~p -> ~q is false.

(p ^ ~q) U (~p -> ~q ) will be false if (p ^ ~q) and (~p -> ~q ) are both false, and will otherwise be true. In the case of the FT truth values we have seen that both (p ^ ~q) and (~p -> ~q ) are false, so that (p ^ ~q) U (~p -> ~q ) is false.

......!!!!!!!!...................................

RESPONSE -->

WHOOOHOOOO I worked it just like you did. It really helped on the preceeding question to plug in everything to ""since"". I will see how I do on the next one.

self critique assessment: 2

.................................................

......!!!!!!!!...................................

12:39:23

`q004. Construct a truth table for the proposition (p ^ ~q) U (~p -> ~q ).

......!!!!!!!!...................................

RESPONSE -->

p q ~q (p^ ~q) ~p (~p->~q) (p^~q)U(~p->~q)

T T F T F T T

T F T T F T T

F T F F T F F

F F T T T T T

confidence assessment: 2

.................................................

......!!!!!!!!...................................

12:41:30

We will need headings for p, q, ~p, ~q, (p ^ ~q), (~p -> ~q ) and (p ^ ~q) U (~p -> ~q ). So we set up our truth table

p q ~p ~q (p ^ ~q) (~p -> ~q ) (p ^ ~q) U (~p -> ~q )

T T F F F T T

T F F T F T T

F T T F F F F

F F T T F T T

To see the first line, where p and q are both T, we first see that ~p and ~q must both be false. (p ^ ~q) will therefore be false, since ~q is false; (~p -> ~q) is of the form F -> F and is therefore true. Since (~p -> ~q) is true, (p ^ ~q) U (~p -> ~q ) must be true.

To see the second line, where p is T and q is F, we for see that ~p will be F and ~q true. (p ^ ~q) will therefore be true, since both p and ~q are true; (~p -> ~q) is of the form F -> T and is therefore true. Since (p ^ ~q) and (~p -> ~q ) are both true, (p ^ ~q) U (~p -> ~q ) is certainly true.

To see the fourth line, where p is F and q is F, we for see that ~p will be T and ~q true. (p ^ ~q) will be false, since p is false; (~p -> ~q) is of the form T -> T and is therefore true. Since (~p -> ~q ) is true, (p ^ ~q) U (~p -> ~q ) is true.

......!!!!!!!!...................................

RESPONSE -->

My headings were a little different but I came out with the same answers. Would the heading in different order matter?

self critique assessment: 2

We usually go ahead and do ~p and ~q right away, if we see we're going to need them. However you did the ~p column before you needed it, and that's all that really matters. Good solution.

.................................................

......!!!!!!!!...................................

12:47:15

`q005. If we have a compound sentence consisting of three statements, e.g., p, q and r, then what possible combinations of truth values can occur?

......!!!!!!!!...................................

RESPONSE -->

p q r

T T T

T T F

T F T

T F F

F T T

F T F

F F T

F F T

F F F

confidence assessment: 2

.................................................

......!!!!!!!!...................................

12:49:27

A compound statement with two statements p and q has four possible combinations of truth values: TT, TF, FT, FF. Here we also have r, which can be either T or F. So we can append either T or F to each of the possible combinations for p and q.

If r is true then we have possible combinations TT T, TF T, FT T, FF T. If r is false we have TT F, TF F, FT F, FF F. This gives us 8 possible combinations: TTT, TFT, FTT, FFT, TTF, TFF, FTF, FFF.

......!!!!!!!!...................................

RESPONSE -->

I worked through the chart but I just realized in looking at your answer just to add T to the first 4 and F to the second 4 to have 8 possible answers.

self critique assessment: 2

.................................................

......!!!!!!!!...................................

12:56:00

`q006. Evaluate the TFT, FFT and FTF lines of the truth table for (p ^ ~q) -> r.

......!!!!!!!!...................................

RESPONSE -->

p q r ~q (p^ ~q) (p^ ~q) -> r

T F T T T T

F F T T F F

F T F F F T

confidence assessment: 2

.................................................

......!!!!!!!!...................................

12:59:09

We would need column headings p, q, r, ~q, (p^~q) and (p^~q) -> r. The truth table would then read

......!!!!!!!!...................................

RESPONSE -->

I wasn't able to see the truth table but my headings were set up the same as yours.

self critique assessment: 2

.................................................

&#

Good responses. See my notes and let me know if you have questions. &#