ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
形式論理
ある文が与えられ,これが正しいかどうかを論じる際に,その文の内容については無視し,形だけからの真偽の判断を下す論理.論証の中の用語の意味にかかわらない正当な論証の構成及び形式の研究.
出典:Wiktionary
formal logic (countable かつ uncountable, 複数形 formal logics)
formal logic