Intro: Truth Tables

مطالب: مقدمه ای بر علامت گزاره ای و عملگرهای منطقی.

45 ساخته شده در تمرینات گزاره های مختلف و استنباط قیاسی.

صفحه ای که کاربر می تواند در آن تمرین انجام دهد یا گزاره ای را وارد کند

یا استنباط قیاسی.

یک ماشین حساب جدول حقیقت که جدول را تنظیم می کند ، قدم در آن می گذارد و تعیین می کند که آیا این جدول وجود دارد

گزاره یک توتولوژی ، خود تناقض یا شرطی است. برای استنباط منطقی

این معتبر یا نامعتبر بودن آن را تعیین خواهد کرد.