Ấn T để tra

suy lí 

 
 

rút ra một phán đoán mới (gọi là kết luận) từ một hay nhiều phán đoán sẵn có (gọi là tiền đề): các quy tắc suy lí