▪ Ο σύνδεσμος «ή»

Γνωρίζουμε ότι:

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

Για να δηλώσουμε ότι ένας τουλάχιστον από τους α και β είναι ίσος με το μηδέν, γράφουμε α = 0 ή β = 0. Έτσι, έχουμε την ισοδυναμία

α · β = 0 ⇔ α = 0 ή β = 0 

Γενικά:

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

Ο ισχυρισμός «P ή Q» λέγεται διάζευξη των P και Q .