logika- prirodna dedukcija
Select messages from
 # through # FAQ
[/[Print]\]

Forum@DeGiorgi -> Matematički kolegiji
#1: logika- prirodna dedukcija Autor/ica: anatomik,  PostPostano: 19:47 sri, 9. 8. 2017
    —
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:  222 Time(s)
#2: Re: logika- prirodna dedukcija Autor/ica: Phoenix,  PostPostano: 8:38 sri, 23. 8. 2017
    —
Pretpostavka 3 bi trebala glasiti [tex]\neg Q[/tex], a ne [tex]Q[/tex]. S tom korekcijom dokaz je u redu.
Forum@DeGiorgi -> Matematički kolegiji


output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Stranica 1 / 1.

Powered by phpBB © 2001,2002 phpBB Group
Theme created by Vjacheslav Trushkin