Sembolik Mantık
Sembolik Mantık SUNU İndir
MANTIK DEĞİŞMEZLERİ
|
1.Ʌ (Tümel evetleme) “Ali zeki ve çalışkandır” ρ Ʌ q "ve" sözcüğü yanında "hem...hem", "da...da", "ile"
2.V(Tikel evetleme) “Ali zeki veya çalışkandır” ρ V q "veya" , "ya da" sözcüğü yanında "ya...ya", "yahut"
|
Ve |
|
Veya |
|
|
3. →(Koşul eklemi) ise “Ali çalışır ise üniversiteyi kazanır” ρ → q "ise" sözcüğü yanında "yeter ki", "için...gereklidir", "koşuldur"
|
İse |
|
4. ↔(Karşılıklı koşul) ancak ve ancak “Ali ancak ve ancak çalışırsa üniversiteyi kazanır.” ρ ↔ q "ancak ve ancak" sözcüğü yanında "gerekli ve yeterli koşul", "tek koşullu", "birbirini gerektiren"
5. ˜ Değil Ali zeki değildir. ˜p |
Ancak ve ancak |
|
Değildir |