バイナリ述語の例

オン 論理、文は文法的に、話している主語と、その主語について何かが肯定される述語で構成されています。 数理論理学の研究では、述語は、ステートメントで作成され、1つ、2つ、または複数のサブジェクトに影響を与えるステートメントに従って分類されるステートメントです。

述語が主語の特徴または行動を述べるとき、それは述語と呼ばれます ユニタリ、モナリ、または単項、ステートメントには単一の主題（人、動物、物、またはアイデア）とその属性のみが含まれるため：

フアンは賢い
アリスはモデルのように見えます
ロベルトは食べる。
ホセは働きます

文法レベルでは、単項述語は形容詞的動詞であり、主語について何かが肯定されます（上から最初の2つの文）。 反省文、つまり、実行されたアクションが主語に該当する文（3番目と4番目の文）も同様です。

ザ・ バイナリセンテンスは、2つの主題があるものですs、動詞の動作を通じて関連付けられます。 この関係にはいくつかの種類があり、 彼らの共通の特徴は、2つの主題が関係の順序に従うということです、さまざまな方法で文法的に表現できます。

複合科目として：複合主語があり、動詞の動作が主語間で相互に作用する場合、例：

カルロスとアリシアはお互いを愛しています。
ロベルトとホセが出会う。

直接目的語として：サブジェクトが別のサブジェクトまたはオブジェクトに対して実行するアクションを指します。

カルロスはアリシアが大好きです。
ロベルトはホセと出会う。

比較として：サブジェクトの属性または特性の同等性を別のサブジェクトのそれと比較または確立する場合：

カルロスはアリシアより背が高い。
ロベルトはホセと同じくらい優秀な労働者です。

状況的または階層的な関係を示す. つまり、サブジェクトaのアクションがサブジェクトbによって実行されることを表現すると、階層関係が示されます。

はい、カルロスはアリシアに相談します。
ロベルトはカルロスが注文したことをします。

ただし、動詞の前に2つの主語があるすべてのステートメントに、バイナリ述語があるわけではありません。 動詞がコピュラ、自動詞、または自動詞として機能する他動詞である場合、それらは形容詞的機能を果たします。したがって、単一の述語に直面しています。

フアンとアリシアが走る。
ロベルトとホセは背が高い。

これらの場合、述語がユニタリであるかバイナリであるかを区別することは、アクションが逆数（バイナリ）であるか、それとも一般的であるかを考えることです。

フアンとアリシアはお互いを愛しています（フアンはアリシアを愛し、アリシアはフアンを愛しています。彼らはお互いを愛しています。 バイナリ述語です）
フアンとアリシアが走る（フアンとアリシアが走る、それぞれが独自に走る。 単一述語です）

ロジックでの使用. フォームロジックでバイナリ述語を使用すると、一連の比較を通じて3人以上の人の資質または属性を比較できます。 これらは、個人間、普遍から個人へ（演繹）、または個人から普遍へ（演繹）である可能性があります。

個人：

前提1 （バイナリ述語）：JuanはAnaに関連しています
前提2 （バイナリ述語）：AnaはRominaに関連しています
結論： フアンはロミナの親戚です

普遍的なものから特定のものへ：

前提1 （バイナリ述語）：ネコは肉食動物のグループに属しています
前提2 （バイナリ述語）：猫はネコのグループに属しています
前提3 （ユニット述語）：Manchitasは猫です
結論： Manchitasは肉食動物です

個人から普遍へ：

前提1 （ユニット述語）：私の犬は肉を食べます。
前提2 （ユニット述語）：隣人の犬が肉を食べます。
前提3 （バイナリ述語）：肉を食べる動物は肉食動物のグループを形成します。
結論： （バイナリ述語）：犬は肉食動物のグループに属しています。

バイナリ述語の10の例：

1.

マリアナはカルメンより背が高い。
マリソルはマリアナより背が高い。
マリソルはカルメンより背が高い。

2.

その映画は興味深い主題でした。
ロベルトはその映画を見た。
ロベルトは興味深いトピックを見ました。

3.

フアンはペドロの命令に従います。
エステバンはフアンの命令に従います。
エステバンはペドロの命令に従います。

4.

肉にはたんぱく質が含まれています。
Josefinaは肉を食べます。
Josefinaはタンパク質を食べます。

5.

書くことは言語の一部です。
ダニエラは書くことを学びます。
ダニエラは書くことを学びます。

6.

論理は哲学の一部です。
哲学は芸術と見なされます。
ガブリエルは論理を研究しています。
ガブリエルは哲学を研究しています。
ガブリエルは芸術を研究しています。

7.

かみそりは電気を使います。
電気はエネルギーの一形態です。
かみそりはエネルギーを使用します。

8.

鳥は飛んでいる動物です。
コウモリが飛ぶ。
コウモリは鳥です。

9.

ステートメントは述語です。
一部の述語は真になる可能性があります。
一部の述語は偽である可能性があります。
いくつかの記述は正しいかもしれません。
一部の主張は誤りである可能性があります。

10.

太陽は熱を発します。
熱は温度を上げます。
太陽は気温を上げます。