przez DEXiu » poniedziałek 28 lipca 2008, 01:45
tristan ==> Podstawowe prawa logiki (matematycznej, ale i życiowej :wink: ). W przypadku implikacji (wynikania, czyli zdania postaci "Jeśli A to B") jeżeli zdanie A jest prawdziwe, to B musi być prawdziwe (czyli w naszym przypadku: jeżeli środkowym i lewym pasem ruchu nie poruszają się inne pojazdy, to jazda motocyklem trzypasową jezdnią jednokierunkową jest dozwolona prawym pasem ruchu).
Natomiast jeżeli zdanie A jest fałszywe, to wówczas nic nie możemy powiedzieć o prawdziwości zdania B (może być zarówno prawdziwe, jak i fałszywe, a nasza implikacja nadal będzie prawdziwa). Czyli w naszym przypadku: jeżeli środkowym lub lewym pasem ruchu poruszają się inne pojazdy, to ... i tutaj nie jest powiedziane jak powinien zachowywać się motocykl.
Weźmy prostszy przykład. Oczywiście zdanie:
Jeżeli pada deszcz, to droga jest mokra
jest prawdziwe. Ale czy możemy powiedzieć coś o prawdziwości któregoś ze zdań:
Jeżeli nie pada deszcz, to droga jest mokra
oraz
Jeżeli nie pada deszcz, to droga nie jest mokra
?
Oczywiście każde z tych zdań może być prawdziwe i tego już nie stwierdzimy. Nas interesuje tylko, że nasze pierwotne zdanie było prawdziwe :)