Logic học là gì?

LG biện chứng, LG hình thức và LG toán

LG lưỡng trị, LG đa trị và LG mờ

LG cổ điển và LG phi cổ điển

A, B, C đều đúng

Hai TT không thể cùng sai

Hai TT, trong đó, nếu TT này đúng thì TT còn lại sai

Hai TT, trong đó, nếu TT này sai thì TT còn lại đúng

Hai TT, trong đó, nếu TT này đúng thì TT kia sai, và nếu TT này sai thì TT kia đúng

QL Phi mâu thuẫn

QL Loại trừ cái thứ ba

QL Đồng nhất

QL Lý do đầy đủ

Phép bác bỏ gián tiếp

Phép bác bỏ trực tiếp

Phép chứng minh phản chứng

Phép chứng minh loại trừ

Ý niệm

Khái niệm

Suy tưởng

Phán đoán

NH càng sâu thì ND càng rộng, NH càng cạn thì ND càng hẹp

NH càng cạn thì ND càng rộng, NH càng sâu thì ND càng hẹp

NH càng rộng thì ND càng sâu, NH càng hẹp thì ND càng sâu

NH càng hẹp thì ND càng cạn, NH càng rộng thì ND càng sâu

Cân đối, rõ ràng, liên tục, nhất quán

Cân đối, chính xác, rõ ràng

Không thừa, không thiếu, không luẩn quẩn, liên tục, nhất quán

Không thừa, không thiếu, không luẩn quẩn, rõ ràng, nhất quán

Liệt kê các KN lệ thuộc trong KN được lệ thuộc

Vạch ra các KN cấp hạng trong KN cấp loại được phân chia

Làm rõ ngoại diên KN được phân chia

Làm rõ nội hàm KN được phân chia

S+ ; P+

S+ ; P-

S- ; P+

S- ; P-

A → O ; ~I → ~E

A ↔ ~O ; O → ~A

A → ~E ; O ↔ ~A

~I ↔ E? ; ~O ↔ A?