Kısaca Kiplik Mantığı Nedir?
Kiplik Mantigi
Kiplik mantigi zorunlu ve olanakli önermeleri kapsayan mantiktir.Kiplik mantiginda zorunlu eklemi ile kurulan önermelere zorunlu önerme, mümkün eklemi ile kurulan önermelere mümkün önerme denir.Zorunlu eklemi ? sembolüyle; mümkün eklemi ? sembolüyle gösterilir.Bu sembollere kiplik degismezleri denir.
Örnek: Tasin sert olmasi zorunludur.= p zorunludur = ? p
Tasin sert olmasi olanaklidir. = p mümkündür = ? p
|