0:00
OrtaMantıksal Eşdeğerlikİspat Tamamlama

Aşağıdaki kanıtı tamamlayın:

  1. P → Q (Önerme)
  2. Q → R (Önerme)
  3. P (Önerme)
  4. _____ (?)
  5. _____ (?)

Hedef: R'yi kanıtlayın

P → Q, Q → R, P ⊢ R

Hedef: R ispatla

İspatı doldurmak için boş alanlara tıklayın

1.
P → Q
Önerme
2.
Q → R
Önerme
3.
P
Önerme
4.
Q
Kural seçin
Satır referansları seçin
5.
R
Kural seçin
Satır referansları seçin