या कार्यक्रमाचा मुख्य उद्देश निर्मिती, आणि सत्य दगडी पाट्या प्रदर्शित आहे.
या मोफत आवृत्ती अभाव, उभयान्वयी अव्यय, (समाविष्ट) वियोग, conditonal (साहित्य परिणाम), आणि biconditional (साहित्य समतोलपणा), तसेच अनुक्रमे, सत्य आणि खोटे denoting स्थिर 1 0 आहे, शास्त्रीय तर्कशास्त्र सर्व नेहमीच्या connectives समर्थन पुरवतो. एक थंड गोष्ट तर्कशास्त्र काहीसे कंटाळवाणा मानक नोटेशन शिवाय, आपण खूप, Lukasiewicz च्या प्रवाहात अस्तर असलेली, चमकदार पोलिश नोटेशन वापरू शकतो, की आहे.
इथे थांबत नाही. आपण या व्यक्तीस खाली टू पृथ्वीवर, सामान्य प्रकारचे असल्यास, आपण मुलभूतरित्या, कार्यक्रम शास्त्रीय, दोन-अमूल्य, तर्कशास्त्र वापरते ते reassuring, दिसून येईल. आपण कधीही एंटरप्राइझ चेंडू थांबता, उत्कंठापूर्ण प्रकार अधिक आहेत, तर Android तर्कशास्त्र न शास्त्रीय, मल्टि-अमूल्य प्रणाली अनेक समर्थन पण, आपण खूप, सत्य टेबल जाणून आनंद होईल. दोनदा नदी प्रविष्ट करू नका, आणि दोन निगेटिव्ह म्हणून बोलणे, एक, माझा प्रभू, करू नका!
या रोजी अपडेट केले
१४ नोव्हें, २०१३