Studijní materiály

Zpět

Hromadně přidat materiály

logika

KSV/0860 - Logika a metodologie vědy

Hodnocení materiálu:

Zjednodušená ukázka:

Stáhnout celý tento materiál

klad: Každý kuřák je člověk
Někteří Češi nejsou kuřáci
Někteří Češi nejsou lidé
Tady u Vennova diagramu nejsou dva křížky, nemam to tu dobře, není tam ten křížek dole!!(hned nad tím S) !!!

P M
Každý logik je filosof
S M
Někteří matematikové nejsou filosofové
S P
Někteří matematikové nejsou logikové
P a M M a P
S o M S a M
S o P S a P
Baroco Barbara
P a M P3 P a M
S o M → S a P
S o P S a M ok
Prokaž pomocí metod výrokové logiky správnost níže uvedené úvahy
tabulkovou metodou a definicí vyplývání
tabulková metoda a převedení výrazu na tautologii
metodu používanou stoiky
metodu sémantických stromů
metodu přirozené dedukce
Jestliže nezanedbávám studijní povinnosti, pak dosáhnu dobrého postavení
Jestliže zanedbávám studijní povinnosti, pak si užívám
Neužívám si
Dosáhnu dobrého postavení

ne p
q
Jestliže nezanedbávám studijní povinnosti,pak dosáhnu dobrého postavení

Stáhnout celý tento materiál

Předchozí

1 2 3

Další

Vloženo: 25.06.2010

Velikost: 131,50 kB

Stáhnout celý tento materiál

Komentáře

Tento materiál neobsahuje žádné komentáře.

Mohlo by tě zajímat:

Skupina předmětu KSV/0860 - Logika a metodologie vědy
Reference vyučujících předmětu KSV/0860 - Logika a metodologie vědy

Podobné materiály