離散数学と論理 I(命題論理と述語論理)

真理値表・論理同値・ド・モルガンの法則・含意と対偶、∀∃の量化子、恒真式や充足可能性といった、あらゆる論理の土台になる命題論理と述語論理を学びます。