Kısaca Kiplik Mantığı Nedir?
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
(atanjumusul)