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

p

r
Jestliže zanedbávám studijní povinnosti, pak si užívám.
ne r
Neužívám si.
Tedy q
Dosáhnu dobrého postavení
takže : Jestliže ne p, pak q.
Jestliže p, pak r.
Ne r.
Tedy q.
( znak ~ znamená negace)
~ p → q
p → r
~ r
q
tabulka:
p
q
r
~p → q
p → r
~ r
q
~ p
1
1
1
1
1
0
1
0
1
1
0
1
0
1
1
0
1
0
1
1
1
0
0
0
1
0
0
1
0
1
0
0
0
1
1
1
1
0
1
1
0
1
0
1
1
1
1
1
0
0
1
0
1
0
0
1
0
0
0
0
1
1
0
1
zvýrazněné jedničky → taotologie, výrok je tedy dobře
2) c)
stoici
1
Jestliže ne A, pak B.
2
Jestliže A, pak C.
3
Avšak ne C.
4
Tedy B
za 1) do II. 1) A ; 2) C
2) do I. 1)ne A ; 2) B
Jestliže A, pak C.
Jestliže ne A, pak B
Avšak ne C
Avšak ne A.
Tedy ne A.
Tedy B
za 3) aplikuji II. Pravidlo na krok 1 a 2
takže:

Jestliže ne A, pak B.
Jestliže A, pak C.
Avšak ne C.
Tedy B
Zapiš výrazy pomocí predikátové logiky:
Sokrates je moudrý S ( M)
Petr je otec Jana P (O; J)
Někteří lidé nejsou moudří E x ( L(x) Λ ~ M (x) )
(To E u příkladu 3) má být zrcadlově, není tu totiž znak pro obrácené E)

Stáhnout celý tento materiál

Předchozí

1 2 3

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