Nghĩa chính
- Thủ tục để "loại bỏ" các giả định khỏi một suy luận, khiến chúng trở thành tiền đề của kết luận; hoặc ngược lại. Về mặt biểu tượng, sự chuyển đổi một suy luận có dạng P,A⊢C thành một suy luận có dạng P⊢A→C hoặc ngược lại, trong đó ⊢ là ký hiệu cửa quay. Hiệu lực của quy trình là một siêu định lý của lý thuyết logic đã chodanh từA procedure for "discharging" assumptions from an inference, causing them to become antecedents of the conclusion; or vice versa. Symbolically, the conversion of an inference of the form P,A⊢C to an inference of the form P⊢A→C or vice versa, where ⊢ is the turnstile symbol. The validity of the procedure is a metatheorem of the given logical theory.
Dạng từ (word form)
theo quy tắc (regular)- deduction theoremDạng gốc (base form)
- deduction theoremsSố nhiều (plural)
Ví dụ
- : "" "" , , "" " " .
Họ từ (word family)
Từ liên quan (related word)