0:00
BaşlangıçMantıksal Eşdeğerlikİspat Tamamlama
Bu kanıt için eksik gerekçeleri doldurun.
Hedef: Q'yu kanıtlayın
P → Q, P ⊢ QHedef: Q ispatla
İspatı doldurmak için boş alanlara tıklayın
1.
P → Q
Önerme
2.
P
Önerme
3.
Q
Kural seçin
Satır referansları seçin