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
