#1 16. 05. 2025 14:37
- ekonomos629
- Příspěvky: 70
- Škola: VŠE
- Pozice: Student
- Reputace: 0
Výroková logika vlaky
Dobrý den,
mám tento příklad z výrokové logiky, ale vůbec nevím, ajk ho začít řešit? Poradil by mi někdo, prosím, nějak zhruba, jak ho řešit? Děkuji moc
Situace na nádraží je popsána formulí
[(A⇒B)⋀C]⇔[(B⋁A)⇒C]/'
.Výroky A,B.C značí že příslušné vlaky A,b,C mohou vjet do nádraží. Které vlaky může výpravčí vpustit do nádraží, má-li být formule splněna ?
Offline
#2 16. 05. 2025 15:15
#3 16. 05. 2025 15:22
- ekonomos629
- Příspěvky: 70
- Škola: VŠE
- Pozice: Student
- Reputace: 0
Re: Výroková logika vlaky
Problém je v tom, že nevím, jak začít. Prostudoval jsem si výrokovou logiku, tautologie atd., ale znění té úlohy mi nějak není jasné. Mám na mysli, že moc netuším, jaký udělat první krok k vyřešení toho příkladu.
Offline
#4 16. 05. 2025 15:30
- ekonomos629
- Příspěvky: 70
- Škola: VŠE
- Pozice: Student
- Reputace: 0
Re: Výroková logika vlaky
Já nevím, jestli to chápu správně (jestli to čtu správně):
Znamená [(A⇒B)⋀C], že když může vpustit vlak A, tak může vpustit vlak B a zároveň vlak C?
Offline
#5 16. 05. 2025 20:29
- ekonomos629
- Příspěvky: 70
- Škola: VŠE
- Pozice: Student
- Reputace: 0
Re: Výroková logika vlaky
Nějak mi to docvaklo teď...nešlo by si zkusit vypsat do pravdivostní tabulky všechny kombinace vlaků a pak zjistit jestli se levá strana rovná pravé? pak by mi vyšlo, že může vpustit vlak a a c anebo žádný vlak, aby byla formule splněna.
Offline
#6 17. 05. 2025 09:13
Re: Výroková logika vlaky
↑ ekonomos629:
Zdravím,
tvoje metoda řešení i výsledek jsou správné.
Offline