Bir argümanın öncüllerinin doğru olması ve sonucu mantıksal olarak zorunlu kılması durumunda bu argüman için aşağıdaki kavramlardan hangisi kullanılır?
