Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 10. 02. 2021 18:27 — Editoval Aaron123 (10. 02. 2021 18:28)
Výrokova logika formalizace
Zdravím,
chtěl bych se zeptat zda jsem dobře formalizoval následující příklad VL.Karel jel buď tramvají(t) nebo autobusem(b). Jestliže jel tramvají anebo svým autem, pak přijel pozdě(p) a zmeškal první přednášku(v) . Karel nepřijel pozdě. Z toho plyne ze jel tramvají nebo zmeškal první přednášku
.Z tohoto jsem pak určil, že T v V není logickým důsledkem, ale hlavní je pro mě jestli jsem to správné formalizoval.Predem díky
Offline