こんにちは！krです！ 今回は論理式を構成している命題の真偽に関わらず常に真となる論理式である「恒真式（恒真命題式）」について簡単に説明していきます！ 恒真式（恒真命題式）とは？ 冒頭でも説明した通り、恒真式（恒真命題式...

こんにちは！krです！今回は という方のために、pならばq、つまり「論理包含の真理値表の意味」について詳しく解説していきます！ 論理包含とは？ 論理包含は知っての通り「ならば」という意味があります。 ある２つの命題$p$...

こんにちは！krです！ 今回は離散数学や論理学で非常に重要な分野の1つである「命題論理」について簡単に説明していこうと思います！ そもそも命題とは？ 「そもそも命題って何ぞ？」って方も多いと思うので、まずは簡単に命題につ...