///
Considere que P e Q sejam duas proposições que podem compor novas proposições por meio dos conectivos lógicos ~, v, w e ÷, os quais significam “não”, “e”, “ou” e “se, então”, respectivamente. Considere, ainda, que a negação de P, ~P (lê-se: não P) será verdadeira quando P for falsa, e será falsa quando P for verdadeira; a conjunção de P e Q, PvQ (lê-se: P e Q) somente será verdadeira quando ambas, P e Q, forem verdadeiras; a disjunção de P e Q, PwQ (lê-se: P ou Q) somente será falsa quando P e Q forem falsas; e a condicional de P e Q, P÷Q (lê-se: se P, então Q) somente será falsa quando P for verdadeira e Q falsa. Considere, por fim, que a tabela-verdade de uma proposição expresse todos os valores lógicos possíveis para tal proposição, em função dos valores lógicos das proposições que a compõem.
Se P e Q representam as proposições “Eu estudo bastante” e “Eu serei aprovado”, respectivamente, então, a proposição P÷Q representa a afirmação “Se eu estudar bastante, então serei aprovado”.