>>789
数学における演繹とは、ある論理式から推論規則によって新たな論理式を得る操作のことを言うかと思いますけど、それとは異なる意味ですか?