powerpoint presentationnasport.pmf.ni.ac.rs/materijali/2105/ls-p04racun l.pdf · primenom pravila...
TRANSCRIPT
![Page 1: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/1.jpg)
![Page 2: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/2.jpg)
![Page 3: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/3.jpg)
1.
1.
2.
![Page 4: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/4.jpg)
![Page 5: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/5.jpg)
2.
![Page 6: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/6.jpg)
F
Navešćemo teoreme iskaznog računa koje se koriste u dokazu kompletnosti:
![Page 7: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/7.jpg)
4.
![Page 8: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/8.jpg)
delu teoreme
![Page 9: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/9.jpg)
prethodnom 3.
delu teoreme 4
delu teoreme
deo teoreme
delu teoreme 4
delu teoreme 4
![Page 10: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/10.jpg)
5.
5
![Page 11: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/11.jpg)
7.
4 pod7
4
8.
![Page 12: PowerPoint Presentationnasport.pmf.ni.ac.rs/materijali/2105/LS-P04Racun L.pdf · Primenom pravila modus ponens clobija se T B A. U treéem sluéaju je A —+ A, pa i T A A, tj. T](https://reader034.vdocuments.site/reader034/viewer/2022050404/5f81dfdb0a1f8f5363610c7a/html5/thumbnails/12.jpg)
7.
već dokazanim tvrđenjima imamo da
4.7
dokazanom