Lịch sử logic học
Frege và Begriffsschrift năm 1879: ngày logic hiện đại ra đời
Begriffsschrift của Frege (1879) lần đầu đưa ra lượng từ, biến, hàm và hệ tiên đề rõ ràng cho suy luận, nên được coi là mốc ra đời của logic vị từ hiện đại.
Lịch sử logic học
Begriffsschrift của Frege (1879) lần đầu đưa ra lượng từ, biến, hàm và hệ tiên đề rõ ràng cho suy luận, nên được coi là mốc ra đời của logic vị từ hiện đại.
Logic trong lời nói hằng ngày
Câu "tất cả… không…" có hai cách hiểu: không ai (∀x ¬P) và không phải tất cả (¬∀x P). Viết "không… nào" hoặc "không phải… nào cũng" để hết mơ hồ.