| Sembolik İfade | Sözel İfade |
| ∧ | ve |
| ∨ | veya |
| ∨ | Ya da |
| ⟹ | İse |
| ⟺ | Ancak ve Ancak |
Sözel İfadenin Sembolik İfadeye Dönüştürülmesi
Sözel olarak verilen bir önerme; sembolik mantık dilinde yazılırken;
- Sözel ifadede bulunan matematiksel sembol, kavram ve bağlaçlar belirlenir.
- Daha sonra sözel olarak verilen önerme, sembolik mantık dilinde yazılır.
Sembolik İfadenin Sözel İfadeye Dönüştürülmesi
Sembolik mantık dilinde verilen bir önerme, sözel olarak ifade edilmeye çalışırken;
- Sembolik ifade edilen sembol, kavram, ve bağlaçlar belirlenir.
- Daha sonra sembolik olarak verilen önerme, sözel olarak yazılır.
Örnek
Sözel İfade: Matematik öğretmeni Emre’nin sorusunu Gürkan veya Ekin yanıtlamış ise Erdem ve Mert sınavdan geçmiştir.
Sembol İfadesi:
- p: Matematik öğretmeni Emre’nin sorusunu Gürkan yanıtladı.
- q: Matematik öğretmeni Emre’nin sorusunu Ekin yanıtladı.
- s: Erdem sınavdan geçti.
- r: Mert sınavdan geçti.
