11 - Algumas "proposições".

Avancemos uma proposição qualquer, por exemplo: - Ontem choveu.
Se convencionarmos representar uma proposição dada pela letra "p", podemos então exprimir:

p=ontem choveu.

Avancemos uma outra proposição qualquer: - A rua está molhada.
Escolhamos para representa-la a letra seguinte a "p", a letra "q".

q=a rua está molhada.

Escolhamos o símbolo "→" para significar "implicação", que uma coisa implique em outra. Poderíamos então escrever suscintamente "p→q", para significar que: - Ontem choveu, logo a rua está molhada.

p→q=Ontem choveu, logo a rua está molhada.

Usemos o símbolo "~" para negação, de tal sorte que:

~p=ontem não choveu
~q=a rua não está molhada

Por fim acrescentemos mais 2 símbolos, "ʌ" e" ˅".
"ʌ" para significar "e" (conjunção) e "˅" para significar "ou" (disjunção).

p˅~p= Ontem choveu "ou" ontem não choveu.
pʌq= Ontem choveu "e" a rua está molhada.

São essas as proposições mínimas para avançarmos com mais "economia", daqui para adiante,