contrapositive

Αυτό το λήμμα χρειάζεται επιμέλεια, ώστε να ανταποκρίνεται σε υψηλότερες προδιαγραφές συντακτικής ποιότητας ή μορφοποίησης.

Αυτή η σελίδα μπήκε στον κατάλογο των σελίδων που χρειάζονται επιμέλεια και έλεγχο Παρακαλούμε συμπληρώστε, τεκμηριώστε το λήμμα και βγάλτε αυτή την ετικέτα εάν θεωρείτε ότι το λήμμα ανταποκρίνεται στα κριτήρια του Βικιλεξικού.

Αγγλικά (en)

Ουσιαστικό

contrapositive

• (λογική) αντιθεταντίστροφο, αντι-αντιμετάθετο, ανταντιμετάθετο

  Το αντίθετο/inverse του αντίστροφου/αντιμετάθετου/converse μιας δεδομένης λογικής συνεπαγωγής.

Επίθετο

contrapositive

• (λογική) αντιθεταντίστροφος, αντιθεταντίστροφη, αντιθεταντίστροφο
• ανταντιμετάθετος, ανταντιμετάθετη, ανταντιμετάθετο

  Το αντίθετο/inverse του αντίστροφου/αντιμετάθετου/converse μιας δεδομένης λογικής συνεπαγωγής.

Συγγενικά

• contraposition αντιθεταντιστροφή

Σημειώσεις

Στη λογική (πεδίο μελέτης), το converse - αντίστροφο και το inverse - αντίθετο μιας υπό συνθήκη δήλωσης "Αν P τότε Q" ορίζονται ως εξής:

• converse - αντιμετάθετο - αντίστροφο: Η αντιστροφή μιας δήλωσης ανταλλάσσει την υπόθεση και το συμπέρασμα. Έτσι, το αντίστροφο της πρότασης "Αν P τότε Q" είναι "Αν Q τότε P"¹³⁴.
• inverse - αντίθετο: Το αντίθετο μιας δήλωσης αναιρεί τόσο την υπόθεση όσο και το συμπέρασμα. Επομένως, το αντίθετο του "Αν P τότε Q" είναι "Αν όχι P τότε όχι Q"¹³⁴.