Tautologija
#fax #math #ds1 [deo iskazne logike]
Def. Formula
Važne tautologije: Ekvivalentne formule
Primer 1: Pomoću istinosne tablice dokazati da je formula
tautologija.
Rešenje:
| p | q | r | |||||
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
Primer 2: Metodom svođenja na apsurd dokazati da je formula
tautologija.
Rešenje:
Primer 3: Pomoću diskusije po iskaznom slovu dokazati da je formula
tautologija.
Rešenje:
