Question about who tells the truth.

  • Thread starter Thread starter Alexsandro
  • Start date Start date
AI Thread Summary
The discussion centers on calculating the probability that person C lied based on the truth-telling probabilities of persons A and B. It is established that if A and B tell the truth or lie simultaneously, they convey accurate information, leading to the conclusion that the probability C lied is p^2 + (1-p)^2. A related example involving coin tosses is presented to further explore the implications of truth-telling probabilities. The probability of both coins showing heads is questioned, alongside the impact of the friend's truth-telling probability p on this outcome. The connection between these scenarios illustrates the complexities of truth transmission in probabilistic terms.
Alexsandro
Messages
49
Reaction score
0
Interesting question:

" A says that B told him that C lied ".

If each of these person tells the truth with probability p, what is the probability that C lied ?
 
Physics news on Phys.org
It is clear that A and B transmit information rightly if they tells the truth simultaneously or if they tells the false simultaneously. Therefore the probability that C lied is equal to

p^2+(1-p)^2.
 
Hmm,
on a somewhat similar note,
Your friend tosses two coins simultaneously far away hidden from you. Then he shouts out loud to you that one of the coins shows head.
1. What is the probability that both the coins show head?
2. If your friend utters truth with a probability p, then what is the probability that both the coins are head?

-- AI
P.S -> I am sure this is not a digression from the original question, just an example that i hope should give some idea on the original question.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top