# Questions tagged [logic-translation]

For translating between natural language expressions and logic expressions.

481 questions
Filter by
Sorted by
Tagged with
223 views

### Do ∃x(Dog(x)) and ∃x(¬Dog(x)) contradict each other? [closed]

Formally, ∃x(Dog(x)) and ∃x(¬Dog(x)) look like they contradict each other. However, in the real world, there exist objects which are dogs i.e. ∃x(Dog(x)) there exist objects which are not dogs i.e. ∃...
194 views

169 views

190 views

### Which of these translates the universal and existential quantifiers better?

Consider this proposition (which I know is false): $$(\exists y{\in}\mathbb Z)\,(\forall x{\in}\mathbb Z)\,(y > x).$$ I am wondering whether the analogy of picking a variable value according to the ...
294 views

### Translating "Boris hasn't tried anything better than chocolate"

Boris hasn't tried anything better than chocolate. The above sentence needs to be converted to first-order logic. The given domain is candies, and Boris is a sentient piece of candy. $B(x,y)$: $x$ is ...
121 views

### Formalising "every number other than $0$ has a unique multiplicative inverse"

The domain is the set of all real numbers. Express "Every number other than 0 has a unique multiplicative inverse" as a logical expression. My solution is: ...
36 views

1 vote
70 views

103 views

### "No integers $x$ and $y$ exist for $28x+7y=8$"

What is the logical structure of this statement? No integers $x$ and $y$ exist for $28x+7y=8.$ I'm not sure, but I think the answer is $$¬∃x\;∃y\;(x ∈ \mathbb Z ∧ y ∈ \mathbb Z ∧ 28x + 7y = 8).$$
151 views

### How do I translate "is not sufficient" into symbolic logic?

Take the proposition "it is not sufficient for the monkey to dance in order for me to get an A on the test" m = the monkey dances a = I get an A on the test It makes sense why I can ...
1 vote
83 views

### "Neither Ana nor Bob can do every exercise but each can do some."

I’m a bit confused as to how I should translate the following sentence: Neither Ana nor Bob can do every exercise but each can do some. I've identified the atomic sentences $A$ = Ana can do every ...
1 vote
96 views

### Expressing the instance of a ZF Set Theory axiom for a given property

I am currently in the process of studying ZF Set Theory (without the Axiom of Choice) and I have come across a type of question that is unclear to me. The basic format of the question is to "...
108 views

### Predicate Logic "John drinks any type of drink"

For the following English statement,what would be the correct predicate logic translation: John drinks any type of drink. 1.$\forall x {(Drinks(John,x))}$ 2.$\forall x(Drink(x) \to Drinks(John,x)\\$ I ...
1 vote
69 views

### Have I misunderstood this argument about truth values? [closed]

7.2.1 Every truth value is confirmed by intuition that affirms it. $(∀x)(Tx\to Ix)$ 7.2.2. Every intuition that affirms truth value is a feeling of correctness. $(∀x)(Ix\to Cx)$ 7.2.3. The feeling ...