[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: orion@panda.mscc.huji.ac.il*Subject*: orion Logic 101*From*: Yirmiyahu Ben-David <yirmyahu@netzarim.co.il>*Date*: Mon, 28 Jul 1997 17:00:00 +0300

Let D = {x : x is an element of the "unwritten complement" of Torah already acknowledged} Let O sub x = {x : x is an element of the "Book of Decrees") Let O sub q = {x : x is an element of Ma'aseh} Let O sub p = {x : x is an element of Halakhah) D intersected with O sub x <> phi D intersected with O sub q <> phi D intersected with O sub p <> phi J = D - O sub p J <> D Q.E.D. Equally trivial: O sub p intersected with D is a subset of D (Similarly, the intersections of O sub x and O sub q with D are subsets of D) Q.E.D. Yirmiyahu Ben-David Paqid 16, Qehilat Ha-Netzarim (Nazarene Jews) www.netzarim.co.il Ra'anana, Israel

- Prev by Date:
**orion interesting abstracts!** - Next by Date:
**Re: orion List Moderator** - Prev by thread:
**orion interesting abstracts!** - Next by thread:
**Re: orion Logic 101** - Index(es):