1
vote
1answer
34 views

Show that there exists a satisfactory assignment for the unstandard language of arithmetic $\{\textbf{0}, ', <_1\}$

Consider: $A1: \textbf{0} \not = x'$ $A2: x'=y' \rightarrow x = y$ $A3: \neg x < \textbf{0}$ $A4: x < y' \leftrightarrow (x < y \vee x = y)$ $A5: \textbf{0} < y ...
0
votes
1answer
253 views

Propositional Logic “Riddle/Puzzle”

I have this kind of 'riddle' as a question that i need to complete, however I'm not sure what to do of it. This is the question: ...
3
votes
2answers
414 views

Villager Logic Puzzle

Each inhabitant of a remote village always tells the truth or always lies. A villager will give only a “Yes” or a “No” response to a question a tourist asks. Suppose you are a tourist visiting this ...
2
votes
2answers
339 views

Sodoku Puzzles and Propositional Logic

I am currently reading about how to solve Sudoku puzzles using propositional logic. More specific, they use the compound statement $\bigwedge_{i=1}^{9} \bigwedge_{n=1}^{9} \bigvee_{j=1}^{9}~p(i,j,n)$, ...
1
vote
3answers
2k views

Solve this logical puzzle only using logical equivalencies. Is there a shorter way to do it?

Here's a puzzle: Four friends have been identified as suspects for an authorized access into a computer system. They have made statements to the investigating authorities. Alice said "Carlos ...
5
votes
3answers
2k views

Express logic puzzles with proposition calculus notation

I’m trying to solve a logic puzzle that goes like this: The police have three suspects for the murder of Mr. Cooper: Mr. Smith, Mr. Jones, and Mr. Williams. Smith, Jones, and Williams each declare ...
4
votes
4answers
3k views

What is the name of the logical puzzle, where one always lies and another always tells the truth?

So i was solving exercises in propositional logic lately and stumbled upon a puzzle, that goes like this: Each inhabitant of a remote village always tells the truth or always lies. A villager will ...