論理

1.

命題から別な命題を導出すること。数学の対象になります¹⁾²⁾。

(1) 数学A
仁科辰夫, シラバス, (2006).
(2) エキスパート・システム（目次）
秋田興一郎著, エキスパート・システム : 考え方・作り方・使い方, 電気書院, (1989).