For translating between natural language expressions and logic expressions.
Questions tagged [logic-translation]
482 questions
0
votes
1 answer
Not knowing how to translate a theorem to logic
Proposition: for every positive integer $n$, there do not exist four positive integers $a,b,c,d$ with $ad=bc$ and $n^2
Si_monster
- 57
0
votes
2 answers
Word-by-word translation into formal logic: "For all $x$ ($Px$ implies that $Qx$ is constant)"
$Q(x)$ is constant on set $A$ means: for all $x\in A$, $Q(x)$ is not depended on $x$.
Is it possible to translate the following formula into formal logic word-by-word?
$\forall x\in \{y:P(y)\}$ ($Q(x)$ is constant.)
The translation of "$Q(x) $ is…
High GPA
- 3,776
- 15
- 44
0
votes
1 answer
Translating logical statements in to English?
I've studied a little bit about logical statements, but apparently not enough. Can you recommend a good reference on how to translate logical statements in English?
For instance, when reading the Axiom of Extensionality on Wikipedia, there is a…
watchy
- 83
0
votes
0 answers
Interpretation of the Empty Set in Yu I. Manin's "A Course in Mathematical Logic"
Manin gives examples of translating the language of set theory to "argot". The first example is
$\forall x(\neg(x\in\emptyset))$ : "for all (sets) $x$ it is false that $x$ is an element of (the set) $\emptyset$" (or "$\emptyset$ is the empty…
0
votes
1 answer
Translation of a complex sentence
I have been having a very hard time translating the following sentence from natural language to first-order predicate logic. Can someone help me, please? The sentence is:
If someone performs an act and his act causes damage to another, if the act is…
George
- 1
-1
votes
1 answer
Translate the sentences
Cat(x) for “x is a cat,”
Mouse(x) for “x is a mouse”
Eats(x, y) for “x eats y”
Every cat eats exactly one mouse.
Some Cat eats at least two mouses
Every Cat eats at most one mouse.
Sentences 1: ∀x∃y Cat(x)∧ Mouse(y) ⇨ Eats(x,y)
Sentences 2: …
Dan Leo
- 23
-1
votes
1 answer
"less than" language confusion
I want to translate these mathematical equations into common English, but I am having a problem translating when I use the "less than" statement in certain contexts.
Suppose x = 5 and y = 15
The following should be equivalent statements:
y =…
mathewbruens
- 213