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