TNT チートシート 命題計算 原子 P Q R P` Q` R` P`` Q`` R`` …… 構成規則 もし x と y が論理式ならば、次の4つもやはり論理式である。 ~x 推論規則 結合規則 もし x...