Suponha verdadeiro o verso do poeta (Raul de Leoni), observando que as proposições a ele pertinentes podem ter o sujeito claro ou o sujeito oculto.
“Se um dia eu fosse teu e fosses minha (então)
o nosso amor conceberia um mundo e do teu
ventre nasceriam deuses”.
Considerando:
p: um dia eu serei teu
q: (um dia) serás minha
r: o nosso amor conceberá um mundo
s: do teu ventre nascerão deuses
A forma do verso sob forma simbólica é:
!$ (p \lor q) \Rightarrow (r \land s) !$
A alternativa que contém a expressão verdadeira é:
