तर्क और औपचारिक तर्क सीखें

मार्गदर्शिकाओं से शुरू कीजिए। वे वर्णक्रम में नहीं, पढ़ने के क्रम में लगी हैं, और सूची में हर मार्गदर्शिका का चरण-क्रमांक तथा उसका अपेक्षित स्तर दिखता है। साइट को बता दें कि आप कितना तर्कशास्त्र पहले से जानते हैं, तो आपका आरंभ-बिंदु उस स्तर की पहली मार्गदर्शिका पर चला जाता है; उससे पहले वाली पृष्ठभूमि-पठन के रूप में सूची में बनी रहती हैं।

वे बताते हैं कि मार्गदर्शिका आपसे पहले से कितना तर्कशास्त्र मान कर चलती है, यह नहीं कि उसे पढ़ना कितना कठिन है। पढ़ने का क्रम इन स्तरों में कभी पीछे नहीं जाता, इसलिए अपना स्तर चुन लेने के बाद आप आरंभ-बिंदु से आगे पढ़ते जा सकते हैं और कोई ऐसी मार्गदर्शिका नहीं मिलेगी जो छोड़ी हुई किसी मार्गदर्शिका पर टिकी हो।

हाँ, इसी ब्राउज़र में। किसी मार्गदर्शिका को 'पढ़ी' चिह्नित करने पर सूची की प्रगति-गिनती और हर मार्गदर्शिका के अंत में दिया 'आगे' सुझाव अद्यतन हो जाता है, जो इसके बाद की पहली बिना-पढ़ी मार्गदर्शिका बताता है। कुछ भी कहीं नहीं भेजा जाता, और साइट डेटा साफ़ करने पर यह रीसेट हो जाता है।

मार्गदर्शिका उतनी पढ़िए कि संकेतन पहचान में आने लगे, फिर अभ्यास कीजिए। अभ्यास उन्हीं विषयों के अनुसार समूहित हैं जिन्हें मार्गदर्शिकाएँ छूती हैं, इसलिए सामान्य लय यह है: एक मार्गदर्शिका, फिर उसी श्रेणी के अभ्यास, और उत्तर सहज आने लगें तो अगली मार्गदर्शिका।

प्रतिज्ञप्ति तर्कशास्त्र तार्किक संकारकों के माध्यम से प्रतिज्ञप्तियों के बीच संबंधों पर ध्यान देता है, जबकि बूलीय बीजगणित एक गणितीय संरचना है जो द्विआधारी मानों (सत्य/असत्य या 1/0) से काम करती है। यह कैलकुलेटर दोनों का समर्थन करता है और दोनों समान संकारकों का उपयोग करते हैं।