#Logic puzzles

37 messages · Page 1 of 1 (latest)

split hinge
#

i get quite confused when i try to solve questions like these (i also do not know what is happening in the solution here). can someone please help me understand how we go on with such questions?

quartz gateBOT
quartz gateBOT
split hinge
#

well, this is the original question (and the only thing i have)

thick elbow
#

I'm going to rewrite this to be somewhat understandable

#

$b \to c\
\neg(c \land g)\
\neg(\neg g \land \neg h)\
h \to \neg c$

#

Now you wanna see from this whether or not you can determine anything about b, c, g and h on their own

split hinge
#

right, how do we do that?

halcyon shaleBOT
#

Xavier 🌺

thick elbow
#

The usual way is to make assumptions and see if they lead to contradictions

#

Or see if both possibilities work

split hinge
#

i do not get it, i am sorry. like, for the first one, do we take both b and c to be true? if yes, how really do we proceed further?

thick elbow
#

So

#

Assume b is true

#

That gives you that c is true

#

Then the second one tells you g must be false

split hinge
#

wait

split hinge
thick elbow
#

If b is true, then c is true

#

If b is false, c can be either

thick elbow
#

But if h is true, then c is false

#

Which is a contradiction

#

So b cannot be true

#

So b must be false

#

Similarly, you can assume the others and check

split hinge
#

i see

#

thank you

#

how do i close this?

#

.close

quartz gateBOT
#
Solved

Post marked as solved by @split hinge.

Use .unsolved if this was a mistake.

thick elbow
#

I wasn't sure either lol

#

But apparently that's how

split hinge
#

yeah, sorry

thick elbow
#

What for

split hinge
#

because it was the same as usual