Temos como definição de proposição composta que são formadas por um conjunto de proposições simples, ( duas ou mais proposições simples ligadas por "conectivos lógicos").

Observe as proposições compostas a seguir formadas a partir das proposições simples p e q:

p: Ou Luciano viaja para o Egito ou viaja para o México.

q: Se Luciano viajar para o Egito, então vai conhecer as famosas pirâmides.

Em linguagem lógica, podemos escrever as sentenças acima respectivamente:

A) ~q v p e p v q
B) p v q e p → r
C) p ↔ q e p Λ q
D) p v q e p Λ q
E) p v q e p ↔ q