Considere que as proposições lógicas simples sejam representadas por letras maiúsculas ...

Considere que as proposições lógicas simples sejam representadas por letras maiúsculas P, Q, R etc. A partir de proposições dadas, podem-se construir novas proposições mediante o uso dos símbolos lógicos ∧ e ∨, que significam, respectivamente, “e” e “ou”, ou por meio do emprego dos símbolos lógicos → e ↔, chamados, respectivamente, de condicional e bicondicional.

A proposição “As fontes de energia fósseis estão, pouco a pouco, sendo substituídas por fontes de energia menos poluentes, como a energia elétrica, a eólica e a solar — as fontes de energia limpa” pode ser representada simbolicamente por