Lógica Digital – Proposições simples ou compostas

Proposições é uma frase que tem sentido real. Existem dois tipos de Proposições

Proposições Simples ou atômicas

São aquelas que apresentam apenas uma idéia. Essas proposições são representadas pelas letras minúsculas a, b, c, d …, exemplo:

• a- Fábio foi ao zoologico
• b- Anderson pegou o ônibus
• c- O carro quebrou
• d- A novela acabou

Proposições Compostas ou Moleculares

São aquelas que apresentam mais de uma proposição e estão conectadas através de conectivos lógicos. São representadas pelas letras maiúsculas. Sua notação é da seguinte forma: Q(p,r).

• P: O número 24 é divisível por 3 e 12 é o dobro de 24.
• Q: A raiz quadrada de 16 é 4 e 24 é múltiplo de 3.
• R(s, t): O número 7 é ímpar e o número 17 é primo.

Conectivos lógicos

• (~) = Negação – (Falso)
• (.) = Conjunção – (e)
• (+) = Disjunção – (ou)
• (→) = Condicional (se)
• (↔) = Bicondicional (senão)

As proposições pode assumir apenas uma condição, Verdadeiro (V ou 1) ou Falso (F ou 0), exemplos:

• a: O açucar é doce e serve para adoçar o macarrão
• b: A lua brilha para iluminar a noite

Notações lógicas

• V(a)=0 ou F(a)=1
• V(b)=1 ou F(b)=0