Considere as quatro proposições, referentes ao ano de 2020, em certo país:
P: não ocorreu poluição com petróleo nas praias;
Q: não ocorreram queimadas em florestas;
R: rios foram poluídos;
S: não ocorreu corrupção.
Com base nas premissas:
(~P v Q) v (~R), R v S, ~S v Q, ~Q,
concluímos que a condicional verdadeira é