Tabelas Verdade
Estudamos as Tabelas Verdade como instrumento para analisar proposições lógicas compostas por conectivos, identificando seus valores lógicos e aplicando conceitos fundamentais da lógica booleana.
Proposições e Conectivos
As proposições são sentenças que assumem valor verdadeiro (V) ou falso (F). Utilizamos conectivos lógicos (como "e", "ou", "não", "se... então", "se e somente se") para formar proposições compostas.
- Negação (~p): Inverte o valor lógico da proposição.
- Conjunção (p ^ q): Verdadeira apenas se ambas forem verdadeiras.
- Disjunção (p v q): Falsa apenas se ambas forem falsas.
- Condicional (p → q): Falsa apenas se p for verdadeira e q falsa.
- Bicondicional (p ↔ q): Verdadeira se p e q tiverem o mesmo valor lógico.
Exemplos e Interpretações
Foram apresentados vários exemplos contextualizados, como sentenças do cotidiano e proposições matemáticas. As tabelas verdade foram usadas para determinar os resultados de expressões compostas, como:
(2 ≥ 3) e (1/3 < 1/2)“Toda ave voa” ou “alguns peixes têm escamas”~[(-3<-1) v (2 = ∛27)] ^ [10 ≥ ~(4 < π)]
Tautologia, Contradição e Equivalência
Estudamos proposições logicamente válidas (tautologias), falsas (contradições) e proposições equivalentes (mesmo resultado lógico em todas as combinações).
- Tautologia: Sempre verdadeira. Ex:
(p ^ ~p) → (q v p) - Contradição: Sempre falsa. Ex:
(p v ~q) ↔ (~p ^ q) - Equivalência:
(p → q) ↔ (~q → ~p)
Aplicações Práticas
As tabelas verdade foram aplicadas em contextos reais, como sistemas eletrônicos e circuitos lógicos.
Analisamos uma rede de sensores de uma caldeira com base em proposições como:
(A v B) ^ C, determinando as condições para bloquear seu funcionamento.
- Portas lógicas modelam o funcionamento de sistemas digitais.
- Condições de falha combinadas foram representadas por proposições compostas.
Negação de Proposições Compostas
Aprendemos a negar proposições compostas utilizando equivalências lógicas clássicas:
~(p ^ q) ↔ (~p v ~q)~(p v q) ↔ (~p ^ ~q)~(p → q) ↔ (p ^ ~q)
Propriedades da Lógica
Foram vistas as propriedades algébricas da lógica proposicional, como:
- Comutativa:
p ^ q = q ^ p,p v q = q v p - Associativa:
(p ^ q) ^ z = p ^ (q ^ z) - Distributiva:
p ^ (q v z) = (p ^ q) v (p ^ z) - Identidade e Dominação:
p ^ 1 = p,p v 0 = p - Dupla negação:
~(~p) = p