Lógica Sentencial: Tabela Verdade Flashcards
O que é uma tabela verdade?
É uma tabela que serve para representar todas as possibilidades de valores lógicos para uma ou mais proposições simples.
P Q
v v
v f
f v
f f
Como definir o numero de linhas de uma tabela verdade?
Para prever o número de linhas que uma tabela verdade terá basta multiplicar um “2” para cada proposição simples envolvida, assim:
Tabela verdade para uma proposição simples: 2 linhas
Tabela verdade para duas proposições simples: 2.2 = 2² = 4 linhas
Tabela verdade para três proposições simples: 2.2.2 = 2³ = 8 linhas
Tabela verdade para quatro proposições simples: 2.2.2.2 = 2⁴ = 16 linhas
O que é Conjunção?
É a proposição composta que utiliza o conectivo “e”, todo conectivo possuí um símbolo para sua representação sendo “^” o símbolo do conectivo “e”.
Ex: Hoje é sábado e está sol
“as conjunções somente serão verdadeiras quando as duas proposições simples envolvidas forem verdadeiras”.
O que é Disjunção Inclusiva?
É a proposição composta que utiliza o conectivo “ou” que é representado pelo símbolo “v”.
Ex: Hoje é sábado ou está sol
“as disjunções inclusivas somente serão falsas quando as duas proposições simples envolvidas forem falsas”.
O que é Implicação ou Condicional
É a proposição composta que utiliza o conectivo “Se…, então” que é representado pelo símbolo “→”.
Ex: Se hoje está sol, então vou para a praia
“as implicações somente serão falsas quando a primeira proposição envolvida (p), nomeada de antecedente, for verdadeira e a segunda proposição (q), nomeada de consequente, for falsa”. (mais conhecido como Vera Fischer)
O que é Bi Implicação ou Bi Condicional?
É a proposição composta que utiliza o conectivo “se, e somente se,” que é representado pelo símbolo “↔”.
Ex: Vou para a praia se, e somente se, estiver sol
“as bi implicações somente serão verdadeiras quando as duas proposições forem iguais, ou seja, possuírem o mesmo valor lógico”.
O que é a Disjunção Exclusiva?
É a proposição composta que utiliza o conectivo “ou…ou…” que é representado pelo símbolo “⊻” ou “⊕”
Ex: Ou hoje é sábado ou está sol
“as disjunções exclusivas somente serão verdadeiras quando as duas proposições forem diferentes, ou seja, possuírem valores lógicos contrários”.
