Asgt 14 Query

course MTH 151

10:18 PM 10/19/09

If your solution to stated problem does not match the given solution, you should self-critique per instructions at

http://vhcc2.vhcc.edu/dsmith/geninfo/labrynth_created_fall_05/levl1_22/levl2_81/file3_259.htm

Your solution, attempt at solution. If you are unable to attempt a solution, give a phrase-by-phrase interpretation of the problem along with a statement of what you do or do not understand about it. This response should be given, based on the work you did in completing the assignment, before you look at the given solution.

014. `query 14

*********************************************

Question: `q3.3.5 rewrite using if then ' all marines love boot camp '.

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY

Your solution:

If a man is a marine, then he loves boot camp.

confidence rating:3

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

Given Solution:

`a** The statement is equivalent to 'If it's a Marine, it loves boot camp' or equivalent.

The statement is not equivalent to 'if it is boot camp, then all Marines love it', which is the converse of the original statement. **

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Self-critique (if necessary):

OK I understand. And I should not have specified men only, that leaves out women that are marines.

------------------------------------------------

Self-critique Rating:3

*********************************************

Question: `q3.3.18 ~p false q false p -> q true

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY

Your solution:

My book says -p is True, not false.

So that would make p false.

So F T is a True statement for a conditional.

If -p were false, that would make p true, and a TT conditional is still True.

So True either way

confidence rating:3

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

Given Solution:

`a** Since ~p is false then p is true.

Since q is false it follows that p -> q is of the form T -> F, which is false.

The conditional is false when, and only when, the antecedent is true and the consequent false. **

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Self-critique (if necessary):

Ok I messed that one up. I was thinking q was true for some reason. I do understand that T F is the only circumstance where a conditional is false.

------------------------------------------------

Self-critique Rating:3

*********************************************

Question: `qQuery 3.3.36 write in symbols 'If we don't bike, then it does not rain.'

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY

Your solution:

-b -> -r

confidence rating:3

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

Given Solution:

`a** If p stands for 'don't bike' and r for 'it rains' then the statement would be p -> ~r. **

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Self-critique (if necessary):

My book has that ""b"" stands for ""I ride my bike"" which is why I have -b for ""I do not bike

------------------------------------------------

Self-critique Rating:3

*********************************************

Question: `qQuery 3.3.48 q true, p and r false, evaluate (-r U p) -> p

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY

Your solution:

-r is true

p is false

A True False disjunction is True

So then we have a True False conditional which is False

confidence rating:3

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

Given Solution:

`a** The antecedent (~r U p ) would be true, since ~r true and p false.

The consequent p would be false.

Since the antecedent is true and the consequent false, the conditional is false. **

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Self-critique (if necessary):

OK

------------------------------------------------

Self-critique Rating:

*********************************************

Question: `qQuery 3.3.60 truth table for (p ^ q) -> (p U q)

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY

Your solution:

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

T T T T T

T F F T T

F T F T T

F F F T F

So the statement is true for any value of p and q

confidence rating:3

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

Given Solution:

`a** The headings would be p, q ,(p^q), (pUq), (p^q)->(pUq)

Row 1 would read T T T T T

Row 2 would read T F F T T

Row 3 would read F T F T T

Row 4 would read F F F F T

The common sense of this is that whenever both p and q are true, then the statement 'p or q' must be true. That's what means to say (p ^ q) -> (p U q).

The fact that this statement is true is indicated by the last column of the truth table, which has True in every possible case. **

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Self-critique (if necessary):

OK I understand

------------------------------------------------

Self-critique Rating:3

*********************************************

Question: `qQuery 3.3.74 (formerly 3.3.72). This wasn't assigned but it is similar to assigned questions and should be answered: What is the negation of the statement 'if loving you is wrong then I don't want to be right' ?

YYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYYY

Your solution:

Loving you is wrong or I want to be right.

-(p -> q) = p ^ -q

confidence rating:2

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

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

Given Solution:

`a** The negation has to have the exact opposite truth values of the original statement.

It is difficult and confusing to try to negate a conditional. It is much easier to translate the conditional to a disjunction then negate the disjunction. It is easy to negate the disjunction using deMorgan's Laws.

Since p -> q is identical to ~p U q, the negation of p -> q is ~ ( ~p U q), which by de Morgan's Law is ~ ~p ^ ~q, or just p ^ ~q.

So the negation would ge 'loving you is wrong AND I want to be right.

COMMON ERROR AND NOTE: If loving you is wrong, then I want to be right.

INSTRUCTOR COMMENT:

The negation of a conditional can't be a conditional (a conditional is false in only one case so its negation would have to be false in three cases). **

&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&

Self-critique (if necessary):

I knew that didnt seem quite right... I put or instead of and, I knew that.

------------------------------------------------

Self-critique Rating:3

"

&#Very good work. Let me know if you have questions. &#