Conectivos Lógicos

São palavras que usamos para formar novas proposições a partir de outras existentes. As proposições compostas são formadas por proposições simples interligadas por conectivos. Os principais conectivos usados são:

Exemplos:

• P: 2 é par e 3 é ímpar.

• Q: O triângulo ABC é retângulo ou equilátero.

• R: Se durmo cedo, então acordo cedo.

• S: Maçã é uma fruta se e somente se 6 é dobro de 3.

• T: Não está chovendo.

Formação das proposições compostas:

Se P e Q são proposições, então também são proposições:

• ~(P)

• (P) ∧(Q)

• (P) ∨(Q)

• (P) →(Q)

• (P) ↔(Q)