Xét phán đoán P
Xét phán đoán P ⊃⊃ Q, khi P đúng thì Q cũng Q, khi P đúng thì Q cũng đúng, khi đó P được gọi là điều kiện đủ của Q.
đúng, khi đó P được gọi là điều kiện đủ của Q.
Thông thường phán đoán này được diễn đạt dưới
Thông thường phán đoán này được diễn đạt dưới
dạng :
dạng :
+ Có P là đủ để có Q.
+ Có P là đủ để có Q.
+ Muốn có Q thì cần có P là đủ.
+ Muốn có Q thì cần có P là đủ.
+ Muốn có Q chỉ cần có P.
V - Các phép lôgíc trên phán đoánV - Các phép lôgíc trên phán đoán V - Các phép lôgíc trên phán đoán
=>
=> Tóm lại, P được gọi là điều kiện đủ của Q Tóm lại, P được gọi là điều kiện đủ của Q
khi có P thì có Q.
khi có P thì có Q.
Ví dụ :
Ví dụ : + + Nếu đốt nóng thanh sắt thì chiều dài Nếu đốt nóng thanh sắt thì chiều dài của nó tăng lên.
của nó tăng lên.
+ Đốt nóng thanh sắt là điều kiện đủ để
+ Đốt nóng thanh sắt là điều kiện đủ để
chiều dài của nó tăng lên.
chiều dài của nó tăng lên.
+ Muốn chiều dài của thanh sắt tăng lên
+ Muốn chiều dài của thanh sắt tăng lên
thì chỉ cần đốt nóng nó.
V - Các phép lôgíc trên phán đoánV - Các phép lôgíc trên phán đoán V - Các phép lôgíc trên phán đoán
-