Tham khảo tài liệu 'qui tắc suy diễn', tài chính - ngân hàng, kế toán - kiểm toán phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Qui tắc suy diễn o - T ỈL o r - Qui Tắc Suy Diễn Trong các chứng minh toán học xuất phát từ một số khẳng định đúng p q r. tiên đề ta áp dụng các qui tắc suy diễn để suy ra chân lí của một mệnh đề h mà ta gọi là kết luận. Nói cách khác dùng các qui tắc suy diễn để chứng minh p A q A r A . h là một khẳng định đúng. T o r - Qui Tăc Suy Diên Khẳng định 1 có dạng tiên đề 1 A tiên đề 2 A . kết luận Do đó nếu chứng minh được dạng mệnh đề trên là một hằng đúng thì khẳng định 1 chăc chăn là đúng. Ta thường mô hình hóa 2 tiên đề 1 tiên đề 2 . kết luận Aristotle ca. 384-322 .
