Logic phi

Văn thị đồ$\neg A$

Văn thị đồ$\neg B$

Logic phiLàĐại số BooleanTrung một loạiMột nguyên giải toán.Nó giải toán kết quả là đem giải toán nguyênThật giá trịLấy phản.

Mệnh đềAPhiCó thể có vài loại phương pháp sáng tác:

• A(ACàng thêm một hoành )
• ~A
• ¬A
• NOTA

Trở lên có thể đọc làm "AKhông thành lập "Hoặc là" phiA".

¬pThật giá trị biểuĐịnh nghĩa như sau:

¬p thật giá trị biểu

p	¬p
Thật	Giả
Giả	Thật

~ATức ởAĐiều kiện hạ, kết luận không thành lập. Tỷ như, nếuAĐại biểu mệnh đề “Hôm nay thứ bảy”, tắc nó ~AĐại biểu mệnh đề “Hôm nay không phải thứ bảy” hoặc “Hôm nay là Chủ Nhật, một, hai, ba, bốn hoặc năm”.

~AVì thậtĐương thả chỉ đươngAVì giả.