Draw a complete truth-table for the following sentence

  • Thread starter robert
  • Start date
  • #1
robert
23
0
I need someone to tell me if I answered these questions correctly and if not explain what I did wrong. My answers are in bold.

1. Indicate which of the following are true and which are false in an interpretation in which A and B are false and C is true.
a) (A v (B ^ C)) (false)
b) (-A ^ (B v C)) (true)
c) ((A v B) ^ C) (false)
d) (-(A ^ B) ^ C) (true)
e) (C -> (A -> B)) (false)
f) (A -> (C -> B))) (false)
g) (-A -> (A <-> B)) (false)
h) ((A <-> B) <-> C) (true)
i) ((A <-> -B) <-> (B <-> -A)) (true)
j) (((A ^ C) -> B) <-> (B -> (A ^ C)) (false)

2. Draw a complete truth-table for the following sentence and indicate whether it is valid or invalid.
(((B ^ C) -> A) <-> ((B -> A) v (C -> A)))
I think it's Invalid
 
Last edited:

Answers and Replies

  • #2
honestrosewater
Gold Member
2,136
5
robert said:
e) (C -> (A -> B)) (false)
f) (A -> (C -> B))) (false)
g) (-A -> (A <-> B)) (false)
j) (((A ^ C) -> B) <-> (B -> (A ^ C)) (false)
Try these again.
(T -> T) is T
(T -> F) is F
(F -> T) is T
(F -> F) is T
2. Draw a complete truth-table for the following sentence and indicate whether it is valid or invalid.
(((B ^ C) -> A) <-> ((B -> A) v (C -> A)))
I think it's Invalid
Under which interpretation?
 
  • #3
robert
23
0
honestrosewater said:
Try these again.
(T -> T) is T
(T -> F) is F
(F -> T) is T
(F -> F) is T
Under which interpretation?

Ya I wasn't sure what to do with if cases. I think I understand it now.

Doesn't valid mean it is true under all interpretations?
 
  • #4
robert
23
0
Here are my new answers now that I understand how if statements work.

1. Indicate which of the following are true and which are false in an interpretation in which A and B are false and C is true.
a) (A v (B ^ C)) (false)
b) (-A ^ (B v C)) (true)
c) ((A v B) ^ C) (false)
d) (-(A ^ B) ^ C) (true)
e) (C -> (A -> B)) (true)
f) (A -> (C -> B))) (true)
g) (-A -> (A <-> B)) (true)
h) ((A <-> B) <-> C) (true)
i) ((A <-> -B) <-> (B <-> -A)) (true)
j) (((A ^ C) -> B) <-> (B -> (A ^ C)) (true)

2. Draw a complete truth-table for the following sentence and indicate whether it is valid or invalid.
(((B ^ C) -> A) <-> ((B -> A) v (C -> A)))
I think it's valid
 
  • #5
honestrosewater
Gold Member
2,136
5
Yes, unless I made mistakes, they're all correct now. But I suggest that you look up your definition of valid. The use of <-> in the statement gives me doubts. My definition of valid doesn't apply to statements but to arguments: an argument is valid iff there exists no interpretation where the premises are all true and the conclusion is false. IOW, if all of the premises are true, the conclusion must also be true (this allows for the case that all of the premises cannot be true together). So they should have used something to specify a set of premises and a conclusion. In using <->, I assume that they mean for ((B ^ C) -> A) and ((B -> A) v (C -> A)) to take turns as premise and conclusion, but you may want to make sure.
 

Suggested for: Draw a complete truth-table for the following sentence

Replies
8
Views
365
Replies
30
Views
207
Replies
23
Views
337
  • Last Post
Replies
3
Views
504
Replies
1
Views
309
Replies
3
Views
373
Replies
2
Views
3K
Replies
1
Views
373
Replies
2
Views
436
Replies
5
Views
446
Top