#1 17. 12. 2020 17:32
Výroková Logika
Dobrý den mohl by mi prosím někdo pomoci u tohohle příkladu:
Trenér se věnuje trojici gymnastů – Adamovi, Břéťovi a Čeňkovi.
Rozhodněte, koho vyšle na kontrolní závod, jestliže splní tyto tři podmínky:
a) TJ budou reprezentovat nejvýše dva závodníci, přitom pojede aspoň jeden.
b) Pojede Adam nebo Čeněk, ale určitě ne oba současně.
c) Nepojede-li Čeněk, pak nepojede ani Břéťa.
můj výpočet a) [mathjax]
A\vee B\Rightarrow A[/mathjax];[mathjax]
A\vee B\Rightarrow B[/mathjax];[mathjax]
A\vee C\Rightarrow A[/mathjax];[mathjax]
A\vee C\Rightarrow C[/mathjax];[mathjax]
B\vee C\Rightarrow C[/mathjax];[mathjax]
B\vee C\Rightarrow B[/mathjax]
b) [mathjax](A\vee C)\wedge (A\Rightarrow neg.C)[/mathjax]
c)[mathjax]neg. C\Rightarrow neg.B[/mathjax]
Předem děkuji za pomoc a omlouvám se nenašel jsem znaménko negace tak jsem napsal neg., a místo Č jako čeněk jsem napsal C.
Offline
- (téma jako vyřešené označil(a) Pieterko)
#2 17. 12. 2020 18:54
Re: Výroková Logika
Pozrel som sa na to takto:
A - a) platí b) platí c) platí
B - a) platí b)neplatí, takže ďalej už neriešim
C - a) platí b) platí c) platí
AB - a )platí b) platí c) neplatí
BC - a) platí b) platí c) platí
AC - a) platí b) neplatí
ABC - a) neplatí
Takže mi vychádzajú 3 riešenia - A,C,BC
Je to len na rýchlo, keď tak ma opravte :)
Offline
#3 17. 12. 2020 18:58
#4 17. 12. 2020 21:04
Re: Výroková Logika
↑ Pieterko:
Udělej si pravdivostní tabulku, stačí jen ty varianty, kde je jedna nebo dvě jedničky (takže testuješ jen šest možností).
Offline