حاسبة المنطق

تدعم الآلة الحاسبة جميع المعاملات المنطقية القياسية: النفي (¬, !)، والعطف (&, ∧)، والفصل (|, ∨)، والاستلزام (→, ->)، والتكافؤ الشرطي (↔, <->). يمكنك استخدام هذه المعاملات لبناء تعبيرات منطقية معقّدة.

لا حاجة إلى ذلك. لكل رمز صيغة بحروف ASCII تفهمها الآلة الحاسبة: & بدل ∧، و | بدل ∨، و ! أو ~ بدل ¬، و -> بدل →، و <-> بدل ↔. أما الثابتان ⊤ و ⊥ فيمكن كتابتهما true و false، أو T و F. وإن كنت تفضّل الرموز نفسها، فلوحة المعاملات أسفل حقل الإدخال تُدرجها نيابةً عنك.

نعم! استخدم خاصية فحص التكافؤ بالفصل بين تعبيرين بعلامة '==' لتحديد ما إذا كانا متكافئين منطقيًا. ستقارن الآلة الحاسبة جدولَي الصدق للتحقّق من التكافؤ.

نعم. اكتب المقدّمات مفصولة بفواصل، ثم علامة الاستلزام، ثم النتيجة، مثل 'p, p -> q ⊨ q'. ويمكن كتابة علامة الاستلزام أيضًا |= أو |-. تخبرك الآلة الحاسبة إن كانت النتيجة تلزم عن المقدّمات، وأي المقدّمات ضروري فعلًا، وهل يمكن أن تصدق المقدّمات كلها معًا، وإذا لم يصحّ الاستدلال عرضت نماذج مضادة تجعل كل مقدّمة صادقة والنتيجة كاذبة.

التعبير القابل للإشباع يمكن جعله صادقًا في إسناد واحد على الأقل لقيم الصدق. أما التعبير الصحيح (التحصيل الحاصل) فهو صادق في كل الإسنادات الممكنة. وتفحص الآلة الحاسبة كلتا الخاصيتين تلقائيًا لتعبيراتك.