Uma tabela-verdade é uma representação tabular de todas as possíveis combinações de valores

de verdade para uma expressão booleana, onde cada linha corresponde a uma combinação
específica de valores verdadeiro (V) ou falso (F) para as proposições envolvidas na expressão.

A construção de uma tabela-verdade envolve vários passos:

1. Determinação das proposições simples: Identifique quantas proposições simples estão

presentes na expressão booleana. Por exemplo, se tivermos a expressão "p AND q", temos duas
proposições simples: p e q.
2. Cálculo do número de linhas de estados: O número de linhas de uma tabela-verdade é
determinado pelo número de proposições simples, utilizando a função exponencial 1(n) = 2^m,
onde "n" é o número de proposições simples e "m" é o número de linhas necessárias. Por
exemplo, se tivermos 2 proposições simples, precisaremos de 2^2 = 4 linhas.
3. Montagem da tabela-verdade: Crie uma tabela com tantas colunas quanto o número de
proposições simples, e tantas linhas quanto calculado no passo anterior. Em seguida, preencha
cada linha com todas as possíveis combinações de valores verdadeiro (V) ou falso (F) para as
proposições simples.

Por exemplo, considere a expressão booleana "p OR q":

1. Temos duas proposições simples: p e q.

2. Calculamos o número de linhas de estados usando a fórmula: 1(2) = 2^2 = 4 linhas.
3. Montamos a tabela-verdade:
p q p OR q
V V V

V F V
F V V
F F F

Nesta tabela, cada linha representa uma combinação de valores verdadeiro ou falso para as
proposições p e q, e a última coluna mostra o resultado da operação "p OR q" para cada
combinação.
 NUMEROS BINARIOS

TAUTOLOGIA

Uma tautologia é uma proposição composta que é logicamente verdadeira, independentemente dos valores lógicos das
proposições simples que a compõem. Em outras palavras, uma tautologia é sempre verdadeira, não importa quais
valores verdadeiro (V) ou falso (F) sejam atribuídos às suas proposições simples.
Um exemplo de tautologia é a proposição composta "a V ~a", que pode ser lida como "a ou não a". Esta proposição
sempre será verdadeira, independentemente do valor de verdade atribuído à proposição simples "a".

Para entender isso, podemos considerar um contexto em que "a" representa a proposição "Maria é brasileira". A
proposição composta "a V ~a" pode ser interpretada como "Maria é brasileira ou Maria não é brasileira".

Vamos analisar a tabela-verdade que representa essa tautologia:

a ~a a V ~a
V F V
F V V

Nesta tabela, podemos ver que não importa se "a" é verdadeiro (V) ou falso (F), a expressão "a V ~a" sempre resultará
em verdadeiro (V). Isso confirma que essa proposição composta é uma tautologia, pois é verdadeira em todas as
possíveis combinações de valores de verdade para "a"

CONTRADIÇAO
Quando temos uma contradição, como no caso de "João nasceu em Maceió e não nasceu em Maceió",
estamos lidando com uma proposição composta que é sempre falsa, independentemente dos valores de
verdade das proposições simples envolvidas.

a ~a a E ~a
V (Verdadeiro) F (Falso) F (Falso)
F (Falso) V (Verdadeiro) F (Falso)

Vamos analisar essa contradição na forma de uma tabela-verdade:

Como podemos ver, não importa se João nasceu ou não em Maceió, a proposição composta "Nasceu em
Maceió E ~Nasceu em Maceió" sempre resulta em falso (F). Todas as linhas da coluna "Nasceu em Maceió
E ~Nasceu em Maceió" são falsas, o que confirma que estamos lidando com uma contradição.

CONTINGÊNCIA
Uma contingência é uma proposição composta cujo valor lógico não é sempre verdadeiro nem sempre falso, ou seja,
seu valor lógico depende dos valores lógicos de suas proposições simples.

No caso da tabela-verdade fornecida para a operação bicondicional (↔), vemos que os valores na coluna de resultado
são uma mistura de verdadeiros (V) e falsos (F). Isso indica que o valor lógico da proposição composta "a ↔ b" depende
dos valores lógicos das proposições simples "a" e "b".

Vamos analisar a tabela-verdade fornecida:

a b a↔b
V V V
V F F
F V F
F F V

Podemos ver que, em algumas linhas, a proposição composta "a ↔ b" é verdadeira (V), enquanto em outras é falsa (F).
Por exemplo, quando ambas "a" e "b" são verdadeiras (primeira linha) ou ambas são falsas (última linha), a proposição
composta é verdadeira. No entanto, quando "a" é verdadeira e "b" é falsa (segunda linha) ou vice-versa (terceira linha), a
proposição composta é falsa.

Portanto, a proposição composta "a ↔ b" é uma contingência, pois seu valor lógico não é determinado apenas pelo
valor lógico de uma das proposições simples, mas sim pela relação entre elas.

RELAÇOES DE IMPLICAÇAO DE EQUIVALENCIA

IMPLICAÇAO
EQUIVALENCIA
LEIS DA IDEMPOTENCIA

LEIS ASSOCIATIVAS
 LEIS DISTRIBUTIVAS

Linguagem corrente: a proposição em formato com os conectivos, nome da proposição e o conectivo

LEIS CONDICIONAIS
LEIS BICONDICIONAIS