A proposição composta “Se Platão estiver disposto a visitar Sócrates, então os lobos do conhecimento irão uivar de alegria” pode ser representa pela simbologia !$ p \leftrightarrow q !$.