Veja que interessante!

Considere agora o pensamento:

Utilizando a lógica das proposições, podemos transcrever para a seguinte declaração:

“Se muito se ausenta, então uma hora deixa de fazer falta”

Em linguagem simbólica, temos:

X (p, q): p → q