Nội dung: Giới thiệu về ký hiệu mệnh đề và các toán tử logic.
45 được xây dựng trong các bài tập về các loại mệnh đề và phép suy luận.
Một trang tính trong đó người dùng có thể lấy một bài tập hoặc nhập một mệnh đề
hoặc suy luận suy diễn.
Một máy tính bảng sự thật sẽ thiết lập bảng, bước qua nó và xác định xem
mệnh đề là một sự phản bác, tự mâu thuẫn hoặc ngẫu nhiên. Để có một suy luận logic
nó sẽ xác định xem nó hợp lệ hay không hợp lệ.
An intro to propositional logic and truth tables.