- Σύνδεσμος:
Ένας σύνδεσμος, ή λογικό ΚΑΙ, είναι μια σύνθετη πρόταση που σχηματίζεται από την ένωση δύο ή περισσότερων προτάσεων με τη λέξη "και". Η πρόταση είναι αληθής όταν όλες οι συστατικές προτάσεις είναι αληθείς, και ψευδής διαφορετικά.
Για παράδειγμα:
Εάν η πρώτη πρόταση είναι "Έχει ηλιοφάνεια σήμερα" και η δεύτερη πρόταση είναι "Έξω είναι ζεστό", τότε ο σύνδεσμος "Είναι ηλιόλουστος και ζεστός σήμερα" ισχύει μόνο εάν και οι δύο προτάσεις είναι αληθείς.
- Διάσπαση:
Ένας διαχωρισμός, ή λογικό OR, είναι μια σύνθετη πρόταση που σχηματίζεται από την ένωση δύο ή περισσότερων προτάσεων με τη λέξη "ή". Η πρόταση είναι αληθής όταν τουλάχιστον μία από τις προτάσεις είναι αληθής.
Για παράδειγμα:
Εάν η πρώτη πρόταση είναι "Είναι ηλιοφάνεια σήμερα" και η δεύτερη πρόταση είναι "Έξω έχει συννεφιά", τότε ο διαχωρισμός "Έχει ηλιοφάνεια ή συννεφιά σήμερα" είναι αληθής εάν κάποια από τις προτάσεις είναι αληθής.