Prezentace se nahrává, počkejte prosím

Prezentace se nahrává, počkejte prosím

Gymnázium, Žamberk, Nádražní 48 Projekt: CZ.1.07/1.5.00/34.0280 - Inovace ve vzdělávání na naší škole Název: Logický čtverec a obraty Autor: Mgr. Petr.

Podobné prezentace


Prezentace na téma: "Gymnázium, Žamberk, Nádražní 48 Projekt: CZ.1.07/1.5.00/34.0280 - Inovace ve vzdělávání na naší škole Název: Logický čtverec a obraty Autor: Mgr. Petr."— Transkript prezentace:

1 Gymnázium, Žamberk, Nádražní 48 Projekt: CZ.1.07/1.5.00/ Inovace ve vzdělávání na naší škole Název: Logický čtverec a obraty Autor: Mgr. Petr Vanický kód DUMu:VY_32_INOVACE_Ma.8.7 Šablona:Inovace a zkvalitnění výuky prostřednictvím ICT (III/2) Obor:Matematika Šk. rok:2012/2013 Datum : Ročník:8. Anotace:Materiál je určen pro učitele a slouží k objasnění pojmů subjekt- predikátové logiky a pojmu logický čtverec. Na závěr obsahuje i dva řešené příklady na vyvozování.

2 Logický čtverec a obraty Mgr. Petr Vanický Gymnázium Žamberk

3 Základní pojmy  Soud - spojení pojmů do věty Všechny oznamovací věty ve „správném“ tvaruVšechny oznamovací věty ve „správném“ tvaru  Subjekt (S) pojem o kterém něco tvrdímepojem o kterém něco tvrdíme  Predikát (P) Co o daném pojmu tvrdímeCo o daném pojmu tvrdíme

4 Základní pojmy  Subjekt-predikátové soudy Používá aristotelská logikaPoužívá aristotelská logika Soudy ve tvaru: S je/není PSoudy ve tvaru: S je/není P Např:Např:  Člověk je živočich  Strom není veverka  Student je člověk Otázka? Co je v uvedených příkladech subjekt a co predikát?

5 Soudy jsou (dle kvality):  Kladné Např:Např:  Počítač je kamarád  Logika je zábava Nemusí být pravdivéNemusí být pravdivé  Záporné Např:Např:  Poker není hazard  Hlad není nejlepší kuchař Nemusí být nepravdivéNemusí být nepravdivé

6 Soudy jsou (dle kvantity):  Obecné – platí pro všechny subjekty Např:Např:  Každý počítač je kamarád  Všichni lidé jsou muži  Částečné – platí pro některé subjekty Např:Např:  Některé karetní hry jsou hazardem  Někteří lidé nejsou pracovití

7 Soudy jsou (dle modality):  Kategorické Tvrdí něco určitěTvrdí něco určitě  Modální Tvrdí něco možná, náhodouTvrdí něco možná, náhodou Tyto nás zajímat nebudou!Tyto nás zajímat nebudou!

8 Kategorie soudů:  Soudy obecně kladné Každé S je PKaždé S je P  Soudy obecně záporné Každé S není PKaždé S není P  Soudy částečně kladné Některé S je PNěkteré S je P  Soudy částečně záporné Některé S není PNěkteré S není P

9 Logický čtverec  Popisuje vztahy mezi soudy Každé S je PKaždé S není P Některé S je PNěkteré S není P Kontrárnost Subkontrárnost Subalternost Kontradikce Právě jeden je pravdivý, mají opačné pravdivostní hodnoty 1>1 a 0<0 Ale pozor: 0>? a ?<1 Alespoň jeden JE pravdivý Nejvýše jeden může být pravdivý

10 Samostatná práce  Na zadané papírky doplňte do prázdných čtverečků 0 nebo 1  Hodnotu volte podle pravidel logického čtverce.  Pokud není možné hodnotu jednoznačně určit, zapište „?“  Příklad: Nemohou být oba pravdivé, zde bude 0 Platí-li soud pro všechny, platí i pro některé, zde bude 1 Musí mít opačnou hodnotu, zde bude 0

11 Samostatná práce  Na zadané papírky doplňte do prázdných čtverečků 0 nebo 1  Hodnotu volte podle pravidel logického čtverce.  Pokud není možné hodnotu jednoznačně určit, zapište „?“  Příklad: 0 ? 1? Nelze rozhodnout Musí mít opačnou hodnotu, zde bude 1

12 Obraty  Úprava soudu na jiný soud. Z jediné premisy můžeme odvodit závěr.Z jediné premisy můžeme odvodit závěr. Záměna Subjektu a PredikátuZáměna Subjektu a Predikátu  Nefunguje pro libovolné záměny!  Aristotelská logika rozlišuje: Obrat prostýObrat prostý Obrat po případechObrat po případech

13 Obrat prostý  Záměna S a P  Typ soudu ponecháme  Funguje jen pro Obecný záporný soudObecný záporný soud  S není P  P není S  Žádný Soudce není Pirát  Žádný Pirát není Soudce Částečný kladný soudČástečný kladný soud  S je P  P je S  Některý Sýr je Pochoutka  Některá Pochoutka je Sýr.

14 Obrat po případech  Záměna S a P  Záměna typu soudu  Funguje jen pro obecné soudy Obecný kladnýObecný kladný  S je P  P je S  Každý trpaslík je fousáč  Existuje fousáč, který je trpaslík. Obecný zápornýObecný záporný  S není P  P není S  Žádná veverka není žirafa  Existuje žirafa, která není veverka.

15 Zdroje:  Sylogismus. In: Wikipedia: the free encyclopedia [online]. San Francisco (CA): Wikimedia Foundation, 2001-, [cit ]. Dostupné z:


Stáhnout ppt "Gymnázium, Žamberk, Nádražní 48 Projekt: CZ.1.07/1.5.00/34.0280 - Inovace ve vzdělávání na naší škole Název: Logický čtverec a obraty Autor: Mgr. Petr."

Podobné prezentace


Reklamy Google