Bir gerektirme (koşullu önerme) ancak ve ancak hangi durumda totoloji olur?
A) Ön bileşen yanlışken art bileşen doğru olduğunda
B) Ön bileşen doğru, art bileşen yanlış olduğunda
C) Ön bileşenin doğru olduğu her durumda art bileşen de doğru olduğunda
D) Ön bileşen ve art bileşen her zaman aynı doğruluk değerine sahip olduğunda