Conectivo lógico E
A conjunção das proposições [math], [math] é a proposição denotada por [math] e [math] que é verdadeira unicamente quando [math] e [math] são ambas verdadeiras..
- « [math] e [math] » é uma proposição verdadeira porque « [math] » é verdadeira e « [math] » também é verdadeira.
- « (Lyon é a capital da França) e (hoje o tempo está bom)» é uma proposição falsa porque a proposição « Lyon é a capital da França » é falsa e isso não importa se a proposição « hoje o tempo está bom » é verdadeira ou falsa.
Conectivo lógico OU
A disjunção das proposições [math], [math] é a proposição representada por [math] ou [math] que é verdadeira quando pelo menos uma das duas proposições [math] ou [math] é verdadeira (ou uma ou outra, ou ambas são verdadeiras).
- « [math] ou [math] » é verdadeira porque « [math] » é verdadeira.
- « [math] ou [math] » é falso porque cada uma das duas proposições são falsa.
- « [math] ou [math] » é verdadeira porque ou « [math] » é verdadeira, ou « [math] » é falsa, mas nesta caso [math], assim « [math] » é verdadeira.
Na linguagem comum a palavra ou tem dois sentidos. Diz-se que o ou é inclusivo quando a proposição [math] ou [math] é verdadeira se [math] e [math] são verdadeiras ao mesmo tempo, e diz se que o ou é exclusivo quando a proposição [math] ou [math] é verdadeira quando somente uma das proposições é verdadeira, por exemplo,a porta está aberta ou fechada, as duas proposições “a porta está aberta” e “a porta está fechada” não são verdadeiras ao mesmo tempo”. Matematicamente, é imperativamente necessário especificar que tipo de conectivo lógico ouestá sendo utilizado, isto é, se o ou utilizadoé inclusivo ou exclusivo.