Tema / 21 mai

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ă
 
Raspuns:
Notam propozitia “Paznicul nu era atent” cu valoarea de adevar “-p”.
Notam propozitia “Masina nu putea fi observata cand a intrat in depozit” cu valoarea “-p”
In continuare “Depozitia martorului este adevarata” cu “r”, iar “soferul ascunde ceva” cu “-s”
Prin urmare, rezolvarea este: [(-p → -q) ^ (r → -p) ^ (q ѵ s) ^ -s] → -r