|
Question 201378: I have been mulling over this problem for quite some time, and I think I have it right but I just need someone to look at it and confirm for me.
Here is the statement that I am presented with:
"If Verizon Wireless must remove installed equipment from a vehicle or fixed location in order to return it, then you will be charged a service fee."
My assignment requires me to put this in symbolic form and then create a truth table for it. Here is what I got.
p: Verizon Wireless must remove installed equipment from a vehicle
q: Verizon Wireless must remove installed equipment from a fixed location
r: You will be charged a service fee
In symbolic form: (p v q) --> r
and the truth table (in a weird format because of the text box, sorry):
p: T T T T F F F F
q: T T F F T T F F
r: T F T F T F T F
(p v q): T T T T T T F F
(p v q) -> r: T F T F T F T F
Any insight you can provide is much appreciated. Thank you in advance.
Answer by jim_thompson5910(35256)   (Show Source):
You can put this solution on YOUR website! You have the correct symbolic translation, but normally you spell out EVERYTHING so you are perfectly clear. So the translation of "(p v q) --> r " would be:
"IF Verizon Wireless must remove installed equipment from a vehicle OR Verizon Wireless must remove installed equipment from a fixed location, THEN you will be charged a service fee"
Note: the underlined parts were cut and pasted from the given statements (so you can see that the statement is really "IF p OR q, THEN r" in symbolic form)
So here's the truth table:
| p | q | r | p v q | (p v q) -> r |
|---|
| T | T | T | T | T | | T | T | F | T | F | | T | F | T | T | T | | T | F | F | T | F | | F | T | T | T | T | | F | T | F | T | F | | F | F | T | F | T | | F | F | F | F | T |
Note: you'll normally see it in this format
If you aren't familiar with that format, then stick with your table. You did a good job with the table, BUT the last truth value in the bottom row should be T
p: T T T T F F F F
q: T T F F T T F F
r: T F T F T F T F
(p v q): T T T T T T F F
(p v q) -> r: T F T F T F T T
|
|
|
| |
