///
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 | → |
|---|---|
| Se e somente se | ↔ |
| Negação | ~ |
| e | ∧ |
| ou | ∨ |
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.