Grátis: É possível provar a validade de um argumento conhecido como prova direta utilizando os instrumentos de implicações e equivalências tautológicas. Po... – Questões Respondidas

Lógica

Outros

É possível provar a validade de um argumento conhecido como prova direta utilizando os instrumentos de implicações e equivalências tautológicas. Por sua vez, as implicações tautológicas são utilizadas para fazer inferências, ou seja, executar “etapas” de uma dedução ou demonstração.
Dessa forma, as implicações tautológicas são conhecidas como:
a. Regras de inferência
b. Comutação
c. Importação
d. Associação
e. Exportação

Exercícios Para o Aprendizado

ano passado

Exercícios Para o Aprendizado

ano passado

3ATIVIDADE ONLINE 1 - AV12022_3

3ATIVIDADE ONLINE 1 - AV12022_3

UNIFCV

Respostas

Ed

ano passado

Para responder à sua pergunta, vamos analisar as alternativas em relação ao conceito de implicações tautológicas e seu uso em deduções. a) Regras de inferência - Esta opção se refere a princípios que permitem derivar conclusões a partir de premissas, o que se alinha com o uso de implicações tautológicas. b) Comutação - Refere-se a uma propriedade de operações lógicas, mas não é especificamente sobre implicações tautológicas. c) Importação - Este termo não é comumente usado para descrever implicações tautológicas. d) Associação - Refere-se à forma como as operações lógicas podem ser agrupadas, mas não é o foco das implicações tautológicas. e) Exportação - Também não é um termo que se relaciona diretamente com implicações tautológicas. Diante disso, a alternativa que melhor se encaixa na descrição das implicações tautológicas, que são utilizadas para fazer inferências, é: a) Regras de inferência.

Essa resposta te ajudou?

0

0

Ainda não achou a resposta?

Integrado com os principais modelos de IA do mercado
Respostas em segundos
IA treinada para estudantes brasileiros.

Evolua sua forma de estudar

Cadastre-se ou realize login

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

3ATIVIDADE ONLINE 1 - AV12022_3

3ATIVIDADE ONLINE 1 - AV12022_3

UNIFCV

Mais perguntas desse material

Na Lógica Clássica se tem as contribuições do filósofo grego Aristóteles (384-322 a. C.). Sendo assim, na lógica aristotélica pode ser dividida em formal e material. A lógica formal ou simbólica aborda a estrutura do raciocínio, ou seja, estuda as relações entre conceitos e provas, sendo conhecida também como lógica matemática.
Assinale a alternativa cujas respostas são estruturas de lógicas formais:
a. Lógica de Programação; Lógica Matemática; Lógica Proposicional.
b. Lógica Proposicional; Lógica Paracompleta; Lógica Modal.
c. Lógica Modal; Lógica Epistêmica; Lógica Deôntica.
d. Lógica Paraconsistente; Lógica Matemática; Lógica de Programação.
e. Lógica Fuzzy; Lógica Proposicional; Lógica Deôntica.

Com relação às regras de dedução do cálculo proposicional a prova direta de validação de argumentos utiliza três regras, a saber: (1) Equivalências Tautológicas; (2) Implicações Tautológicas e o; (3) Teorema da Dedução.
A esse respeito, analise as afirmativas a seguir:
I. Jacques Herbrand (1930) e Alfred Tarski (1936) aperfeiçoaram o método da suposição que ficou conhecido como Teorema da Dedução (TD).
II. O TD consiste em: (1) assumir uma proposição P; (2) obter a partir dessa proposição utilizando regras de inferência aceitas por convenção, uma conclusão “C” e; (3) “afirmar” a condicional “P → C”.
III. “P → C” pode ser estimado das premissas P ˄ P ˄ P ˄...˄ P .
IV. Se Γ, P ⊢ C, então Γ ⊢ P → C.
a. Apenas I e II estão corretas.
b. Todas as alternativas estão corretas.
c. Apenas I, II e IV estão corretas.
d. Apenas I está correta.
e. Apenas I, II e III estão corretas.

