phép suy lí logic gồm ba vế, từ hai mệnh đề (gọi là tiền đề) rút ra mệnh đề thứ ba (gọi là kết luận).