１０年ぶりの数学少年の部屋

「数学が好きです」と堂々と言えるほどのレベルではないのですが面白いと思ったものを自由に投稿しています

// // 以下の論理式が恒真式であることを，真偽表によって示せ． \(\left( \left( \phi \to \psi \right) \to \phi \right) \to \phi \) ★誰しも悩む「仮定が偽ならば命題は真」★