Se representarmos as _____ e a _ utilizando fórmulas de predicados, podemos determinar que o argumento base é válido se o conjunto das fórmulas que representam as “implicar” logicamente a fórmula que corresponde a ___.
Assinale a alternativa que preenche as lacunas do texto corretamente e respectivamente:
a. Conclusões; premissa; conclusões; premissa.
b. Antecedentes; premissa; consequentes; antecedente.
c. Apagoges; antecedente; consequentes; apagoge.
d. Premissas; conclusão; premissas; conclusão.
e. Consequentes; premissa; conclusões; antecedente.

Para Mortari (2001) as tautologias são consideradas fórmulas que embasam as leis lógicas, ou seja, representam um sistema de lógica por meio de um conjunto de “leis”.
Sobre isso, analise as seguintes fórmulas tautológicas:
I – “p → p”
II – “⁓(p ˄ ⁓p)”
III – “p ˅ ⁓p”
IV – “⁓(p ˄ q) ↔ (⁓p ˅ ⁓q)”
a. Modus Ponens; Dupla Negação; Princípio do Terceiro Excluído; Leis de De Morgan.
b. Princípio da Identidade; Princípio da Não contradição; Princípio do Terceiro Excluído; Leis de De Morgan.
c. Modus Ponens; Modus Tollens; Princípio do Terceiro Excluído; Silogismo Disjuntivo.
d. Modus Ponens; Dupla Negação; Princípio do Terceiro Excluído; Modus Tollens.
e. Modus Ponens; Dupla Negação; Modus Tollens; Silogismo Hipotético.

A lógica aristotélica ou clássica obedece a três axiomas: Princípio da Identidade; Princípio da não contradição e o Princípio do Terceiro Excluído. Assim sendo, vamos analisar a proposição que representa o Princípio da Não Contradição, “⁓(p ˄ ⁓p)”.
Construa a Tabela Verdade:

A lógica aristotélica pode ser interpretada como a ciência do julgamento dividindo a lógica em e . Dessa forma, a lógica _____ ou simbólica, aborda a estrutura do raciocínio, ou seja, estuda as relações entre conceitos e provas, sendo conhecida também como lógica matemática.
Assinale a alternativa cujas respostas preenchem corretamente e respectivamente as lacunas do texto:
a. Formal; Fuzzy, material.
b. Fuzzy; material; formal.
c. Paraconsistente; paracompleta; Fuzzy.
d. Material; não clássica; material.
e. Formal; material; formal.

De acordo com Alencar Filho (2003), é possível combinar várias proposições simples (p, q, r,...) utilizando os conectivos proposicionais “˄”; “˅”; “˅”; “→”; “↔” e “⁓” e construir proposições moleculares P(p, q, r,...) com mais de duas proposições atômicas:
Construa a Tabela Verdade da proposição “⁓p ˄ (p → q)”:

A lógica apresenta várias vertentes de pensamento, entre elas está a lógica não clássica. Sendo assim, a lógica não clássica, conhecidas como alternativas ou anticlássicas são formas de lógicas que violam pelo menos um dos três princípios fundamentais (ou axiomas) da lógica clássica.
Diante do exposto, analise as afirmativas abaixo:
I – Toda proposição ou objeto é idêntico a si mesmo.
II – Toda proposição admite um e somente um valor lógico V ou F por vez.
III – Mesmo conhecendo as informações necessárias sobre a situação, dizer algo entre “pode ser” ao invés de “é” ou “não é” se torna mais conveniente.
IV – Toda proposição ou é V ou é F nunca assume um terceiro valor lógico.
a. Apenas I, II e IV estão corretas.
b. Apenas I e II estão corretas.
c. Apenas I está correta.
d. Apenas III e IV estão corretas.
e. Apenas I, II e III estão corretas.

A lógica clássica é baseada em simbolismos, isto é, padrão aristotélico, e cujo rigor tende a ser mais fundamentalista. Por sua vez, a lógica aristotélica pode ser interpretada como a ciência do julgamento dividindo a lógica em formal e material.
Assinale a alternativa cuja resposta define a abordagem da lógica formal:
a. Estrutura do Pensamento.
b. Pensamento Moral.
c. Estrutura das Possibilidades.
d. Estrutura do Raciocínio.
e. Estrutura do Conhecimento.