Lógica Proposicional Flashcards
“O que é lógica?”
“Estudo dos métodos e princípios para distinguir raciocínio correto do incorreto.”
“Qual é a origem da palavra “lógica”?”
“Termo derivado da palavra grega “logos”.”
“Qual foi a contribuição de Aristóteles para a lógica?”
“Organização da Lógica dedutiva e Teoria do Silogismo.”
“O que são os silogismos aristotélicos?”
“São regras básicas de argumentação lógica que geram conclusões a partir de premissas. Exemplo: “Todo homem é mortal. Sócrates é homem. Então; Sócrates é mortal.””
“Quais são os princípios da lógica aristotélica?”
“Identidade; não-contradição e terceiro excluído.”
“Por que George Boole é importante para a lógica?”
“Sua contribuição é fundamental nos projetos de circuitos digitais.”
“Quem é Gottlob Frege?”
““Pai” da lógica matemática moderna.”
“Qual foi a contribuição de Alfred Tarski para a lógica?”
“Aplicação da lógica a problemas práticos e teóricos.”
“Por que estudamos lógica?”
“Para desenvolver raciocínio; analisar argumentos e resolver problemas complexos.”
“Quais são as aplicações da lógica na computação?”
“Desenvolvimento de máquinas; programação; inteligência artificial e verificação de sistemas.”
“O que é lógica formal e lógica informal?”
“Formal: Estruturas e formas válidas de argumentos. Informal: Análise de argumentos em contexto específico.”
“Quais são os tipos de raciocínio lógico?”
“Indutivo: De particular para geral. Dedutivo: De geral para particular. Abdutivo: Procura a melhor explicação provável.”
“O que são argumentações inválidas (falácias)?”
“Conclusões inválidas baseadas em premissas corretas.”
“Qual é a importância da lógica?”
“Base para o desenvolvimento do pensamento crítico e científico.”
“Qual é a relevância dos princípios da lógica aristotélica?”
“Bases para o entendimento e aplicação da lógica em diversos campos.”
“Qual é o legado de George Boole?”
“Influência na lógica computacional e no desenvolvimento tecnológico.”
“Origem da lógica”
“A lógica se originou na filosofia com Sócrates; Platão e Aristóteles.”
“George Boole”
“Matemático e lógico que contribuiu para a lógica simbólica e a álgebra de Boole.”
“Aplicações da lógica”
“Raciocínio; argumentação; ciência; tecnologia; cidadania e tomada de decisões.”
“O que é raciocínio indutivo?”
“Raciocínio que parte de observações ou experimentações para chegar a hipóteses ou teorias gerais”
“O que é raciocínio dedutivo?”
“Raciocínio que parte de hipóteses ou teorias gerais para chegar a conclusões específicas”
“O que é raciocínio abdutivo?”
“Raciocínio que parte de observações incompletas para chegar a explicações prováveis”
“O que é lógica formal?”
“Trata das estruturas e formas válidas de argumentos; independentemente do conteúdo específico.”
“O que é lógica informal?”
“Leva em conta o conteúdo e as circunstâncias em que os argumentos são apresentados; considerando a persuasão; falácias e a qualidade dos argumentos na prática.”
“Quais são os tipos de lógica?”
“Clássica - Não-clássica”
“Quem buscou organizar a lógica dedutiva e seus processos?”
“Aristóteles”
“Qual é o princípio da lógica aristotélica que diz respeito à veracidade das ideias?”
“Princípio da IDENTIDADE”
“Qual método de prova em Lógica Proposicional que utiliza árvores de decisão?”
“Tableaux semânticos”
“Qual é a contribuição de Alfred Tarski para a aplicação da lógica a problemas práticos e teóricos do mundo real?”
“Teoria dos modelos. Ele é mais conhecido por sua definição de verdade semântica e pela introdução do conceito de consequêncial”
“Qual é o tipo de raciocínio que procura concluir a melhor explicação com o conhecimento existente?”
“Raciocínio abdutivo”
“Qual é o método de prova na Lógica Proposicional que utiliza a resolução de cláusulas?”
“Resolução; A Resolução é um método de prova refutável para determinar se uma fórmula proposicional é válida ou não. O método funciona através da resolução de cláusulas; que são conjuntos de literais (proposições ou suas negações).”
“Qual é princípio da lógica aristotélica que diz que a identidade de algo não pode ser ela mesma e não ser ela ao mesmo tempo e sob o mesmo aspecto?”
“Princípio da Não-Contradição.
O Princípio da Não-Contradição afirma que é impossível que uma proposição e sua negação sejam verdadeiras ao mesmo tempo e sob o mesmo aspecto. Em outras palavras; algo não pode ser e não ser ao mesmo temp”
“Qual é o tipo de raciocínio que parte de hipóteses para chegar a uma conclusão necessária?”
“Raciocínio dedutivo”
“Qual método de prova na Lógica de Predicados que utiliza a construção de modelos?”
“Tableaux semânticos. Este método é uma técnica eficaz para determinar a validade de argumentos lógicos. Ele usa uma estrutura de árvore para representar a decomposição de fórmulas lógicas e pode ser usado para verificar se uma fórmula é satisfatória (ou seja; se existe uma interpretação que a torna verdadeira) ou para gerar todas as interpretações que satisfazem uma fórmula.”
“Qual a definição de uma proposição na lógica proposicional?”
“Uma proposição é uma sentença declarativa que pode ser interpretada como verdadeira ou falsa; mas não ambas.”
“Quantos conectivos principais são utilizados na lógica proposicional?”
“são 5. Negação (¬): Indica a negação de uma proposição.
Conjunção (∧): Representa a operação ‘E’ lógico; indicando que ambas as proposições são verdadeiras.
Disjunção (∨): Representa a operação ‘OU’ lógico; indicando que pelo menos uma das proposições é verdadeira.
Condicional (→): Representa a implicação lógica; indicando que uma proposição implica na outra.
Bicondicional (↔): Representa a bi-implicação lógica; indicando que as proposições têm o mesmo valor de verdade.”
“O que significa uma fórmula bem-formada na lógica proposicional?”
“Uma fórmula bem-formada na lógica proposicional é aquela que segue as regras da linguagem e sintaxe estabelecidas; garantindo sua correta interpretação e aplicação.”
“Qual é o conectivo unário na lógica proposicional?”
“O conectivo unário na lógica proposicional é a negação (¬); que é aplicado sobre uma única fórmula para inverter seu valor de verdade.”
“O que é uma subfórmula na lógica proposicional?”
“Uma subfórmula na lógica proposicional é uma parte de uma fórmula maior; podendo ser uma fórmula completa ou uma parte dela; facilitando a análise e manipulação de expressões lógicas mais complexas.”
“O que é uma proposição na lógica proposicional?”
“Uma proposição é uma sentença declarativa que pode ser interpretada como verdadeira ou falsa; mas não ambas.”
“Quais são os símbolos de pontuação utilizados na lógica proposicional?”
“Os símbolos de pontuação utilizados na lógica proposicional são os parênteses ( e ). Eles são usados para agrupar expressões e estabelecer a ordem de avaliação das operações lógicas.”
“O que é uma fórmula atômica na lógica proposicional?”
“Uma fórmula atômica na lógica proposicional é uma fórmula simples que não pode ser dividida em partes menores; representando uma proposição básica que não contém conectivos lógicos.
Exemplos de fórmulas atômicas:
P: ‘Está chovendo’
Q: ‘O sol está brilhando’
R: ‘O carro é vermelho’”
“O que é uma fórmula composta na lógica proposicional?”
“Uma fórmula composta na lógica proposicional é uma fórmula que contém mais de uma proposição simples e/ou conectivos lógicos; formando uma expressão mais complexa que pode ser avaliada quanto à sua verdade.”
“Qual é a definição de uma tautologia na lógica proposicional?”
“Uma tautologia na lógica proposicional é uma fórmula que é sempre verdadeira; independentemente dos valores de verdade atribuídos às proposições individuais que a compõem.”
“O que é uma contradição na lógica proposicional?”
“Uma contradição na lógica proposicional é uma fórmula que é sempre falsa; independentemente dos valores de verdade atribuídos às proposições individuais que a compõem.”
“Qual é a definição de conectivos proposicionais na lógica proposicional?”
“São símbolos utilizados para representar os operadores lógicos.”
“Qual é a definição de símbolos de verdade na lógica proposicional?”
“São símbolos utilizados para representar a verdade e a falsidade.”
“Qual é a definição de alfabeto da lógica proposicional?”
“É o conjunto de símbolos utilizados para representar as fórmulas.”
“O que é lógica proposicional?”
“A lógica proposicional é a forma mais simples e fundamental da lógica formal.”
“O que é uma proposição?”
“Uma proposição é uma sentença declarativa que pode ser interpretada como verdadeira ou falsa; mas não ambas.”
“Quais são os símbolos do alfabeto da Lógica Proposicional?”
“O alfabeto da Lógica Proposicional é constituído por símbolos de pontuação; símbolos proposicionais e conectivos proposicionais.”
“O que é uma fórmula da Lógica Proposicional?”
“As fórmulas da Lógica Proposicional são construídas de forma indutiva a partir dos símbolos do alfabeto conforme certas regras.”
“O que é o comprimento de uma fórmula?”
“O comprimento de uma fórmula é definido como o número de símbolos na fórmula; não contando os símbolos de pontuação.”
“O que são fórmulas mal formadas?”
“Fórmulas mal formadas são fórmulas que não pertencem à lógica proposicional.”
“O que é uma árvore sintática?”
“Uma árvore sintática é uma forma de representação de uma fórmula da Lógica.”
“O que é a ordem de precedência dos símbolos conectivos?”
“A ordem de precedência dos símbolos conectivos é uma ordem de precedência dos símbolos conectivos para resolução da fórmula.”
“O que é a associatividade dos símbolos conectivos?”
“As regras de associatividade definem a prioridade no cálculo para conectivos de mesma precedência.”
“Qual é o objetivo da semântica na lógica proposicional?”
“Associar valores verdade às fórmulas
A semântica na lógica proposicional tem como objetivo associar valores verdade (verdadeiro ou falso) às fórmulas, permitindo a análise lógica das proposições.”
“O que é uma função binária total na interpretação de fórmulas proposicionais?”
“Uma função definida em todos os elementos de seu domínio
Uma função binária total na interpretação de fórmulas proposicionais é aquela que está definida em todos os elementos de seu domínio, garantindo uma interpretação completa das fórmulas. É uma relação entre dois conjuntos quaisquer, A e B, e uma regra que permite associar a cada elemento de A um único elemento de B.”
“Qual é o contradomínio de uma interpretação na lógica proposicional?”
“{T, F}
O contradomínio de uma interpretação na lógica proposicional é o conjunto {T, F}, representando os valores verdade possíveis para as fórmulas.”
“O que é necessário para uma função ser considerada total?”
“Ser definida em todos os elementos de seu domínio
Uma função é considerada total quando está definida em todos os elementos de seu domínio, garantindo uma interpretação para cada elemento.”
“Qual é a importância da interpretação de fórmulas proposicionais na lógica?”
“Permite a análise lógica das proposições
A interpretação de fórmulas proposicionais é fundamental na lógica, pois permite a análise lógica das proposições e a determinação de valores verdade para cada fórmula.”
