generated at
2/18/2025, 5:18:27 PM
解釈 (論理学)
interpretation
論理式
に真偽値を対応させる関数
I: P -> B
論理式を入力に取り、Bool値を返す関数
/mrsekut-book-4007305803/036