形式論理学 論理記号と演算子の類似性【形式論理学9】 論理学を学ぶ記事です. 本記事では,論理演算について説明します. 論理和 \(A \lor B\)の真理表を以下に記します. \(A\)\(B\)\(A \lor B\)111101011000 これは,1と1を演算して1,1と0を演算して... 2023.03.26 形式論理学
形式論理学 連言と選言【形式論理学3】 数学の学び直しの記事です. 本記事では,命題論理の連言と選言について考察します. 連言 連言とは,命題\(A\)かつ命題\(B\),ということです. たとえば,「\(3\)は奇数であり,かつ素数である」などの命題です. 「\(3\)は奇数で... 2020.09.01 形式論理学