LINGUAGEM FORMAL Flashcards
O que é uma tabela verdade?
é onde se apresentam as possíveis interpretações para uma proposição simples ou composta V ou F
Quais são os operadores/conectivos lógicos da conjunção e qual é seu símbolo?
e, mas, tanto como
símbolo A ^ B
Quais são os operadores/conectivos lógicos da disjunção inclusiva e qual é seu símbolo?
ou
símbolo AˇB
Quais são os operadores/conectivos lógicos da disjunção exclusiva e qual é seu símbolo?
ou…ou…
símbolo A -ˇ B
Quais são os operadores/conectivos lógicos da condicional e qual é seu símbolo?
se… então…, quando, como
símbolo A -> B
Quais são os operadores/conectivos lógicos da bicondicional e qual é seu símbolo?
se, e somente se / tanto quanto
símbolo A <-> B
Quais são os operadores/conectivos lógicos da negação/modificador lógico e qual é seu símbolo?
não
símbolo ~ A / ¬ A
Qual é a hierarquia quanto a intensidade dos operadores lógicos?
- bicondicional
- condicional
- conjunção/disjunção
- negação
Para que servem os parênteses?
quando não quiser obedecer a hierarquia dos operadores
Qual é a tabela verdade da conjunção?
A ^ B = B ^ A
Só é verdadeiro, se todos forem verdadeiros
Qual é a tabela verdade da disjunção inclusiva?
a ˇ b = b ˇ a
Basta 1 verdade para ser verdadeiro
Qual é a tabela verdade da disjunção exclusiva?
a -ˇ b = b -ˇ a
Basta 1 verdade para ser verdadeiro
Qual é a tabela verdade da condicional?
a -> b XXXX b -> a
Só é falso se for VERA FISHER
Qual é a tabela verdade da bicondicional?
a <-> b = (a -> b) ^ (b -> a)
a <-> b = b <-> a
Precisa ser VV ou FF
Qual é a tabela verdade da negação?
o que não está em A, está em ~A
O contrário do A