Crowdly
Add to Chrome
Duotas išvedimas: Ar jis yra teisingas?
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
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%