Professional Documents
Culture Documents
Logika
Logika
p ∧ q
1) 1 1 1 pravdivý výrok
2) 1 0 0 nepravdivý výrok
3) 0 0 1 nepravdivý výrok
4) 0 0 0 nepravdivý výrok
p ∨ q
1) 1 1 0
2) 1 1 1
3) 0 1 0
4) 0 1 1
MŮŽU SI ČÍST KNÍŽKU V PARKU
● IMPLIKACE
○ Spojka JESTLIŽE – PAK, POKUD – PAK, KDYKOLI – PAK
○ Jestliže se stihnu včas naučit, pak půjdu do kina
p ⇒ q
1 1 1
1 0 0
0 1 1
0 1 0
○ Jestliže bude svítit sluníčko, pak se půjdeme projít.
● EKVIVALENCE
○ Lze provést prostý obrat
○ JEN TEHDY KDYŽ, PRÁVĚ TEHDY KDYŽ
○ Pepa půjde do školy, právě tehdy když mu bude 6 let
■ Lze je vyměnit mezi sebou
p ⇔ q
1 1 1
1 0 0
0 0 1
0 1 0
○ Půjdu do školy právě tehdy, až bude 8 hodin ráno.
● Přijde Petr nebo Pavel ? – disjunkce (nevylučující)
● Jestliže bude dopoledne svítit slunce, pak odpoledne bude krásně teplo -
implikace
● Ankara je nebo není hlavní město Turecka - disjunkce
● Koupím si auto tehdy, až budu mít dost peněz. - ekvivalence
● Když prší, ulice jsou mokré - implikace
● Až pan Svoboda doplatí hypotéku, tak si vezme leasing na auto – implikace
● PREDIKÁTOVÁ LOGIKA
○ Logika, která se zabývá výroky, ale především vztahem mezi subjektem a predikátem
○ Zabývá se kvalitou a kvantitou výroků
○ Praha je město
○ Soudy dělíme:
■ Dle kvality
● KLADNÉ
● ZÁPORNÉ
■ Dle kvantity
● OBECNÉ
● ČÁSTEČNÉ
■ Kombinace kvality a kvantity :
■ SOUDY
● 1) SOUD OBECNÝ KLADNÝ
○ S (subjekt ) a P (predikát) - > vztah mezi subjekem i predikátem
■ A affirmo tvrdím, potvrzuji
■ N nego popírám
○ Důležité to že jsou všichni a že to udělali = S a P ( všechna S jsou P)
○ Je kladný všichni žáci prvního ročníku, udělali přijímací zkoušku
● 2) SOUD ČÁSTEČNÝ KLADNÝ
○ Některé ženy jsou pravdivé
○ Některá S jsou P S i P
● 3) SOUD OBECNÝ ZÁPORNÝ
○ Všichni záporní něco vyvracím
○ Všechna S nejsou P ( žádné S není P) => S e P
○ Žádný student prvního ročníku nemluví japonsky
● SOUD ČÁSTEČNÝ ZÁPORNÝ
○ Někdo, záporný
○ Někteří studenti nejsou zodpovědní
○ ( některá S nejsou P) S o P
IMPLIKACE - Z obecných vyplývají částečné
EKVIVALENCE, KONJUNKCE A DISJUNKCE se ve čtverci nevyskytují
NEGACE – úhlopříčka vztah KONTRADIKCE – v obou protilehlých výrocích
má každý jinou pravdivostní úlohu
KONTRÁRNOST (kontrární vztah) – SaP a SeP nesmí být oba zároveň
pravdivé, ale mohou být zároveň nepravdivé
SUBKONTRÁRNOST (subkontrární vztah) – SiP a SoP mohou být oba
zároveň pravdivé, mohou být i jeden pravdivý a druhý ne, ale NIKDY
nemohou být zároveň nepravdivé
PROSTÝ OBRAT – ne mezi jednotlivými, ale v rámci jednoho výroku (jde
pouze u SiP a SeP)
1. Některé sádrové sochy jsou zahradní trpaslíci. – SiP Někteří
zahradní trpaslíci jsou sádrové sochy. - SiP
2. Žádný krokodýl není pták. – SeP Žádný pták není krokodýl. –SeP
o 4 základní figury
o 8 pravidel Aristotelovských:
Můžu mít stejné slovo, ale to může mít pokaždé jiný význam (kohoutek)
v tu chvíli by to bylo významově špatně
4) Alespoň v jedné premise musí být střední člen univerzální – médium bude
v první i druhé premise stejné slovo, může být i významově stejné, ale při
podrobnějším rozpitvání termínů bude každý jiný
když mám výsledek 12 jednou to bude součet 6+6 a jednou součin 3x4