Mathematical Logics with Truth

برنامه منطق ریاضی شامل موضوعات زیر است:

> Negation - برای تشخیص بیانیه به عنوان درست، غلط و یا باز. نفی یک بیانیه را در شکل نمادین و در جمله بیان می کند. برای فهرست ارزشهای حقیقی برای یک بیانیه خاص و نفی آن.

> Conjunction-برای تعریف منطقی اتصال، توضیح مرکب، و اتصال. برای فهرستی از ترکیب در شکل نمادین و در جمله. برای ساخت یک جدول حقیقی برای پیوستن

> Disjunction-برای تعریف اختلال. برای فهرست کردن اختلافی در شکل نمادین و در جمله. برای ساخت یک جدول حقیقی برای disjunction.

> اظهارات شرطی - برای شناسایی فرضیه ها و نتیجه گیری شرطی. برای لیست مشروط در شکل نمادین و در جمله. برای ارزیابی ارزش حقیقی شرطی، با توجه به ارزش هر قسمت، لیست می شود.

> بیانیه های Biconditional - برای فهرست biconditional در شکل نمادین و در جمله. برای شناسایی فرضیه ها و نتیجه گیری. برای ارزیابی یک جمله برای تعیین اینکه آیا این biconditional است یا نه.

توهمات شناسی برای شناسایی بخش های فردی یک بیانیه ترکیب. برای ساخت یک جدول حقیقی برای یک بیانیه ترکیب، برای تعیین این که آیا این یک توهین است یا نه.

> تناقض

> احتمالی

> جدول حقیقی با 3 متغیر

> ون دیاگرام