contrapositive
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
| Αυτό το λήμμα χρειάζεται επιμέλεια, ώστε να ανταποκρίνεται σε υψηλότερες προδιαγραφές συντακτικής ποιότητας ή μορφοποίησης. |
|
Παρακαλούμε συμπληρώστε, τεκμηριώστε το λήμμα και βγάλτε αυτή την ετικέτα εάν θεωρείτε ότι το λήμμα ανταποκρίνεται στα κριτήρια του Βικιλεξικού. |
Αγγλικά (en)[επεξεργασία]
Ουσιαστικό[επεξεργασία]
contrapositive
- (λογική) αντιθεταντίστροφο, αντι-αντιμετάθετο, ανταντιμετάθετο
- Το αντίθετο/inverse του αντίστροφου/αντιμετάθετου/converse μιας δεδομένης λογικής συνεπαγωγής.
Επίθετο[επεξεργασία]
contrapositive
- (λογική) αντιθεταντίστροφος, αντιθεταντίστροφη, αντιθεταντίστροφο
- ανταντιμετάθετος, ανταντιμετάθετη, ανταντιμετάθετο
- Το αντίθετο/inverse του αντίστροφου/αντιμετάθετου/converse μιας δεδομένης λογικής συνεπαγωγής.
Συγγενικά[επεξεργασία]
- contraposition αντιθεταντιστροφή
Σημειώσεις[επεξεργασία]
Στη λογική (πεδίο μελέτης), το converse - αντίστροφο και το inverse - αντίθετο μιας υπό συνθήκη δήλωσης "Αν P τότε Q" ορίζονται ως εξής:
- converse - αντιμετάθετο - αντίστροφο: Η αντιστροφή μιας δήλωσης ανταλλάσσει την υπόθεση και το συμπέρασμα. Έτσι, το αντίστροφο της πρότασης "Αν P τότε Q" είναι "Αν Q τότε P"¹³⁴.
- inverse - αντίθετο: Το αντίθετο μιας δήλωσης αναιρεί τόσο την υπόθεση όσο και το συμπέρασμα. Επομένως, το αντίθετο του "Αν P τότε Q" είναι "Αν όχι P τότε όχι Q"¹³⁴.