10b ověřování platnosti sylogismů, cvičení

  1. Všechny sýkorky jsou pěvci.
    Všechny koňadry jsou sýkorky.
    --------------------------------
    Všechny koňadry jsou pěvci.
    Úsudek je platný (případ modu barbara).
  2. Každý muž je člověk.
    Každý sněžný muž je muž.
    --------------------------------------
    Existuje sněžný muž, který je člověkem.
    Úsudek není platný (případ modu barbari); aby byl platný, muselo by být zaručeno, že vždy existují sněžní muži.
  3. Všichni (mí) kamarádi jsou vysokoškoláci.
    Všichni lékaři jsou vysokoškoláci.
    -------------------------------
    Někteří (mí) kamarádi jsou lékaři.
    Úsudek není platný – nemusíme mít žádného kamaráda lékaře.
  4. Žádná šelma není beránek.
    Každý vlk je šelma.
    --------------------------
    Žádný vlk není beránek.
    Úsudek je platný (případ modu celarent).
  5. Žádný maniak není podvodník.
    Každý sukničkář je maniak.
    -------------------------------
    Někteří sukničkáři nejsou podvodníci.
    Úsudek není platný (případ modu celaront); aby byl platný, muselo by být zaručeno, že vždy existují nějací sukničkáři.
  6. Všechno ochočené je přítulné.
    Žádný manžel není ochočený.
    -----------------------------------
    Žádný manžel není přítulný.
    Úsudek není platný – nějaký manžel může být přítulný.
  7. Všichni skladatelé jsou hudebníci.
    Někteří profesionálové jsou skladatelé.
    ------------------------
    Někteří profesionálové jsou hudebníci.
    Úsudek je platný (případ modu darii).
  8. Nikdo mazaný není prostomyslný.
    Někteří výrostci jsou mazaní.
    ---------------------------------
    Někteří výrostci nejsou prostomyslní.
    Úsudek je platný (případ modu ferio).
  9. Někteří piloti jsou alkoholici.
    Někteří strojvůdci jsou alkoholici.
    -------------------------
    Někteří strojvůdci jsou piloti.
    Úsudek není platný – nemusí existovat nějaký strojvůdce, který by byl zároveň pilotem.
  10. Každý platonik je metafyzik.
    Někteří sokratici nejsou metafyzici.
    -------------------------------
    Někteří sokratici nejsou platonici.
    Úsudek je platný (případ modu cesare).
  11. Žádní psovití nejsou kočkovití.
    Všichni tygři jsou kočkovití.
    --------------------------------
    Žádní tygři nejsou psovití
    Úsudek je platný (případ modu cesare).
  12. Každý pozemšťan je živočich.
    Žádný mimozemšťan není pozemšťan.
    -------------------------
    Žádný mimozemšťan není živočich.
    Úsudek není platný – klidně je možné, že nějaký mimozemšťan je živočich.
  13. Žádný pacifista není militantní.
    Každý terorista je militantní.
    ----------------------------------
    Někteří teroristé nejsou pacifisté.
    Úsudek není platný (případ modu cesaro); aby byl platný, muselo by být zaručeno, že vždy existují nějací teroristé.
  14. Vše hodnotné je důležité.
    Nic dočasné není důležité.
    -------------------------------
    Nic dočasné není hodnotné.
    Úsudek je platný (případ modu camestres).
  15. Každý zloděj krade.
    Všichni lidé kradou.
    ----------------------------
    Někteří lidé jsou zloději
    Úsudek není platný – nemusí existovat žádný člověk, který by kradl.
  16. Všechno sladké je chutné.
    Nic přesoleného není chutné.
    --------------------------
    Něco přesolené není sladké.
    Úsudek není platný (případ modu camestros); aby byl platný, muselo by být zaručeno, že vždy existuje něco přesoleného.
  17. Nic lidské není věčné.
    Některé problémy jsou věčné.
    -------------------------
    Některé problémy nejsou lidské.
    Úsudek je platný (případ modu festino).
  18. Všichni lakomci jsou sobečtí.
    Někteří lakomci jsou spořiví.
    ----------------------------------
    Všichni spořiví jsou sobečtí.
    Úsudek není platný – klidně můžou existovat spořiví lidé, kteří nejsou sobečtí.
  19. Někteří politici nejsou populární.
    Všichni politici jsou občané.
    ------------------------------------
    Někteří občané nejsou populární.
    Úsudek je platný (případ modu bocardo)
  20. Všechny máty jsou léčivé.
    Všechny máty jsou rostliny.
    ----------------------
    Některé rostliny jsou léčivé.
    Úsudek není platný (případ modu darapti); aby byl platný, muselo by být vždy zaručeno, že existuje máta.
  21. Žádný živočich není nesmrtelný.
    Žádný kámen není živočich.
    ---------------------------------
    Žádný kámen není nesmrtelný
    Úsudek není platný – klidně může existovat kámen, který je nesmrtelný.
  22. Každá hvězda je stálice.
    Některé hvězdy jsou vyhaslé.
    ---------------------------------
    Něco, co je vyhaslé, je stálice
    Úsudek je platný (případ modu datisi).
  23. Některé vědy jsou abstraktní.
    Všechny vědy jsou zajímavé.
    -----------------------------
    Něco zajímavé je abstraktní
    Úsudek je platný (případ modu disamis).
  24. Každý lyžař je sportovec.
    Každý cyklista je sportovec.
    ------------------------------
    Každý cyklista je lyžař.
    Úsudek není platný – je možné, že existuje cyklista, který je sice sportovcem, nicméně není lyžařem
  25. Žádný mravenečník není mravenec.
    Každý mravenečník je hmyzožravec.
    ---------------------------------
    Někteří hmyzožravci nejsou mravenci.
    Úsudek není platný (případ modu felapton); aby byl platný, muselo by být vždy zaručeno, že existuje něco, co je mravenečník, následně by pak existovalo něco, co je hmyzožravcem.
  26. Žádná náhoda není zákonitá.
    Některé náhody jsou výhry.
    -----------------------------------
    Některé výhry nejsou zákonité.
    Úsudek je platný (případ modu ferison)
  27. Žádný hrubián není džentlmen.
    Někteří lidé nejsou hrubiáni.
    ----------------------------------
    Někteří lidé jsou džentlmeni.
    Úsudek není platný – to, že nějací lidé jsou džentlmeni, není nutné.
  28. Všechny koně jsou sudokopytníci.
    Všichni sudokopytníci jsou obratlovci.
    ------------------------------
    Někteří obratlovci jsou koně
    Úsudek není platný (případ modu bamalip); aby byl platný, muselo by být zaručeno, že vždy existují nějací koně.
  29. Každá ropucha je žába.
    Žádná žába není princezna.
    ---------------------------
    Žádná princezna není ropucha
    Úsudek je platný (případ modu calemes).
  30. Někteří spisovatelé jsou muzikanti.
    Žádný spisovatel není zámečník.
    ------------------------------------
    Žádný zámečník není muzikant.
    Úsudek není platný
  31. Všichni dinosauři vymřeli.
    Žádní vymřelí nejsou veselí.
    ---------------------------
    Někteří veselí nejsou dinosauři
    Úsudek není platný (případ modu calemos); muselo by totiž být zaručeno, že vždy existují nějací veselící s.
  32. Někteří oblíbenci jsou vysokoškoláci.
    Každý vysokoškolák je inteligent.
    -------------------------------------
    Někteří inteligenti jsou oblíbenci.
    Úsudek je platný (případ modu dimatis).
  33. Co je rizikové, stresuje.
    Každý obchod je rizikový.
    ----------------------
    Každý obchod stresuje
    Úsudek je platný (případ modu barbara).
  34. Žádná kára není pika.
    Každá pika je karta.
    -------------------------
    Některé karty nejsou káry.
    Úsudek není platný (případ modu fesapo); muselo by totiž být zaručeno, že vždy existují nějaké piky, následně by existovaly nějaké karty
  35. Žádná ryba není rak.
    Někteří raci jsou sladkovodní.
    --------------------------------------
    Existuje něco sladkovodního, co není ryba.
    Úsudek je platný (případ modu fresison).
  36. Někteří básníci jsou žurnalisty.
    Někteří básníci jsou písničkáři.
    -----------------------
    Někteří písničkáři jsou žurnalisty.
    Úsudek není platný – nemusí existovat žádný písničkář, který by byl zároveň žurnalistou
  37. Žádná půjčka není příjemná.
    Některé půjčky jsou riskantní.
    -------------------------
    Co je riskantní, je příjemné.
    Úsudek není platný
  38. Všichni malíři jsou umělci.
    Někteří učitelé nejsou umělci.
    ----------------------------
    Někteří učitelé nejsou malíři.
    Úsudek je platný (případ modu baroco).
  39. Každý vklad je s úrokem.
    Žádný úvěr není bez úroku.
    ------------------------------
    Některý úvěr je vkladem.
    Úsudek není platný
  40. Někteří filosofové jsou materialisté.
    Někteří lidé nejsou materialisté.
    ----------------------------------
    Někteří filosofové nejsou lidmi.
    Úsudek není platný – premisami není determinováno ani to, že někteří filosofové jsou lidmi, ani to, že někteří fi losofové nejsou lidmi.
Author
iren
ID
354978
Card Set
10b ověřování platnosti sylogismů, cvičení
Description
predikatova logika
Updated