Энэ хөтөлбөрийн цорын ганц зорилго бий болон, үнэн хүснэгтүүдийг харуулсан байна.
Энэ нь үнэгүй хувилбар гэж угуйсгэж, хамтран (хамааруулсан) disjunction, conditonal (материал үр нөлөө) болон biconditional (материаллаг эквивалент), түүнчлэн тус тус үнэн ба худал хуурмагийг тэмдэглэсэн тогтмол 1, 0, сонгодог логик бүх ердийн connectives дэмждэг. А хүйтэн зүйл нь логик бага зэрэг уйтгартай стандарт бичлэгээр гадна, та ч бас, Lukasiewicz-ийн урсгалын доторлогоотой, гялалзсан Польшийн тэмдэглэгээг ашиглаж болно гэж байна.
Мөн энэ нь энд зогсоож чадахгүй байна. Та хүний доош нь, дэлхийн нийтлэг, мэдрэмж ямар байгаа бол, та анхдагчаар хөтөлбөр нь сонгодог, хоёр үнэтэй, логик ашигладаг нь итгэл төрүүлэхүйц, олж харах болно. Та хэзээ ч аж ахуйн нэгжийн богино зогсоох, адал төрөл илүү бол Android логик бус сонгодог, олон үнэтэй систем нь хэд хэдэн дэмждэг Харин та нар ч гэсэн үнэн ширээ сурах таатай байх болно. Хоёр удаа гол оруулж хэзээ ч, хоёр сөрөг учраас ярьж, тунхаглаж хийж чадахгүй байна!
Шинэчилсэн огноо
2013 оны 11-р сарын 14