9. Sınıf Mantık Bağlaçları ve Niceleyicilerin Matematiksel İspat ve Algoritmalardaki İşlevleri Nedir? Test 1

2. Bir algoritmanın doğruluğunu ispatlarken "Eğer P doğru ise, o zaman Q da doğrudur" ifadesi hangi mantık bağlacı ile temsil edilir?

A) P ∧ Q
B) P ∨ Q
C) P → Q
D) P ↔ Q