Phép Phủ định Phép Hội Phép Tuyển

Phép phủ định.

Phép phủ định là thao tác lôgíc nhờ đó tạo ra phán đoán mới có giá trị lôgíc ngược với giá trị lôgíc của phán đoán ban đầu.

Ví dụ : Phủ định phán đoán : Trời mưa,

ta được phán đoán : Trời không mưa.

Với mọi phán đoán P, ta có thể thiết lập phán đoán KHÔNG PHẢI P gọi là PHỦ ĐỊNH PHÁN ĐOÁN P, ký hiệu là : P, đọc là : không P.

Thay các ký hiệu (Đ) và (S) bằng các ký hiệu (1) và (0) ta có thể viết bảng chân lý phép phủ định như sau :

Đôi khi để cho tiện trình bày, dãy giá trị của mỗi phán đoán được trình bày thành một hàng ngang. Lúc đó bảng chân lý trên đây có thể được viết thành :

Ví dụ : - Đồng dẫn điện (P) : đúng

- Đồng không dẫn điện (P) : sai

Phủ định phán đoán P ta được phán đoán P, đọc là : không phải không P. Phán đoán P có giá trị lôgíc ngược với phán đoán P và tương đương lôgíc với phán đoán P.

P = P

Ví dụ : - Đồng dẫn điện (P) : đúng.

- Đồng không dẫn điện (P) : sai

- Không phải đồng không dẫn diện P : đúng

Từ khóa » Phép Tuyển Chặt