O que é logica proposicional? E o que são as tabelas da verdade?
Soluções para a tarefa
Tabela verdade, tabela de verdade ou tabela veritativa: É um tipo de tabela matemática, usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
É lógica proposicional:É um sistema formal no qual as fórmulas , representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal.
A tabela verdade é utilizada no estudo da lógica, possibilitando a definição do valor lógico de uma proposição, ou seja, viabiliza conhecer se uma sentença é verdadeira ou falsa.
As proposições (simples e compostas) 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. Para combinar as proposições simples e formar proposições compostas são utilizados os conectivos lógicos. 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
Símbolos: ∧ 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
Símbolos: ∨ 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
Símbolos: ~ 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
Símbolos: ⇒ 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...
Símbolos: ⇔ 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!