Grátis: Os conectivos lógicos são respectivamente: “˄”; “˅”, “→”, “↔”,“⁓”. Portanto, a negação de uma proposição pode ser representada por “não p”, ou simb... – Questões Respondidas

Matemática

Outros

Os conectivos lógicos são respectivamente: “˄”; “˅”, “→”, “↔”,“⁓”. Portanto, a negação de uma proposição pode ser representada por “não p”, ou simbolicamente por: “⁓p”. Seja: p: “2 + 4 = 6”. Assinale a alternativa que nega (⁓p) a proposição atômica “p”:
a. 4 + 2 = 6
b. 7 – 1 ≠ 6
c. 2 + 4 ≠ 6
d. 6 - 2 ≠ 4
e. 5 + 1 = 6

Matematicamente

há 9 meses

Matematicamente

há 9 meses

PROVA PRESENCIAL - ONLINE AVUNICVR2 2

PROVA PRESENCIAL - ONLINE AVUNICVR2 2

UFPE

Respostas

Ed

há 9 meses

Para negar a proposição atômica “p: 2 + 4 = 6”, precisamos encontrar uma alternativa que afirme que a proposição é falsa. A negação de "p" (⁓p) seria "2 + 4 ≠ 6". Vamos analisar as alternativas: a) 4 + 2 = 6 - Esta afirmação é verdadeira, mas não é a negação de "p". b) 7 – 1 ≠ 6 - Esta afirmação é verdadeira, mas não se relaciona diretamente com "p". c) 2 + 4 ≠ 6 - Esta é a negação correta de "p", pois afirma que 2 + 4 não é igual a 6. d) 6 - 2 ≠ 4 - Esta afirmação é verdadeira, mas não é a negação de "p". e) 5 + 1 = 6 - Esta afirmação é verdadeira, mas não é a negação de "p". Portanto, a alternativa que nega a proposição atômica “p” é: c) 2 + 4 ≠ 6.

Essa resposta te ajudou?

0

0

left-side-bubbles-background

right-side-bubbles-background

Crie sua conta grátis para liberar essa resposta. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

Ainda com dúvidas?

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

Essa pergunta também está no material:

PROVA PRESENCIAL - ONLINE AVUNICVR2 2

PROVA PRESENCIAL - ONLINE AVUNICVR2 2

UFPE

Mais perguntas desse material

Sabendo que as letras minúsculas (p, q, r,...) representam as proposições atômicas e as letras latinas maiúsculas (P, Q, R,...) as proposições moleculares, considere as proposições simples:
Traduza para a linguagem corrente e assinale a alternativa correta:
a. “Não é verdade que a inflação é quase nula ou as taxas de desemprego param de crescer se, e somente se a taxa de câmbio está valorizada”.
b. “A inflação é quase nula ou as taxas de desemprego não param de crescer se, e somente se é falso que a taxa de câmbio está desvalorizada”.
c. “A inflação é quase nula e as taxas de desemprego param de crescer se, e somente se não é verdade que a taxa de câmbio está valorizada”.
d. “As taxas de desemprego param de crescer e a inflação é quase nula ou não é verdade que a taxa de câmbio está valorizada”.
e. “Se a inflação é quase nula e as taxas de desemprego param de crescer, então a taxa de câmbio está valorizada”.

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”. Posto isso, as implicações e equivalências tautológicas fazem parte da consequência lógica cujo objetivo é a validação de argumentos.
Assinale a alternativa que completa o quadro corretamente:
a. “p ↔ ⁓⁓p” “p → p”; “⁓(p ˄ ⁓p)”.
b. “p → p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”.
c. “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”; “q ↔ p”.
d. “⁓(p ˄ ⁓p)”; “((p ˅ q) ˄ ⁓p) → q”; “p → q”.
e. “q ↔ p”; “⁓(p ˄ ⁓p)”; “p ˅ ⁓p”.

Assinale a alternativa que preenche a lacuna do texto corretamente: As Tabelas Verdade são consideradas um método semântico ou instrumento cujo objetivo é a validação dos argumentos. Além disso, a noção de ____________________ é uma das mais importantes na Lógica Matemática.
a. Teorema da Dedução
b. Implicação lógica
c. Equivalência Lógica
d. Tablôs Semânticos
e. Consequência lógica

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.
É correto o que se afirma em:
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 P1 ˄ P2 ˄ P3 ˄...˄ Pn-1.
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.

Um argumento representa um conjunto de “n”, ou fórmulas, sendo que uma é a consequência (conclusão), isto é, deriva das premissas (outras). Sendo assim, as premissas são notadas como Pi, na qual, i = 1, 2, 3, ..., (n-1) e a conclusão é “C”.
Assinale a alternativa que preenche a lacuna do texto corretamente:
a. Argumentos.
b. Asserções.
c. Proposições.
d. Predicados.
e. Refutações.

Sabemos que a linguagem formal se utiliza de palavras para exprimir ideias, sentimentos, etc. Entretanto, a lógica simbólica se utiliza de conectivos lógicos ou proposicionais representados por: “˄”; “˅”; “˅”; “→”; “↔” e “⁓”. Dessa forma, considere as proposições: p: “Está nevando” e q: “Está ventando”.
Traduza para a linguagem comum as seguintes proposições: p ˄ q ↔ ⁓p Assinale a alternativa correta:
a. Está nevando ou está ventando se, e somente se não está nevando.
b. Ou está nevando ou está ventando.
c. Se está ventando e nevando então está nevando.
d. Está nevando e ventando se, e somente se não está nevando.
e. Está ventando e nevando se, e somente se não está nevando.

A Lógica Matemática, denominada também de Lógica Simbólica, trata do discurso da linguagem corrente e seus enunciados sendo desenvolvida por meio de simbologia matemática com o objetivo de compreender a estrutura lógica das _, _ e desenvolvimento lógico-matemático.
Assinale a alternativa cujas respostas preenchem corretamente e respectivamente as lacunas do texto:
a. Proposições; argumentos.
b. Sentenças Afirmativas; Proposições.
c. Proposições; Silogismos.
d. Sentenças Exclamativas; Sentenças Interrogativas.
e. Sentenças Declarativas; Argumentos.

De acordo com as regras da consequência lógica são aplicadas implicações e equivalências lógicas. Por sua vez, é adotada uma proposição composta tal (P, Q, R,...) e organizada na forma do argumento para realizar a validação: 1. (P1) 2. (P2) ... (n-1).Pn-1 n. ∴ C
Considere a seguinte proposição “P(p, q, r)”: P: “Se tivesse tempo, iria ao teatro. Se fosse ao teatro, me encontraria com Juliette. Não tenho tempo. Portanto, não me encontrarei com Juliette”. Traduza para a forma simbólica e organize na forma do argumento. Assinale a alternativa correta:
a. 1. q → p P1 2. p → r P2 3. ⁓p P3 4. ∴ ⁓r C
b. 1. p ↔ q P1 2. q → r P2 3. p P3 4. ∴ r C
c. 1. p → q P1 2. p ↔ r P2