Logika pre Informatikov - LPI

[buhehe]

ja som schytal uplne z 1. prednasky a 1.cvika...neukamenujte ma
T: Struktura logickeho systemu (je to na jednom slide)
P: Dokazte ze dana formula je/nie je tautologia (stacilo tabulkovou metodou kedze tam boly len 3 atomy) :D

[sri]

Naozaj nikto nema nejake priklady alebo naskenovane cvika? Alebo staci tych par prikladov co su v prednaskach?

[Killian]

Tiez by sa mi zisli... Sice som chodil na cvika (s Lalovou), ale v zosite mam nejaky chaos...

[buhehe]

Sice som chodil na cvika (s Lalovou), ale v zosite mam nejaky chaos...

to je stabilna pravda?

[Dominico]

T: Predikatova logika 1. radu
P: Dokazat naturalnou dedukciou β /\ α → α /\ β

[sri]

T: Kalkuly. Vlastnosti intuicionistickej logiky
D: Dokaz v naturalnej predikatovej (? ak take nieco je, boli tam kvanifikatory)

[roman5555]

ma niekto aj nejaky tahacik

[sri]

ma niekto aj nejaky tahacik

http://www.upnito.sk/subor/abd821068fa949dfc5cf1b7d297e83b1.html

[roman5555]

dakujem velmi pekne 

[roman5555]

cize skuska je o 9:00 ??

[trek]

hej

[ApokalypS]

jj, spolocne zo SPJ