Symbolizing, LOGIC PHILOSOPHY
Symbolizing
1.
Everybody has someone that they do not like. (Px: x is a person;
Lxy: x likes y)
2.
Someone is not liked by anyone. (Px: x is a person; Lxy: x likes
y)
3.
Something created everything except itself. (Cxy: x created y)
4.
More than one person is running for president. (Px: x is a person;
Rx: x is running for president)
5.
There is one and only one President of the United States. (Pxy: x
is president of y; u: the United States)
6.
Oswald was the sole assassin of Kennedy. (o: Oswald; k: Kennedy;
Axy: x assassinated y)
7.
Everybody loves somebody sometime. (Px: x is a person; Tx: x is a
time; Lxyz: x loves y at time z)
8.
Kareem Abdul-Jabbar is taller than everyone who is shorter than
Wilt Chamberlain. (k: Kareem Abdul-Jabbar; c: Wilt Chamberlain; Txy: x is
taller than y)