数学原論(すうがくげんろん、仏: Éléments de mathématique)は、数学者集団ニコラ・ブルバキ (Nicolas Bourbaki) による数学に関する専門書である。2016年現在11の部門からなり、各部門が1つあるいは複数の章に分かれている。最初の巻はエルマン (Hermann)
原子論理式
の原子論理式を示し、次に論理式から論理式を形成するルールを与えるという帰納的な方法によって定義される(再帰的定義)。複数の原子論理式から構成される論理式を複合論理式という。 例として命題論理に関する論理式の定義を示す 任意の命題変数 p は論理式(かつ原子論理式)である 任意の論理式 A が与えられたとき、その否定
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented