Grand jury problem (LOGIC problem solving)

  • Thread starter Thread starter einasteph29
  • Start date Start date
  • Tags Tags
    Problem solving
AI Thread Summary
The discussion revolves around a logic problem involving testimonies from Paul, Genelle, and Homer regarding Fisher's alleged embezzlement. Participants suggest translating the statements into symbolic logic to create a truth table for analysis. The key logical variables defined are F (Fisher embezzled funds), L (Laskey defrauded clients), and M (Marshall received stolen property). The impact of Genelle's lie on the evidence is questioned, indicating the need to reassess the validity of the testimonies. The conversation emphasizes the importance of logical reasoning in solving the problem.
einasteph29
Messages
2
Reaction score
0
Hello guys..

I just want to know the answer here.
We tried to give our best just to understand this but we failed to do so..

I hope someone will help..^^

This is the problem:

Paul, Genelle, and Homer testified before a grand jury. Paul testified that Fisher did not embezzle funds only if both Laskey defrauded clients and Marshall did not receive stolen property. Genelle testified that Fisher embezzled funds and either Laskey did not defraud clients or Marshall received stolen property. Homer testified that Laskey did not defraud clients if and only if both Marshall received stolen property and Fisher embezzled funds. Based on this evidence the grand jury indicted two people. Who are they? After the indictment was handed down, it was discovered that Genelle lied. How does this affect the evidence?

Our teacher in Logic told us that we have to translate sentences in symbols then we have to make a truth-table to justify Paul's, Genelle's and Homer's statements.

Thanks in advance ^_^
 
Physics news on Phys.org
einasteph29 said:
Our teacher in Logic told us that we have to translate sentences in symbols then we have to make a truth-table to justify Paul's, Genelle's and Homer's statements.

Well, that sounds like a sensible piece of advise.
So you could start by defining
F: Fisher embezzled funds
L: Laskey defrauded clients
M: Marshall received stolen property

Then can you express the information in the story as logical statements?
For example, "If Laskey defrauded clients, then Marshall received stolen property but Fisher did not embezzle funds" would become
L \implies (M \wedge \neg F)
 
@ CompuChip:

thank u very much! ^^
 
This is homework, it sounds like. The rules say you should have posted this in the homework forum.
 
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