Matematické Fórum

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