Solving Q.7 with Truth Tables: What Is the Right Conclusion?

  • Context: MHB 
  • Thread starter Thread starter ertagon2
  • Start date Start date
Click For Summary
SUMMARY

The discussion revolves around solving a logic problem using truth tables, specifically Q.7, which involves determining the identities of characters A, B, and C as knights or knaves. The participant, ertagon2, correctly identifies two matches in their truth table, leading to two possible solutions. The conclusion drawn is that the statement "exactly one of B and C is a knave but you can't tell which" is true, as both solutions validate this condition. Additionally, it is confirmed that A is a knight in both scenarios, making the second part of the question true as well.

PREREQUISITES
  • Understanding of truth tables and their construction
  • Familiarity with logical statements involving knights and knaves
  • Basic knowledge of propositional logic
  • Ability to analyze logical equivalences
NEXT STEPS
  • Study the principles of propositional logic
  • Learn about logical equivalences and their applications
  • Practice constructing truth tables for complex logical statements
  • Explore more advanced logic puzzles involving knights and knaves
USEFUL FOR

This discussion is beneficial for students studying logic, educators teaching propositional logic, and anyone interested in solving logic puzzles involving truth tables and character identification.

ertagon2
Messages
36
Reaction score
0
Hi so this is my homework
View attachment 7701
View attachment 7701
I had no problems solving q.6 using truth tables. (Please check if right)
But when solving q.7 i was faced with a question.
I got 2 matches in my truth table.
[table="width: 500, class: grid"]
[tr]
[td]A[/td]
[td]B[/td]
[td]C[/td]
[td]A...[/td]
[td]B...[/td]
[td]C...[/td]
[/tr]
[tr]
[td]T[/td]
[td]F[/td]
[td]T[/td]
[td]T[/td]
[td]F[/td]
[td]T[/td]
[/tr]
[tr]
[td]T[/td]
[td]T[/td]
[td]F[/td]
[td]T[/td]
[td]T[/td]
[td]F[/td]
[/tr]
[/table]

I was told by my professor that for answer to be right the right side must give the same result as left.
But now I have two matches (left side=right side) what conclusion do i draw from this ?
 

Attachments

  • mathshomework1.png
    mathshomework1.png
    11.8 KB · Views: 151
Physics news on Phys.org
ertagon2 said:
Hi so this is my homeworkI had no problems solving q.6 using truth tables. (Please check if right)
But when solving q.7 i was faced with a question.
I got 2 matches in my truth table.
[TABLE="class: grid, width: 500"]
[TR]
[TD]A[/TD]
[TD]B[/TD]
[TD]C[/TD]
[TD]A...[/TD]
[TD]B...[/TD]
[TD]C...[/TD]
[/TR]
[TR]
[TD]T[/TD]
[TD]F[/TD]
[TD]T[/TD]
[TD]T[/TD]
[TD]F[/TD]
[TD]T[/TD]
[/TR]
[TR]
[TD]T[/TD]
[TD]T[/TD]
[TD]F[/TD]
[TD]T[/TD]
[TD]T[/TD]
[TD]F[/TD]
[/TR]
[/TABLE]

I was told by my professor that for answer to be right the right side must give the same result as left.
But now I have two matches (left side=right side) what conclusion do i draw from this ?
Hi ertagon2,

Your answer to Q6 is correct.

For Q7, I understand that you copied the two rows corresponding to the two matches; if this is the case, they are correct.

What this means is that there are two solutions to the question of who is a knight and who is a knave.

However, that is not the question you are asked. The first question is about the statement "exactly one of B and C is a knave but you can't tell which".

Note that, in each of the two solutions, it is true that exactly one of B and C is a knave: the first part of the statement is true. Furthermore, as there are two possible solutions (B or C is the knave), it is also true that you can't tell which, and that is the second part of the statement. The answer to the question is therefore "true".

For the second question, note that, in each of the two solutions, A is a knight. The answer is therefore also "true" in this case.
 
castor28 said:
Hi ertagon2,

Your answer to Q6 is correct.

For Q7, I understand that you copied the two rows corresponding to the two matches; if this is the case, they are correct.

What this means is that there are two solutions to the question of who is a knight and who is a knave.

However, that is not the question you are asked. The first question is about the statement "exactly one of B and C is a knave but you can't tell which".

Note that, in each of the two solutions, it is true that exactly one of B and C is a knave: the first part of the statement is true. Furthermore, as there are two possible solutions (B or C is the knave), it is also true that you can't tell which, and that is the second part of the statement. The answer to the question is therefore "true".

For the second question, note that, in each of the two solutions, A is a knight. The answer is therefore also "true" in this case.

Thanks. I just wanted to make sure that my undertstanding is right.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K