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 representação simbólica correta da proposição “O homem é semelhante à mulher assim como o rato é semelhante ao elefante” é