Wikipedia:査読依頼/命題論理 20060513

命題論理 - ノート[編集]

組み合わせ数学に引き続き英語版からの翻訳(一部省略・改変)をしました。さらになじみの薄い話題で訳語の選択に不安があるのでチェックをお願いします。(たとえばModus ponensは「含意除去」でよかったでしょうか?)それ以前に間違っているところやわかりにくいところなどありましたらご指摘ください。--Makotoy 2006年5月13日 (土) 08:34 (UTC)[返信]