t_wの輪郭

二宮崇スコーレム化スコーレム関数論理的同値関係伴意関係伴意一階述語論理の融合法命題論理の融合法融合法連言標準形
「一番外側の全称限量子は省略されることが多い」