論理的同値性
論理的同値性(logical equivalence)
確認用
Q. 論理的同値性
参考
2022年度 数理論理学 講義資料(4)
logical equivalence in nLab
関連
#論理学