Respostas
A tabela verdade um dispositivo, que possibilita a definição do valor lógico de uma determinada proposição, ou seja, viabiliza saber se uma sentença é verdeira ou falsa.
As proposições podem ser simples ou compostas. Elas representam pensamentos completos e indicam afirmações de fatos ou ideias, onde seu resultado depende apenas do valor de cada proposição.
A tabela verdade é utilizada em proposições compostas, ou seja, sentenças formadas a partir de proposições simples. Ao combinar proposições simples são formadas as proposições compostas, onde são utilizados os conectivos lógicos para determinar seu valor lógico. Esses conectivos são quem representam as operações lógicas.
Veja abaixo os principais conectivos, os símbolos utilizados para representá-los, a operação lógica que representam e o resultante valor lógico.
Conectivo: E ou AND
Simbolo: ∧ ou • ou &
Operação lógica: conjunção
Valor lógico: será verdadeira somente quando todas as proposições forem verdadeiras.
Conectivo: OU ou OR
Simbolo: ∨ ou + ou ǀǀ
Operação lógica: disjunção
Valor lógico: será verdadeira quando pelo menos uma das proposições for verdadeira.
Conectivo: NÃO ou NOT
Simbolo: ~ ou ¬ ou !
Operação lógica: negação
Valor lógico: inverte o valor da proposição. Terá valor falso quando a proposição for verdadeira e vice-versa.
Conectivo: SE...ENTÃO ou IF...THEN
Simbolo: ⇒ ou → ou ⊃
Operação lógica: condicional
Valor lógico: será falsa quando a proposição antecedente for verdadeira e a consequente for falsa.
Conectivo: ...SE E SOMENTE SE... ou ...IF AND ONLY IF...
Simbolo: ⇔ ou ≡ ou ↔
Operação lógica: bicondicional
Valor lógico: será verdadeira quando ambas as proposições forem verdadeiras ou ambas falsas.
Espero ter ajudado.
Se foi útil, marque como melhor resposta.
Grato.
Bons estudos!