Tychonievich is a professor A
Sherriff is a professor B
Sullivan is a professor C
Skadron is a professor D
Horton is a professor
Dwyer is a professor
Xu is a professor
________ is a professor -- predicate
Tychonievich is a professor
Tychonievich is a baker
Tychonievich is a artist
Tychonievich is a poet
Tychonievich is a _________
_________ is a _________
P(x, y) === _______x is a ______y
P(Tychonievich, Poet)
B(x, y) === x ←→ y
At least one number is prime
Universe of Discourse is numbers
P(x) === _____x is prime
∃ x . P(x)
∃ x . !!P(x)
!∀ x . !P(x)
It is not the case that all numbers are not prime
N(x) === _____x is a number
P(x) === _____x is prime
Universe of Discourse is stuff
∃ x . N(x) ^ P(x)
∃ x . N(x) → P(x) WRONG x is Tommy
∃ x . N(x) ←→ P(x) WRONG second in command
No one likes to vomit
V(x) === ____x likes to vomit
∀ x . ! V(x)
! ∃ x . V(x)
M(x, y) person ____x enjoys movie ___y
There must be some movie everyone enjoys
∃ y . (∀ x . M(x, y))
Everyone has some movie they enjoy
∀ x . (∃ y . M(x, y))
There must be someone who has some movie they enjoy
∃ p . (∃ m . M(p, m))
There must be some movie that some enjoys
∃ m . (∃ p . M(p, m))
Everyone likes every movie
∀ p . (∀ m . M(p, m))
Every movie is liked by everyone
∀ m . (∀ p . M(p, m))
list2 = sort(list1)
∀ list1 that are lists,
list2 is a list
and
list2 contains the same elements as list1
and
list2 is "sorted"
∀ index between 0 and length - 2,
list2[index] <= list2[index+1]
S(l,i) === l[i] <= l[i+1]
and
if list1 had any element more than once, so does list2