A lógica proposicional emprega um conjunto de símbolos que ...

A lógica proposicional emprega um conjunto de símbolos que possibilitam expressar de maneira sintética um conjunto de proposições lógicas relacionadas por conectivos. Considere a tradução simbólica mais comum representada na tabela.

A proposição composta: “Se João mentiu e Jorge não falou a verdade então Jonas não mentiu ou Joaquim estava confuso”, pode ser decomposta em quatro proposições simples: P, Q, R e S, onde: P = João mentiu; Q = Jorge não falou a verdade; R = Jonas não mentiu; S= Joaquim estava confuso. Assinale a alternativa que representa simbolicamente a proposição composta.