Lógica
p: Está chovendo.
(¬p) Não está chovendo.
p: A bicicleta é verde.
(¬p) A bicicleta não é verde.
p: Floresta está fria.
(¬p) Floresta não está fria.
p: O céu está com muitas nuvens.
(¬p) O céu não está com muitas nuvens.
p: O cacau é amargo.
(¬p) O cacau não é amargo.
p: O quarto é branco.
(¬p) O quarto não é branco.
p: Gosto de cantar.
(¬p) Não gosto de cantar.
p: Tenho muito tempo.
(¬p) Não tenho muito tempo.
p: O IF é novo.
(¬p) O IF não é novo.
p: Filosofia é fácil.
(¬p) Filosofia não é fácil.
Conjunção
p: Está chovendo; q: Eu estou dentro de casa.
(p ˄ q) Está chovendo e eu estou dentro de casa.
p: A bicicleta é verde; q: O skate é preto.
(p ˄ q) A bicicleta é verde e o skate é preto.
p: Floresta está fria; q: As pessoas usam agasalho.
(p ˄ q) Floresta está fria e as pessoas usam agasalho.
p: O céu está com muitas nuvens; q: O sol não aprece.
(p ˄ q) O céu está com muitas nuvens e o sol não aparece.
p: O cacau é amargo; q: O chocolate é doce.
(p ˄ q) O cacau é amargo e o chocolate é doce.
p: O quarto é branco; q: A televisão é preta.
(p ˄ q) O quarto é branco e a televisão é preta.
p: Gosto de cantar; q: Montei uma banda.
(p ˄ q) Gosto de cantar e montei uma banda.
p: Tenho muito tempo; q: Gosto de viajar.
(p ˄ q) Tenho muito tempo e gosto de viajar.
p: Fui ao mercado; q: Comprei iogurte.
(p ˄ q) Fui ao mercado e comprei iogurte.
p: A filosofia é fruto de grandes pensadores; q: Sócrates foi um grande filósofo.
(p ˄ q) A filosofia é fruto de grandes pensadores e Sócrates foi um grande filosofo.
Implicação
p: Está chovendo; q: estou dentro de casa.
(p → q) Se está chovendo então estou dentro de casa.
p: João é médico; q: José é engenheiro.
(p → q) Se João é médico então José é engenheiro.
p: O professor ensinou; q: O aluno aprendeu.
(p → q) Se o professor ensinou então o aluno aprendeu.
p: