ro PA4 -rol- cmavo

digit/number: each, all.


In notes:

leryrolmoivla
l1 (quoted letteral) is the last letter of the word v1.
rolju'o
x1=d1 knows everything about x2=d3 by epistemology x3=d4; x1=d1 is omniscient about matter(s) x2=d3.
tifmu'eza'i
z1 is real/really exists in this universe for z2 under metaphysics z3.
troroltruci'e
c1 is a totalitarian system in j2 with power exercised by t1=t1
bu'ai
abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order.
na'ei
Contradictory negation of a predicate
ro'oi
universal plural quantifier. “All.”
xau'o'o
mekso convention cancellation
namcixu
For mo'e x4 x in x1 there exist mo'e x5 y in x2 such that x me'au x3 y; for mo'e x6 y in x2 there exist mo'e x7 x in x1 such that x me'au x3 y.