Navigation bar main page lyberty.com key to sysmbols

"A" statements


[Logic]

A: All S are P

(x)(Sx > Px) ==

"There is an (x) such that if S is x, 
then P is an x
(if there is such a thing as x)."
  


  
see also:
inconsistancies
tautologies