Bir argümanda öncüllerin doğru ve argümanın geçerli olması durumunda, argüman için aşağıdaki kavramlardan hangisi kullanılır?