Tema 2.

1. Dacă echipa de baschet a plecat cu autobuzul de 8,30 sau cu trenul de 9,50, ea a ajuns la timp la
meci, numai cu condiția ca ora de începere a meciului să nu fi fost devansată. Echipa de baschet n-
a plecat cu autobuzul de 8,30și n-a ajuns la timp la meci. Prin urmsre, sau echipa de baschet n-a
plecat nici cu trenul de 9,50, sau ora de începere a meciului a fost devansată.
Rezolvarea:
{[(p v q) -> t] < - > -r} & (-p & -t) -> (-q v r)

2. Dacă în momentul respectiv paznicul nu era atent, maşina nu putea fi observată când a intrat în
depozit; dacă depoziţia martorului este adevărată, paznicul nu era atent în momentul respectiv.
Fie maşina a fost observată, fie şoferul ascunde ceva; întrucât şoferul nu ascunde nimic, rezultă că
depoziţia martorului nu este adevărată.
Rezolvarea:
{{[-p -> ( -q & t) & ( z-> -p )] & (q v r)} & -r} -> -z