Logic học
Phép tính mệnh đề
Chú ý:
Liên hệ phép kéo theo và cú pháp If P then Q trong ngôn ngữ lập trình
P,Q là 2 mệnh đề <->P là mệnh đề, Q là dãy dòng lệnh..
Ngôn ngữ hằng ngày, có sự nhầm lẫn giữa phép kéo theo và phép kéo theo hai chiều.
“Giáo viên khoa Toán dạy nghiêm túc”
Examples of Implications
president.” 1+1=6, is
“If this lecture ends, then the sun will rise tomorrow.” True or False? “If Tuesday is a day of the week, then I am a penguin.” True or False? “If then Bush True or False? “If the moon is made of green cheese, then I am richer than Bill Gates.” True or False?
Phép tính mệnh đề
Phép tính mệnh đề
Pheùp keùo theo hai chieàu:
Meänh ñeà P keùo theo Q vaø ngöôïc laïi cuûa hai meänh ñeà P vaø Q, kyù hieäu bôûi P Q (ñoïc laø “P neáu vaø chæ neáu Q” hay P khi vaø chæ khi Q” hay “P laø ñieàu kieän caàn vaø ñuû cuûa Q”), laø meänh ñeà ñöôïc ñònh bôûi: P Q ñuùng P vaø Q coù cuøng chaân trò,
Phép tính mệnh đề
