Ονόματα λογικών πράξεων

Από Βικιεπιστήμιο
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση

Πρόταση: Θα μπορούσαμε να αντιστοιχίσουμε τις εξής λέξεις στις λογικές πράξεις:

  • σύζευξη: και
  • διάζευξη: ή
  • αποκλειστική διάζευξη: είται
  • αναστολή: άνω
  • αντίθετο της διάζευξης: ούται
  • αντίθετο της σύζευξης: μήτε
  • ισοδυναμία: όταν (χρησιμοποιείται ήδη το ανν κατά το αγγλικό iff)
  • συνεπαγωγή (δεξί βέλος): άρα
  • συνεπαγωγή (αριστερό βέλος): άν