GEB 字形的数論(TNT)チートシート - Qiita

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