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.
