Δυαδικό Predicate Παράδειγμα

Επί λογική, οι προτάσεις αποτελούνται γραμματικά από ένα θέμα, το οποίο μιλάει, και ένα υπόθεμα στο οποίο κάτι επιβεβαιώνεται για το θέμα. Για τη μελέτη της στη μαθηματική λογική, το υπόθετο είναι η δήλωση που γίνεται σε μια δήλωση και ταξινομείται σύμφωνα με τη δήλωση που επηρεάζει ένα, δύο ή περισσότερα θέματα.

Όταν ένα predicate δηλώνει ένα χαρακτηριστικό ή δράση του θέματος, ονομάζεται predicate ενιαία, μονάρη ή unary, καθώς η δήλωση περιλαμβάνει μόνο ένα θέμα (άτομο, ζώο, πράγμα ή ιδέα) και το χαρακτηριστικό της:

Ο Juan είναι έξυπνος
Η Άλις μοιάζει με μοντέλο
Ο Roberto τρώει.
Ο Χοσέ εργάζεται

Σε γραμματικό επίπεδο, τα unary κατηγορήματα είναι προνομιακές προτάσεις, στις οποίες κάτι επιβεβαιώνεται για το θέμα (δύο πρώτες προτάσεις από πάνω). καθώς και ανακλαστικές προτάσεις, δηλαδή εκείνες στις οποίες η δράση που εκτελείται εμπίπτει στο θέμα (τρίτη και τέταρτη πρόταση).

ο δυαδικές προτάσεις είναι εκείνες στις οποίες υπάρχουν δύο θέματαs, που σχετίζονται με τη δράση του ρήματος. Αυτή η σχέση μπορεί να είναι διαφόρων τύπων, και

Το κοινό χαρακτηριστικό τους είναι ότι τα δύο θέματα υπόκεινται σε μια σειρά σχέσης, που μπορεί να εκφραστεί γραμματικά με διάφορους τρόπους.

Ως σύνθετο θέμα: Όταν υπάρχει σύνθετο θέμα και η δράση του ρήματος είναι αμοιβαία μεταξύ των θεμάτων, για παράδειγμα:

Ο Carlos και η Alicia αγαπούν ο ένας τον άλλον.
Ο Roberto και ο José συναντιούνται.

Ως άμεσο αντικείμενο: Αναφέρεται στην ενέργεια που ασκείται από το θέμα σε άλλο θέμα ή αντικείμενο:

Ο Κάρλος αγαπά την Αλικία.
Ο Ρόμπερτο συναντά τον Χοσέ.

Ως συγκριτικά: Όταν συγκρίνουμε ή προσδιορίζουμε την ισότητα ενός χαρακτηριστικού ή χαρακτηριστικού του θέματος, με αυτό ενός άλλου θέματος:

Ο Κάρλος είναι ψηλότερος από την Αλικία.
Ο Roberto είναι τόσο καλός εργαζόμενος όσο ο José.

Υποδεικνύοντας μια περιστασιακή ή ιεραρχική σχέση. Δηλαδή, όταν εκφράζουμε ότι η δράση του θέματος α εκτελείται από το θέμα β, υποδεικνύοντας μια ιεραρχική σχέση:

Ναι ο Carlos θα συμβουλευτεί την Alicia.
Ο Ρομπέρτο ​​θα κάνει ό, τι διατάζει ο Κάρλος.

Ωστόσο, δεν έχουν όλες οι δηλώσεις που έχουν δύο θέματα πριν από το ρήμα ένα δυαδικό υπόθετο. Όταν το ρήμα είναι συμπαραγωγικό, αμετάβλητο ή μεταβατικό που λειτουργεί ως αμετάβλητο, εκπληρώνουν μια χαρακτηριστική συνάρτηση, οπότε αντιμετωπίζουμε ένα ενιαίο υπόθεμα:

Ο Juan και η Alicia τρέχουν.
Ο Roberto και ο José είναι ψηλοί.

Σε αυτές τις περιπτώσεις, για να διακρίνετε εάν το υπόθεμα είναι ενιαίο ή δυαδικό, είναι να σκεφτείτε εάν η δράση είναι αμοιβαία (δυαδική) ή ότι είναι κοινή, κάθε μία το κάνει από μόνο του (unary):

