Výroková logika
Jsou dány čtyři výroky:
- Všichni členové našeho klubu jsou muži.
- Žádný člen našeho klubu není sportovec.
- Některý muž je sportovec.
- Každý sportovec je členem našeho klubu.
Opačný výrok k nějakému výroku nazýváme jeho negací. Vyberte správný zá- věr.
a) Výrok 2 je negací výroku 4.
b) Výroky 2, 3 a 4 nejsou v rozporu – mohou platit současně.
c) Z výroku 1 spolu s výrokem 3 vyplývá negace výroku 2.
d) Z výroku 1 spolu s negací výroku 2 vyplývá výrok 3.
e) Výroky 1, 2 a 3 jsou v rozporu – nemohou platit současně.
Jakub M.
17. 02. 2023 14:00
1 odpověď
Jan Z.
17.02.2023 17:09:10
a) Negace čtvrtého výroku je: "Alespoň jeden sportovec není členem našeho klubu.", tedy Ne
b) Výroky se vylučují - 3 a 4 implikuje, že alespoň jeden sportovec v našem klubu je, čili neguje 2, tedy Ne
c) Ano
d) První výrok by musel být "Všichni muži jsou členy našeho klubu.", aby to platilo, tedy Ne
e) Výroky mohou platit současně, viz d)
Pro napsání komentáře se musíte přihlásit.