Mathematical Logics with Truth

Ứng dụng Logic toán học bao gồm các chủ đề sau:

> Phủ định - Để xác định một tuyên bố là đúng, sai hoặc mở. Để liệt kê các phủ định của một tuyên bố ở dạng tượng trưng và ở dạng câu. Để liệt kê các giá trị thật cho một tuyên bố nhất định và phủ định của nó.

> Kết hợp - Để xác định trình kết nối logic, câu lệnh ghép và kết hợp. Để liệt kê một sự kết hợp ở dạng biểu tượng và câu. Để xây dựng một bảng chân lý cho sự kết hợp.

> Rối loạn -Để xác định phân biệt. Để liệt kê một sự phân biệt trong biểu tượng và ở dạng câu. Để xây dựng một bảng chân lý cho một sự phân tách.

> Báo cáo có điều kiện -Để xác định giả thuyết và kết luận của một điều kiện. Để liệt kê một điều kiện trong biểu tượng và ở dạng câu. Để liệt kê giá trị thật của một điều kiện, cho giá trị của từng phần.

> Tuyên bố nhị phân- Để liệt kê một nhị phân ở dạng biểu tượng và dạng câu. Để xác định giả thuyết và kết luận. Để đánh giá một câu để xác định xem nó có phải là nhị phân hay không.

Tautology Để xác định các phần riêng lẻ của một câu lệnh ghép. Để xây dựng một bảng chân lý cho một câu lệnh ghép để xác định xem đó có phải là một tautology hay không.

> Mâu thuẫn

> Dự phòng

> Bảng chân lý với 3 biến

> Sơ đồ Venn