二項関係

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