Lógica Formal, colocando de forma simples, estuda a validade de uma afirmação com base em

seu conteúdo. Essa é uma simplificação extrema do conceito, é claro, mas não estamos aqui
para nos aprofundar nessa matéria, o objetivo é entender os conceitos mais básicos e simples
da Lógica para facilitar a compreensão de fórmulas e cálculos computacionais.

XXX

Na lógica, uma proposição é uma afirmação sobre alguma coisa, e dizemos que é verdadeira
quando ela corresponde à realidade, e falsa quando não corresponde. Vejamos as proposições
abaixo sobre a fruta da figura 1:

A fruta é vermelha.

A fruta é quadrada.

A proposição a é verdadeira, pois a fruta da figura 1 é realmente vermelha. Já a proposição b,

ao contrário, é falsa, pois a fruta é redonda.

Bem, até aqui nada de lógica, somente proposições simples, mas vamos preparar algumas
novas qualidades para falar sobre a fruta e separá-las em dois grupos:

Grupo x (cor) Grupo y (forma)

Vermelha Verdadeir Redonda Verdadeiro
o
Amarela Falso Quadrada Falso

Agora queremos formular uma proposição nova, queremos dizer qual é a cor e a forma da
fruta numa só sentença, e para tanto usaremos o conectivo “E”, e chamaremos de operação
ou operador lógico “E”. A proposição terá o formato “A fruta é x e y”. Assim, temos 4 possíveis
diferentes proposições:

A fruta é:

- vermelha e redonda

- vermelha e quadrada

- amarela e redonda

- amarela e quadrada