コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

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

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