Truth Tables

حقیقت استفاده از جدول برای منطق کلاسیک و برای تعدادی از سیستم های غیر کلاسیک

تنها هدف از این برنامه ایجاد و نمایش، جداول حقیقت است.

این نسخه رایگان با پشتیبانی از ادات معمول در منطق کلاسیک، که نفی، همراه، (فراگیر) ترکیب فصلی، conditonal (مفهوم مواد)، و biconditional (هم ارزی ماده)، و همچنین ثابت 1 و 0 دلالت حق و باطل است، بود. نکته جالب این است که، علاوه بر نت نویسی تا حدودی خسته کننده استاندارد از منطق، شما ممکن است جریان اندود شده، نشان گذاری لهستانی براق Lukasiewicz استفاده کنید، بیش از حد.

و آن را در اینجا متوقف نمی شود. اگر شما، نوع را به زمین مشترک احساس شخص، شما را پیدا خواهد کرد آن اطمینان بخش است که، به طور پیش فرض، این برنامه با استفاده کلاسیک، دو ارزش، منطق. اما اگر شما بیشتر از نوع پرماجرا هستند، هرگز توقف کوتاه از شرکت، شما خوشحال به یاد بگیرند که جدول درستی برای آندروید پشتیبانی از تعدادی از غیر کلاسیک، سیستم های چند مقداری از منطق، بیش از حد. هرگز یک رودخانه دو بار وارد کنید، و دو منفی را تأیید را ندارد، پس به صحبت می کنند!