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

(atanjumusul)