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


  Ουσιαστικό

επεξεργασία

contrapositive

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

  Επίθετο

επεξεργασία

contrapositive

Συγγενικά

επεξεργασία

Σημειώσεις

επεξεργασία

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

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