Considerando as seguintes posições lógicas:

Carlos estuda ou não está cansado.

Se Carlos estuda, então dorme tarde.

Carlos não dorme tarde ou está cansado.

Logo: Carlos está cansado se e somente se estuda.

E nomeando as proposições como:

t: Carlos estuda.

q: Carlos está cansado.

r: Carlos dorme tarde.

Assinale a alternativa que mostra um argumento CORRETAMENTE relacionado às proposições lógicas anteriores:

a.
t v q, t r, r v q Ⱶ q ↔ t.

b.
t v ~q, t r, ~r ^ q Ⱶ q ↔ t.

c.
t v ~q, t r, ~r v q Ⱶ q t.

d.
t v ~q, t r, ~r v q Ⱶ q ↔ t.

e.
t v ~q, t r, ~r v q q ↔ t.