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

a z premis, pak tentýž závěr plyne z druhé z premis a z výroků, z nichž plyne premisa první.
Pravidla pro řetězové závěry:
Jestliže z P1 a P2 plyne K1
Jestliže z K1 a P3 plyne K2
Pak z P1 a P2 a P3 plyne K2
Výroková logika – definice vyplývání
Kon.
Dis
Alternace
Ekvival
Implikace
Spojky
a
nebo
Iff
jestliže…pak
P
Q
P(Q
PQ
P(Q
(/(
P(Q
1
1
1
1
0
1
1
1
0
0
1
1
0
0
0
1
0
1
1
0
1
0
0
0
0
0
1
1
Jednoduchý výrok – predikátová logika
Přirozený jazyk
Aristotelsky
Predikátová log
1
Každý pes je savec
S a P
( x (S(x) ( P(x))
2
Žádný pes není savec
S e P
(x (S(x)( (P(x))
3
Některý pes je savec
S i P
( x (S(x) ( P(x))
4
Některý pes není savec
S e P
( x (S(x) ( ( P(x))
Tautologie
Premisy spojíme konjunkcí a vzniklý celek spojíme implikací se závěrem
Ne(P(Q)
P
(
(ne(P(Q) ( P) ( ne Q
NeQ

Stáhnout celý tento materiál

Předchozí

1 2 3

Vloženo: 25.06.2010

Velikost: 61,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