[lojban] Re: importing ro

[pycyn@aol.com]

In a message dated 11/7/2002 6:44:31 PM Central Standard Time, lojban-out@lojban.org writes:
<<

All As

is equivalent to

All Xs such that X is an A


Debating that equivalence seems amazingly non-sensical to me.  In fact,
that is exactly how I was tought to convert natural-language sentences
with 'all' in them into predicate logic, IIRC
>>

Hey, maybe I have read this set of lecture notes.  As I recall, itmintroduced restricted quantifier notation and then blew it by dropping it in midstream for unrestricted quantifiers -- I thought a pedagogically idiotic move.



To unsubscribe, send mail to lojban-unsubscribe@onelist.com

Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.