translations Flashcards
what do you write in the key to restrict domain here?
e.g.
everyone loves someone
{x: x is a person}
L…1….2..: 1 loves 2
(∀x)(∃y)Lyx
What is a predicate? example?
that which goes before the subject/ constant?
H: is happy
Hj
what is a constant? example
that which is the subject of a predicate that goes after it? goes from beginning to alphabet to the end
j: jack
H: is happy
Hj - jack is happy
what are the two quantifiers?
∀ universal quantifier
∃ existential quantifer
what is a variable?
goes after the quantifier to give it meaning, from the end to the beginning of the alphabet
(∃x)
Every teacher shouted at a pupil
(∀x)(Tx ⊃ (∃y) (Py ^ Sxy)
T… Teacher
P… Pupil
S…1..2..: 1.. shouted at … 2
Everything is bigger than something
(∀x)(∃y)Bxy
B…1….2…: 1 IS BIGGER than … 2
Something is tall and something is happy
(∃x) Hx ^ (∃y) Tx
H… is hapoy
T… is tall
Nothing is real
˜(∃x) Rx
R… is real
Nothing is not real
˜(∃x) ˜Rx
R… is real
Every girl climbed tesco metro
(∀x)(Gx ⊃ (∃y) (Ty ^ Cxy)
G… girl
T… tesco metro
C…. 1..2…: 1 climbed 2
Something ate the cookie and it wasn’t julie
(∃x)(Axc ^ ˜x=j)
only the good die young
(∀x)(Dx ⊃ Gx)
D… die young
G…. the good
jane does not love harry but all the other girls do
˜Ljh ^(∀x) (Gx^ ˜x=j) ⊃Lxh j... jane h...harry g... girl L...1...2: 1... loves... 2
there is only one frog in the world
(∃x)(Fx ^ (∀y) ^(Fy ⊃ x=y)^Wx
f…:frog
Something ate THE LAST cookie and it wasn’t julie
(∃x)(∃y)((Cy ^ (∀z) (Cz ⊃ y=z))Axy^ ˜x=y
C… cookie
j…julie
More than one person has been on the moon
(∃x)(∃y)(Mx^My)^˜x=y
M… has been on the moon
Jill has only two good friends
(∃x)(∃y)((Fxj ^ Fyj) ^ (∀z) (Fyj ⊃ x=z v y=z)))
j. .. jill
f. ..1…2: 1 is a good friend of 2
what i ‘more than one’ equivalent to?
at least two
(∃x)(∃y)(Mx^My)^˜x=y
what is ‘only two’ equivelent to?
at most two
∃x)(∃y)((Fxj ^ Fyj) ^ (∀z) (Fyj ⊃ x=z v y=z))
