二項関係

論理和と論理積の結合則、交換則を推論規則から演繹しようと思って挑戦。やりながら論理式と括弧が気になってきました。そういえばどんなルールがあるのだろうと。 論理式と二項演算と括弧 論理式の定義 Wikipediaには以下のように説明されていま...