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 t
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. Se ... então \(\rightarrow\) \ Se e somente se (\leftrightarrow\) Negação \(\sim\) e \(\wedge\) ou \(\vee\) 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.
