Considere a proposição "Paula estuda, mas não passa no concurso". Nessa proposição, o conectivo lógico é
Dizer que não é verdade que Pedro é pobre e Alberto é alto, é logicamente equivalente a dizer que é verdade que:
Ou Lógica é fácil, ou Artur não gosta de Lógica. Por outro lado, se Geografia não é difícil, então Lógica é difícil. Daí segue-se que, se Artur gosta de Lógica, então:
Se X ≥ Y, então Z > P ou Q ≤ R. Se Z > P, então S ≤ T. Se S ≤ T, então Q ≤ R. Ora, Q > R, logo:
M = 2x + 3y, então M = 4p + 3r. Se M = 4p + 3r, então M = 2w – 3r. Por outro lado, M = 2x + 3y, ou M = 0. Se M = 0, então M+ H = 1. Ora, M+H ≠ 1. Logo,
Se a professora de matemática foi à reunião, nem a professora de inglês nem a professora de francês deram aula. Se a professora de francês não deu aula, a professora de português foi à reunião. Se a professora de português foi à reunião, todos os problemas foram resolvidos. Ora, pelo menos um problema não foi resolvido. Logo,
Sistematicamente, Fábio e Cíntia vão a um mesmo restaurante: Fábio a cada 15 dias e Cíntia a cada 18 dias. Se em 10 de outubro de 2004 ambos estiveram em tal restaurante, outro provável encontro dos dois nesse restaurante ocorrerá em
No argumento: "Se estudo, passo no concurso. Se não estudo, trabalho. L ogo, se não passo no concurso, trabalho", considere as proposições:
É verdade que
Se Carina é amiga de Carol, então Carmem é cunhada de Carol. Carmem não é cunhada de Carol. Se Carina não é cunhada de Carol, então Carina é amiga de Carol. Logo,
Se p e q são proposições, então a proposição 
é equivalente a
