Logica Computacional Flashcards
(38 cards)
O que é lógica?
Ciência que estudo os argumentos (premissas e conclusão) para discernir um pensamento válido de um inválido. Obs: Não testa sua veracidade.
O que é uma proposição?
Frase declarativa que pode ser julgada como verdadeira ou falsa.
Defina Premissas, Argumento, Silogismo e Falácia.
Premissas são as proposições base para construir um raciocínio.
Argumento são os enunciados que se inter-relacionam.
Silogismo é o raciocínio que permite chegar a uma conclusão.
Falácia é quando algo é obviamente falso.
O que são a lógica transcendental e geral?
Transcendental vem do conhecimento puro, abstrato e representativo.
Lógica Geral se refere a forma lógica do pensamento.
O que é inferência?
Processo que permite chegar a conclusões partindo de premissas.
O que é lógica dedutiva e indutiva?
A Dedutiva parte de premissas gerais para concluir verdades específicas.
Intuitiva parte de casos particulares para chegar numa verdade geral (generalização).
Obs: Um único contra exemplo inválida o argumento indutivo.
Qual a diferença entre a lógica clássica e não clássica?
A lógica clássica é binária resultando em verdadeiro ou falso, enquanto que a não clássica tem variações com vocabulário mais rico de princípios e significados distintos.
Quais os três princípios que regem a lógica clássica?
Identidade: verifica se cada coisa individual é idêntica a si mesma (se A é A);
Não Contradição: em que a proposição não pode ser verdadeira e falsa ao mesmo tempo;
Terceiro Excluído: não há terceira possibilidade além de verdadeiro ou falso.
O que é um paradoxo?
Argumento aparentemente válido que se contradiz na conclusão.
Quais as operações da álgebra booleana?
Soma associada ao conectivo OU e multiplicação ligada ao conectivo E.
Quais os conectivos sentenciais?
~ <– Negação;
^ = conjunção (AND);
v = disjunção (OR);
–> = Condicional (se…então);
<–> = Bicondicional (se, e somente se).
Quais são as lógicas não clássicas?
Variando em:
Completas = não seguem o principio do terceiro excluído;
Paraconsistentes = não respeitam o princípio da contradição;
Modais = além de veracidade e falsidade;
Fuzzy = trata de conceitos vagos e imprecisos (talvez).
O que são conjuntos?
Coleções não ordenadas de elementos que podem ser relacionadas por uma propriedade em comum. A = {…}
Como representar um conjunto?
Conjunto representado: C = { x | x é um número inteiro é (condição)}
C é o conjunto de todos os x tal que x é um número inteiro que é condição.
Pode-se usar o Diagrama de Venn também.
O que é cardinalidade?
Número de elementos de um conjunto. A = {1 , 2, 3} => |A| = 3.
O que é um quantificador universal e existencial?
Universal traduz a ideal de universalidade como “para todo” e “qualquer que seja”, (subconjunto) sendo representado por A invertido.
Existencial tem relação de existência para “há” ou “existe” (intersecção) sendo um E espelhado.
O que é subconjunto? Como os contabilizar?
Conjunto dentro de outro conjunto, simbolizado por C sem ou com underline.
A quantidade de subconjuntos possíveis de um conjunto é dado por 2 elevado ao cardinal do conjunto.
A C B (A é subconjunto de B ) e B C (c invertido) A (B contem A).
O que são as operações de união, intersecção e diferença simétrica?
União: ambos os conjuntos formam um (U);
Intersecção: une elementos em comum (n);
Diferença simétrica: união dos valores que não se intersectam em ambos os conjuntos.
O que é o complementar de um conjunto?
A diferença entre conjuntos: CBA = A - B => Todos os elementos que existem em A mas não em B.
Para que serve o método de inclusão e exclusão?
Serve para a contagem cardinal de elementos de uma união => |A U B| = |A| + |B| - |A n B|.
O que é uma operação binária?
Operação sobre pares ordenados (x, y) em que a ordem forma conjuntos diferentes.
O que é produto cartesiano?
Conjunto de pares ordenados formados tomando ambas os conjuntos em todas as formas possíveis. A x B = { (a,b) a E A, b E B) };
A = { 1, 2 } e B = {3, 4} => A x B = { (1,3) , (1,4) , (2, 3), (2,4) }
O que são proposições simples e compostas?
Enquanto a simples possui uma única declaração na frase, a composta conterá ao menos duas ligadas por conectivo lógico, podendo ser: conjunção, disjunção, negação, condicional e bicondicional.
O que é um disjunção exclusiva?
OU que retorna verdadeiro se ao menos uma das proposições forem verdadeiras mas não ambas v (com underline).
