05b Logický čtverec - cvičení

  1. K následujícím větám sestavte všechny druhy soudů logického čtverce:
    Každý člověk je smrtelný
    • obecný kladný soud: „Každý člověk je smrtelný“.
    • částečný kladný soud: „Některý člověk je smrtelný“.
    • obecný záporný soud: „Žádný člověk není smrtelný“.
    • částečný záporný soud: „Některý člověk není smrtelný“
  2. K následujícím větám sestavte všechny druhy soudů logického čtverce:
    Některé labutě jsou černé.
    • obecný kladný soud: „Všechny labutě jsou černé“.
    • částečný kladný soud: „Některé labutě jsou černé“.
    • obecný záporný soud: „Žádné labutě nejsou černé“.
    • částečný záporný soud: „Některé labutě nejsou černé“
  3. K následujícím větám sestavte všechny druhy soudů logického čtverce:
    Žádný oběd není zadarmo
    • obecný kladný soud: „Každý oběd je zadarmo“.
    • částečný kladný soud: „Některý oběd je zadarmo“.
    • obecný záporný soud: „Žádný oběd není zadarmo“.
    • částečný záporný soud: „Některý oběd není zadarmo“.
  4. K následujícím větám sestavte všechny druhy soudů logického čtverce:
    Někteří lidé nejsou moudří
    • obecný kladný soud: „Všichni lidé jsou moudří“.
    • částečný kladný soud: „Někteří lidé moudří“.
    • obecný záporný soud: „Žádní lidé nejsou moudří“.
    • částečný záporný soud: „Někteří lidé nejsou moudří“.
  5. Slovně vyjádřete negaci (či: správný opak) daného schematického výroku a určete, o jaký druh soudu se jedná. Podobně jako ve VL, negací výroku V nerozumíme doslova ¬V, ale výrok W, který je ekvivalentní ¬V, srov. logický čtverec.
    1) Všechna A jsou B.
    2) Některá A jsou B.
    3) Žádná A nejsou B.
    4) Některá A nejsou B.
    • 1) „Některá A nejsou B.“ – částečný záporný soud.
    • 2) „Žádná A nejsou B.“ – obecný záporný soud.
    • 3) „Některá A jsou B.“ – částečný kladný soud.
    • 4) „Všechna A jsou B.“ – obecný kladný soud.
  6. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Všechny disciplíny jsou náročné.



    B)
  7. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Některá těhotenství jsou riziková.



    B)
  8. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Žádní vědci nejsou vševědoucí.



    B)
  9. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Některé dny nejsou pracovní.



    A)
  10. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Všichni cestovatelé jsou odvážní.




    D)
  11. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Někteří učitelé jsou přísní.




    C)
  12. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Žádné soužití není bezproblémové.




    E)
  13. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Některá piva nejsou alkoholická.




    E)
  14. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Každý, kdo je opilý, je obtížný.




    E)
  15. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Někdo je zamilovaný a je šťastný.




    B)
  16. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Nikdo, kdo pil, nesmí řídit.




    C)
  17. Určete ten výrok z níže nabízených možností, který je negací výroku daného:
    Někdo je chytrý a není namyšlený.




    B)
  18. Ke každému následujícímu schematického výroku formulujte ekvivalentní výrok, který je buď výrokem z logického čtverce (např. „Všechna A jsou B“) nebo je jeho přímou negací (např. „Není pravda, že všechna A jsou B“). Určete rovněž, o jaký druh soudu z logického čtverce se jedná.
    1) Není pravda, že některá A nejsou B.
    2) Není pravda, že žádná A nejsou B.
    3) Není pravda, že některá A jsou B.
    4) Není pravda, že všechna A jsou B.
    • 1) „Všechna A jsou B.“ – obecný kladný soud.
    • 2) „Některá A jsou B.“ – částečný kladný soud.
    • 3) „Žádná A nejsou B.“ – obecný záporný soud.
    • 4) „Některá A nejsou B.“ – částečný záporný soud
  19. Ke každému následujícímu schematického výroku formulujte ekvivalentní výrok, který je buď výrokem z logického čtverce (např. „Všechna A jsou B“) nebo je jeho přímou negací (např. „Není pravda, že všechna A jsou B“). Určete rovněž, o jaký druh soudu z logického čtverce se jedná.
    5) Všechna A jsou B.
    6) Některá A jsou B.
    7) Žádná A nejsou B.
    8) Některá A nejsou B.
    • 5) „Není pravda, že některá A nejsou B.“ – obecný kladný soud.
    • 6) „Není pravda, že žádná A nejsou B.“ – částečný kladný soud.
    • 7) „Není pravda, že některá A jsou B.“ – obecný záporný soud.
    • 8) „Není pravda, že všechna A jsou B.“ – částečný záporný soud.
  20. Z  níže nabízených možností vyberte ten výrok, který je ekvivalentní výroku danému:
    1)
    Není pravda, že někteří stavaři nejsou architekty.



    B)
  21. Z  níže nabízených možností vyberte ten výrok, který je ekvivalentní výroku danému:
    Není pravda, že některé látky jsou omamné.



    B)
  22. Z  níže nabízených možností vyberte ten výrok, který je ekvivalentní výroku danému:
    Není pravda, že všichni politici jsou čestní.



    D)
  23. Z  níže nabízených možností vyberte ten výrok, který je ekvivalentní výroku danému:
    Není pravda, že někteří prognostici jsou skeptici.



    D)
  24. Z  níže nabízených možností vyberte ten výrok, který je ekvivalentní výroku danému:
    Není pravda, že některé problémy nejsou řešitelné.



    D)
Author
iren
ID
354918
Card Set
05b Logický čtverec - cvičení
Description
predikatova logika
Updated