Logic Puzzle 2 - The Teacher

[@LogicPhilosophy]

Spoiler Block

[@jason666king]

The correct answer is rather intuitive: Bob Marley is looking to fire up on that blunt.

[@Controlled_Khaos]

Yes. if bob is a teacher then bob is looking at marley and if bob is not a teacher then reyna is looking at bob

[@ericklucas7181]

If the statement "a teacher is looking at a non-teacher" would be right, then, considering the first statement, Renna (teacher) is looking at non-teacher, therefore Bob would being not a teacher. Nevertheless, the other statement says that "Bob is looking at Marley", thus in this case Bob would be teacher. Hence, we arrive in the contradiction (Bob is a teacher and a non-teacher).

[@amavect]

Here is a formal proof in predicate logic. The proof is nonconstructive because it requires the law of excluded middle. The intended interpretation: r means Renna b means Bob m means Marley T(x) means x is a teacher L(x,y) means x is looking at y. Here are the hints: L(r,b) L(b,m) T(r) ¬T(m) "Is a teacher looking at a non-teacher?" ∃x∃y(T(x)∧¬T(y)∧L(x,y)) The hints entail this proposition. Proof: Assumptions: 0: L(r,b) 1: L(b,m) 2: T(r) 3: ¬T(m) Law of excluded middle: 4: T(b)∨¬T(b) Hypothetical 5.0: T(b) Conjunction introduction 5.0, 3, 1 5.1: T(b)∧¬T(m)∧L(b,m) Existential generalization 5.1[y\m] 5.2: ∃y(T(b)∧¬T(y)∧L(b,y)) Existential generalization 5.2[x\b] 5.3: ∃y(T(x)∧¬T(y)∧L(x,y)) Hypothetical 6.0: ¬T(b) Conjunction introduction 2, 6.0, 0 6.1: T(r)∧¬T(b)∧L(r,b) Existential generalization 6.1[y\b] 6.2: ∃y(T(r)∧¬T(y)∧L(r,y)) Existential generalization 6.2[x ] 6.3: ∃x∃y(T(x)∧¬T(y)∧L(x,y)) Disjunction elimination 4, 5, 6 7: ∃x∃y(T(x)∧¬T(y)∧L(x,y))

[@DeconvertedMan]

Maybe. Renna👧is looking at Bob👦and Bob👦 is looking at Marley👨‍🎨 Renna is looking at Bob who is looking at Marley if they are all in a row, from left to right - then Renna might see past Bob to also see Marley. Then she would be looking at a non-teacher regardless of if Bob is or is not a teacher. If Renna is looking at Bob, but he is looking past her, at Marley who is behind her, then we do not know if she is or is not as we do not know if Bob is or is not a teacher. It all depends on who Renna is looking at. If Renna is "only" looking at Bob, then we do not know the answer. We do know that Bob is not looking at a teacher, so if Bob is a teacher, then the answer is yes. Perhaps its a play on words, "teacher" can sound like "t-shirt" if you say it wonky so maybe....