Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

logika- prirodna dedukcija

Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Matematički kolegiji
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
anatomik
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 03. 05. 2012. (10:32:11)
Postovi: (20)16
Sarma = la pohva - posuda
-1 = 0 - 1

PostPostano: 19:47 sri, 9. 8. 2017    Naslov: logika- prirodna dedukcija Citirajte i odgovorite

evo u attachmentu dokaz iz prirodne dedukcije koji mi nije jasan, kao ni metoda generalno:

nije mi jasno odakle zaključak ne, ne Q, može se jedino zaključiti ne ne Q ili ne P, pa da se grana.
evo u attachmentu dokaz iz prirodne dedukcije koji mi nije jasan, kao ni metoda generalno:

nije mi jasno odakle zaključak ne, ne Q, može se jedino zaključiti ne ne Q ili ne P, pa da se grana.





dokaz iz prirodne dedukcije.pdf
 Description:

Download
 Filename:  dokaz iz prirodne dedukcije.pdf
 Filesize:  354.2 KB
 Downloaded:  217 Time(s)

[Vrh]
Korisnički profil Pošaljite privatnu poruku
Phoenix
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 15. 05. 2010. (18:46:07)
Postovi: (164)16
Sarma: -

PostPostano: 8:38 sri, 23. 8. 2017    Naslov: Re: logika- prirodna dedukcija Citirajte i odgovorite

Pretpostavka 3 bi trebala glasiti [tex]\neg Q[/tex], a ne [tex]Q[/tex]. S tom korekcijom dokaz je u redu.
Pretpostavka 3 bi trebala glasiti [tex]\neg Q[/tex], a ne [tex]Q[/tex]. S tom korekcijom dokaz je u redu.



_________________
Mario Stipčić
[Vrh]
Korisnički profil Pošaljite privatnu poruku
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Kolegiji siročići (oni koji nemaju svoj podforum) -> Matematički kolegiji Vremenska zona: GMT + 01:00.
Stranica 1 / 1.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You cannot attach files in this forum
You can download files in this forum


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan