Crowdly
Додати до Chrome
Duotas išvedimas: Ar jis yra teisingas?
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Duotas išvedimas:
| 1. | p ⇒ q | (prielaida) |
| 2. | ¬p | (prielaida) |
| 3. | p | (laikina prielaida) |
| 4. | q | (1, 3, ⇒E) |
| 5. | ⊥ | (2, 3, ¬E) |
| 6. | q | (5, ⊥E) |
Ar jis yra teisingas?
0%
0%
0%
0%
0%
0%
0%