Raciocínio Lógico Flashcards
O que é lógica sentencial?
É a expressão de um raciocínio completo (com sentido).
O que são sentenças abertas?
São aquelas em que não se pode determinar um sujeito. Não é possível identificar se são (F) falsas ou (V) verdadeiras.
Quais são os tipos de sentença?
Afirmativa
Negativa
Interrogativa
Exclamativa
Imperativa
Quais são as Três Leis do Pensamento (Princípios Fundamentais da Lógica Proposicional)?
- Princípio da Identidade
- Princípio da Contradição (Princípio da Não Contradição)
- Princípio do Terceiro Excluído
Considerando os tipos de sentença, quais são obrigatoriamente sentenças abertas?
Interrogativa
Exclamativa
Imperativa
Como são chamadas as sentenças fechadas?
Proposições
Quais termos são responsáveis por transformar sentenças abertas em sentenças fechadas (quantificadores lógicos)?
Todo (universalidade afirmativa)
Nenhum (universalidade negativa)
Algum (ideia de particularidade)
Quais são os operadores ou conectivos lógicos?
- Conjunção
- Disjunção Inclusiva (ou disjunção)
- Disjunção Exclusiva
- Condicional
- Bicondicional
- Negação ou Modificador Lógico
Quais são e qual é o símbolo do conectivo lógico conjunção?
e, mas, tanto como
Símbolo ^
P Q P^Q
V V V
V F F
F V F
F F F
(somente a combinação V V é verdadeira)
Quais são e qual é o símbolo do conectivo lógico disjunção inclusiva?
ou
Símbolo ˅
P Q P˅Q
V V V
V F V
F V V
F F F
(somente a combinação F F é falsa)
Quais são e qual é o símbolo do conectivo lógico disjunção exclusiva?
ou… ou…
Símbolo ˅_
P Q P˅_Q = (P - Q) U (Q - P)
V V F
V F V
F V V
F F F
Quais são e qual é o símbolo do conectivo lógico condicional?
se… pois… porque… (antecedente) então… logo… portanto…. assim… (consequente)
“se… então…” > “quando…” ou “somente se…”
Símbolo →
P Q P→Q (P→Q ≠ Q→P)
V V V
V F F (Vera Fischer)
F V V
F F V
Quais são e qual é o símbolo do conectivo lógico bicondicional?
se, e somente se… (atenção a diferneça do ‘somente se…’ condicional)
Símbolo ↔
P Q P↔Q
V V V
V F F
F V F
F F V
Quais são e qual é o símbolo do conectivo lógico negação ou modificador lógico?
não, não é verdade, é falso que
Símbolo ¬ ou ~
P ~P
V F
F V
Qual é a fórmula do cálculo do nº de linhas da tabela verdade?
2 elevado a n, sendo n o nº de proposições simples