LOGIKA A INTERPRETAČNÍ PROCESY
Níže je uveden pouze náhled materiálu. Kliknutím na tlačítko 'Stáhnout soubor' stáhnete kompletní formátovaný materiál ve formátu DOCX.
První věta druhá věta složená
Pravda pravda pravda
Pravda nepravda nepravda
Nepravda pravda pravda
Nepravda nepravda pravda
Disjunkce:
PRVNÍ VĚTA DRUHÁ VĚTA SLOŽENÁ VĚTA
Pravda pravda pravda
Pravda nepravda pravda
Nepravda pravda pravda
Nepravda nepravda nepravda
Exkluze:
Buď první věta nebo druhá věta
Pravda pravda nepravda
Pravda nepravda pravda
Nepravda pravda pravda
Nepravda nepravda nepravda
Negace:
Pravda nepravda
Nepravda pravda
Axiomy pro hypotetický sylogismus:
Jestliže prvé,pak druhé.
Avšak prvé.
Tedy druhé.
Modus ponens
Jestliže bude pršet, pak si vezmu deštník. p
Bude pršet. p
Vezmu si deštník. P
Jestliže prvé,pak druhé.
Avšak druhé ne.
Tedy ne prvé.
Modus tollens.
Jestliže bude pršet, vezmu si deštník. p
Nevezmu si deštník. p
Nebude pršet. P
Modus tollens.
Nikoliv prvé a druhé. p
Avšak prvé. p
Tedy ne druhé. P
Buď prvé nebo druhé.
Avšak prvé.
Tedy ne druhé.
Prvé nebo druhé.
Avšak ne druhé.
Tedy prvé.
Redukce per impossible:
Jestliže ze 2 premis plyne závěr , pak z jedné premisy a negace závěru plyne negace druhé premisy.
P1 P1
P2 NE Z
Z NE P2
PRAVIDLO ZESÍLENÍ PREMIS:
Jestliže ze 2 výroků plyne výrok třetí a současně jedna z premis plyne z jiných výroků, plyne z těchto výroků a druhé z premis závěr.
P1 P01
P2 P02
P3 P2
P1
P01
P02
P3
Pravidla pro řetězové závěry:
Jestliže P1 A P2 plyne K1
A jestliže z K1 a P3 plyne K2,
Pak K2 plyne z P1 A P2 A P3
P1 K1
P2 P3
K1 K2
P1
P2
P3
K2
PŘ.1
Jestliže Jarda nepřišel (n) ke snídani,pa je nemocný (p/n) P
Jarda přišel ke snídani. P
Jarda přišel ke snídani. P
NEGACE
VÝROK NEGACE
Prvé a druhé ne prvé a ne druhé
Prvé nebo druhé ne prvé ne druhé
Jestliže prvé,pak druhé. Prvé a ne druhé.
Buď prvé nebo druhé. Prvé,právě,když druhé.
PŘ.3.
Miluju Kláru nebo miluju Elišku.
Pokud miluju Kláru, pak miluju i Elišku.
Miluji Kláru Miluji Elišku
P p ok => Miluje Elišku
P n no
N p ok
Jestliže půjdu do školy, npůjdu do kina.
Do školy nepůjdu a půjdu do kina.
Výroková logika
Formální odvozovací systém
Syntaktická pravidla = pravidla ukazující, jak správně tvořit formule
- odvozovací pravidla
-axinomy – nejvýše spočetně mnoho
(do práce: SYLOGISMY TYPU: Někdo uškrtil…..Nemá ruku. Nemůže být vrah.)
Predikátová logika
Jazyk:
Abeceda: 1) x,y,z,x1,x2,……….,.z1,z2,…….. symboly pro individuové proměnné
2) a1,a2,…,an,………………………………………..symboly pro individuové konstanty
3) Pk,Qk,P1k,Q1k……….. symboly pro predikáty k>1 arita
(řetězce znaků)……………
4)
5)
6)
Gramatika:
TERMY: 1) každá proměnná je term
2) každá individuová konstanta je term
Správně vytvořené formule:
Atomické formule
Je-li Pk PEDIKÁTOVÝ symbol,který má arity k, d1,…., dk termy
Pak Pk (d1,…..,dk) je správně utvořená formule
Molekulární formule
Jsou li A,B, s uf ,pak i – papíry…
………………..papír