3

複雑な...または文の翻訳を行うのにいくつかの困難があります。

これらの文字で：

~  Negation
V  Disjunction
&  Conjunction

私は翻訳して理解しようとしています、例えば：

「ジョンもメアリーもジムもケアリーの前にも立っていない」

「eもaもcの右側にない」の翻訳が成功すると、次のように翻訳されると言われています。〜（RightOf（e、c）V RightOf（e、c））

「チョコレートもバニラも好きではない」という翻訳をするだけではどうでしょうか。

〜（Like（chocolate）V Like（Vanilla））

考えてみてください。

4

1 に答える 1

1

@Nickolodeonが言ったように、ド・モルガンの法則「どちらでもない/どちらでもない」ステートメントを理解するための鍵です。法律は少し怖いように見えるかもしれませんが、それらは非常に自然な解釈をしています。「PでもQでもない」という形式のステートメントは、自然な文がそのように形成されていないため、扱いが少し難しい場合があります。ただし、「PでもQでもない」は「Pの場合ではなく、Qの場合でもない」と言い換えることができます。「チョコレートもバニラも好きではない」などの自然な文章があれば、「チョコレートが好きなわけではなく、バニラが好きなわけでもない」という形に書き直すことができます。次に、「チョコレートが好き」という文がPの役割を果たし、「バニラが好き」がQの役割を果たしていること、そして私たちの文が実際に「PでもQでもない」という形式であることがわかります。しかし、「〜P＆〜Q」の記号で書くことができる「Pの場合ではなく、Qの場合でもない」という定式化に固執しましょう。PとQの両方が偽であると主張することは、どちらも真ではないと主張することと同じです。これは、「PとQの少なくとも1つが真であるとは限らない」と再定式化できます。これは、「PとQの少なくとも1つが真である」の否定です。記号では「〜（PVQ）」です。これはド・モルガンの法則の1つであり、真理値表で検証することもできます。「〜PV〜Q」は「〜（P＆Q）」と同等であるという他の法則の背後にも同様の理由があります。PとQの両方が偽であると主張することは、どちらも真ではないと主張することと同じです。これは、「PとQの少なくとも1つが真であるとは限らない」と再定式化できます。これは、「PとQの少なくとも1つが真である」の否定です。記号では「〜（PVQ）」です。これはド・モルガンの法則の1つであり、真理値表で検証することもできます。「〜PV〜Q」は「〜（P＆Q）」と同等であるという他の法則の背後にも同様の理由があります。PとQの両方が偽であると主張することは、どちらも真ではないと主張することと同じです。これは、「PとQの少なくとも1つが真であるとは限らない」と再定式化できます。これは、「PとQの少なくとも1つが真である」の否定です。記号では「〜（PVQ）」です。これはド・モルガンの法則の1つであり、真理値表で検証することもできます。「〜PV〜Q」は「〜（P＆Q）」と同等であるという他の法則の背後にも同様の理由があります。また、真理値表で検証することもできます。「〜PV〜Q」は「〜（P＆Q）」と同等であるという他の法則の背後にも同様の理由があります。また、真理値表で検証することもできます。「〜PV〜Q」は「〜（P＆Q）」と同等であるという他の法則の背後にも同様の理由があります。

多くの論理文は、述語の観点から定式化できます。これは、私たちが行う個々のステートメント（現在は述語と呼びます）と私たちがステートメントを作成するオブジェクトを明確に区別するのに役立ちます。たとえば、「チョコレートが好きなわけではなく、バニラが好きなわけでもない」という別の翻訳方法は、「〜L（チョコレート）＆〜L（バニラ）」です。ここで、「L（ x）」は「私はxが好き」を意味します。これで、文の構造がより明確になりました。同じアサーションを作成していますが、2つの異なるオブジェクトについてです。述語を使用すると、ステートメントをより柔軟に操作できますが、古いルール（De Morganのルールなど）は引き続き適用されるため、その文を「〜（L（chocolate）VL（vanilla））」に書き換えることは引き続き有効です。

さて、まず、ジョンとメアリーについての声明として、「ジョンもメアリーもジムもケアリーの前にも立っていない」と考えてみましょう。その場合、述語はF（X）です。「Xはジムまたはケアリーのいずれかの前に立っています」、最初に文を「ジョンがジムまたはケアリーのいずれかの前に立っているわけではありません。メアリーがジムまたはケアリーの前に立っているわけではありません。これは、記号では「〜F（ジョン）＆〜F（メアリー）」になります。必要に応じて、代わりに、述語G（X、Y）を使用して、この文を4人すべての相対的な位置に関するステートメントと見なすことができます。「XはYの前に立っています」。次に、「Xはジムまたはケアリーの前に立っている」と言い換えることができます。これは「Xはジムの前に立っている、またはXはケアリーの前に立っている」と書き直すことができます。「G（X、Jim）VG（X、Cary）」になり、文全体が「〜（G（John、Jim）VG（John、Cary））＆〜（G（Mary、Jim）VG（Mary、ケアリー））」。ここで、ド・モルガンの法則を使用して（最初に最も内側のステートメントのそれぞれで、次に最も外側のステートメントで）結果を確認し、結果のステートメントが同じことを表現していることを「確認」してみてください。

于 2011-03-05T02:01:19.400 に答える