EM LOGICA, CADA CONECTIVO POSSUI UMA TABELA-VERDADE QUE REPRESENTA TODOS AS SUAS POSSIVEIS VALIDAÇOES
Soluções para a tarefa
Veja abaixo os 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.
Bons estudos!