Mathematical Logics with Truth

แอปพลิเคชันทางคณิตศาสตร์ประกอบด้วยหัวข้อต่อไปนี้:

> Negation - เพื่อระบุคำสั่งว่าเป็นจริงเท็จหรือเปิด เพื่อแสดงรายการการปฏิเสธของคำสั่งในรูปสัญลักษณ์และในรูปประโยค เพื่อแสดงรายการค่าความจริงสำหรับคำสั่งที่ระบุและการปฏิเสธ

> Conjunction - เพื่อกำหนดตัวเชื่อมต่อโลจิคัล, คำสั่งผสมและการรวม เพื่อแสดงรายการร่วมในรูปแบบสัญลักษณ์และประโยค เพื่อสร้างตารางความจริงสำหรับการรวม

> Disjunction - เพื่อกำหนดความแตกต่าง เพื่อแสดงรายการความแตกต่างในรูปแบบสัญลักษณ์และประโยค เพื่อสร้างตารางความจริงสำหรับการแยก

> ประโยคเงื่อนไข - เพื่อระบุสมมติฐานและข้อสรุปของเงื่อนไข เพื่อแสดงรายการเงื่อนไขในรูปแบบสัญลักษณ์และประโยค ในการแสดงรายการความจริงของเงื่อนไขให้กำหนดมูลค่าของแต่ละส่วน

> Biconditional Statement- เพื่อแสดงรายการ biconditional ในรูปแบบสัญลักษณ์และประโยค เพื่อระบุสมมติฐานและข้อสรุป เพื่อประเมินประโยคเพื่อตรวจสอบว่ามันเป็นแบบสองเงื่อนไขหรือไม่

Tautologies เพื่อระบุแต่ละส่วนของคำสั่งผสม เพื่อสร้างตารางความจริงสำหรับคำสั่งผสมเพื่อตรวจสอบว่ามันเป็นเรื่องที่ซ้ำซากหรือไม่

> ความขัดแย้ง

> ความไม่แน่นอน

> ตารางความจริงที่มี 3 ตัวแปร

> เวนไดอะแกรม