Ο Juan και η Alicia αγαπούν ο ένας τον άλλον (ο Juan αγαπά την Alicia και η Alicia αγαπά τον Juan, αγαπούν ο ένας τον άλλον. είναι ένα δυαδικό predicate)
Juan και Alicia τρέχουν (Juan τρέχει και Alicia τρέχει, το καθένα από μόνο του? είναι ένα ενιαίο κατηγορηματικό)

Η χρήση του στη λογική. Η χρήση δυαδικών κατηγοριών στη λογική της φόρμας σας επιτρέπει να συγκρίνετε τις ιδιότητες ή τα χαρακτηριστικά τριών ή περισσότερων ατόμων μέσω μιας σειράς συγκρίσεων. Αυτά μπορεί να είναι μεταξύ ατόμων, από καθολικά σε άτομα (αφαίρεση) ή από άτομα σε καθολικά (επαγωγή):

Τα άτομα:

Υπόθεση 1 (δυαδικό predicate): Ο Juan σχετίζεται με την Ana
Υπόθεση 2 (δυαδικό predicate): Η Ana σχετίζεται με τη Romina
Προσοχή: Ο Juan είναι συγγενής της Romina

Από το καθολικό στο ειδικό:

Υπόθεση 1 (δυαδικό predicate): Τα αιλουροειδή ανήκουν στην ομάδα των σαρκοφάγων
Υπόθεση 2 (δυαδικό predicate): Οι γάτες ανήκουν στην ομάδα των αιλουροειδών
Υπόθεση 3 (μονάδα predicate): Το Manchitas είναι μια γάτα
Προσοχή: Το Manchitas είναι σαρκοφάγο

Από άτομα σε καθολικά:

Υπόθεση 1 (μονάδα κατηγορίας): ο σκύλος μου τρώει κρέας.
Υπόθεση 2 (μονάδα κατηγορίας): Ο σκύλος του γείτονά μου τρώει κρέας.
Υπόθεση 3 (δυαδικό predicate): Τα ζώα που τρώνε κρέας αποτελούν την ομάδα των σαρκοφάγων.
Προσοχή: (Δυαδικό predicate): Τα σκυλιά ανήκουν στην ομάδα σαρκοφάγων.

10 παραδείγματα δυαδικών κατηγοριών:

1.

Η Μαριάνα είναι ψηλότερη από την Κάρμεν.
Το Marisol είναι ψηλότερο από το Mariana.
Το Marisol είναι ψηλότερο από την Carmen.

2.

Η ταινία ήταν ένα ενδιαφέρον θέμα.
Ο Ρόμπερτο είδε την ταινία.
Ο Ρομπέρτο ​​είδε ένα ενδιαφέρον θέμα.

3.

Ο Juan ακολουθεί τις εντολές του Pedro.
Ο Esteban ακολουθεί τις εντολές του Juan.
Ο Esteban ακολουθεί τις εντολές του Pedro.

4.

Το κρέας περιέχει πρωτεΐνες.
Η Josefina τρώει κρέας.
Η Josefina τρώει πρωτεΐνες.

5.

Το γράψιμο είναι μέρος μιας γλώσσας.
Η Ντανιέλα μαθαίνει να γράφει.
Η Ντανιέλα μαθαίνει να γράφει.

6.

Η λογική είναι μέρος της φιλοσοφίας.
Η φιλοσοφία θεωρείται τέχνη.
Ο Gabriel μελετά τη λογική.
Ο Gabriel μελετά τη φιλοσοφία.
Ο Gabriel μελετά μια τέχνη.

7.

Το ξυράφι χρησιμοποιεί ηλεκτρική ενέργεια.
Η ηλεκτρική ενέργεια είναι μια μορφή ενέργειας.
Το ξυράφι χρησιμοποιεί ενέργεια.

8.

Τα πουλιά είναι ζώα που πετούν.
Νυχτερίδες πετούν.
Τα νυχτερίδες είναι πουλιά.

9.

Οι δηλώσεις είναι προγνωστικά.
Ορισμένες κατηγορίες μπορεί να είναι αληθινές.
Ορισμένες κατηγορίες μπορεί να είναι ψευδείς.
Ορισμένες δηλώσεις μπορεί να είναι αληθινές.
Ορισμένες αξιώσεις μπορεί να είναι ψευδείς.

10.

Ο ήλιος εκπέμπει θερμότητα.
Η θερμότητα αυξάνει τη θερμοκρασία.
Ο ήλιος αυξάνει τη θερμοκρασία.