AVS lll LÓGICA COMPUTACIONAL todas corretas

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

PERGUNTA 1 errei
O método dedutivo é utilizado para
	a.	
demonstrar implicações e equivalências lógicas . Não podem ser utilizados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade.
	b.	
demonstrar implicações e equivalências lógicas . São utilizadas equivalências estudadas no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração menos eficiente que construir tabelas-verdade – sendo este último um meio mais seguro e rápido.
	c.	
criar implicações e equivalências lógicas . São utilizadas apenas algumas das equivalências estudadas no tema de álgebra das proposições. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade.
	d.	
demonstrar apenas equivalências lógicas . São utilizadas equivalências no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade.
	e.	
demonstrar implicações e equivalências lógicas . São utilizadas equivalências estudadas no tema de álgebra das proposições. Igualmente são empregados os argumentos válidos fundamentais. Ademais, é uma forma de demonstração mais eficiente que construir tabelas-verdade.
0,25 pontos 
PERGUNTA 3
Considerando as seguintes posições lógicas:
Se as uvas caem, então a raposa as come.
Se a raposa as come, então estão maduras.
As uvas estão verdes ou caem.
Logo: a raposa come as uvas se e somente se as uvas caem.
E nomeando as proposições como:
p: as uvas caem.
q: a raposa come as uvas.
r: as uvas estão maduras.
Uma representação apropriada deste argumento seria:
p →q, q →r, ~r v p Ⱶ q ↔ p
Assinale a alternativa que demonstra a validade do argumento anterior e justifica CORRETAMENTE as regras de inferência utilizadas:
	a.	
Sejam:
C1: p →q
C2: q →r
C3: ~r p
Demonstração:
C4: r →p (C3: equivalência)
C5: q →p (C2 + C4: silogismo hipotético)
C6: p ↔ q (C1 + C5: equivalência de: p →q ˄ q →p)
q ↔ p (C6: comutativa)
	b.	
Sejam:
C1: q →p
C2: r →q
C3: ~r v p
Demonstração:
C4: r →p (C3: equivalência)
C5: q →p (C2 + C4: silogismo hipotético)
C6: p ↔ q (C1 + C5: equivalência de: p →q ˄ q →p)
q ↔ p (C6: comutativa)
	c.	
Sejam:
C1: p →q
C2: q →r
C3: ~r v p
Demonstração:
C4: ~r ~p (C3: equivalência)
C5: q →p (C2 + C4: modus ponen)
C6: p ↔ q (C1 + C5: equivalência de: p →q ˄ q →p)
q ↔ p (C6: associativa)
	d.	
Sejam:
C1: p →q
C2: q →r
C3: ~r v p
Demonstração:
C4: r →p (C3: equivalência)
C5: q →p (C2 + C4: teorema de Morgan)
C6: q ↔ p (C1 + C5: equivalência de: p →q ˄ q →p)
	e.	X CORRETA
Sejam:
C1: p →q
C2: q →r
C3: ~r v p
Demonstração:
C4: r →p (C3: equivalência)
C5: q →p (C2 + C4: silogismo hipotético)
C6: p ↔ q (C1 + C5: equivalência de: p →q ˄ q →p)
q ↔ p (C6: comutativa)
0,25 pontos 
PERGUNTA 4
Considerando que o argumento a uma afirmação de que dada sequência finita P1, P2..., Pn de proposições lógicas tem como consequência ou acarreta uma proposição final Q, logo:
P1, P2, P3..., Pn Ⱶ Q
E que um argumento poderá ser lido de diversas formas:
•P1, P2, P3..., Pn acarretam Q;
•Q se deduz de P1, P2, P3..., Pn.
•Q se infere de P1, P2, P3..., Pn.
Assinale a alternativa CORRETA:
	a.	
Um argumento P1, P2, P3..., Pn Ⱶ Q será considerado válido se e somente se a conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn forem verdadeiras. Ademais, tal argumento será válido se e somente se a implicação lógica (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) Q associada a este argumento for uma contradição, ou seja, se esta condicional for uma tautologia.
	b.	X CORRETA
Um argumento P1, P2, P3..., Pn Ⱶ Q será considerado válido se e somente se a conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn forem verdadeiras. Ademais, tal argumento será válido se e somente se a condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for tautológica, ou seja, se esta condicional for uma tautologia.
	c.	
Um argumento P1, P2, P3..., Pn Ⱶ Q será válido se e somente se a condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q associada a este argumento for uma contingência.
	d.	
Não é possível demonstrar um argumento P1, P2, P3..., Pn Ⱶ Q utilizando apenas uma tabela-verdade da condicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) → Q equivalente a esse argumento.
	e.	
Um argumento P1, P2, P3..., Pn Q será considerado válido se e somente se a conclusão Q for verdadeira todas as vezes que as premissas P1, P2, P3..., Pn forem verdadeiras. Ademais, tal argumento será válido se e somente se a bicondicional (P1 ˄ P2 ˄ P3 ˄ ... ˄ Pn) ↔ Q associada a este argumento for tautológica, ou seja, se esta bicondicional for uma tautologia.
PERGUNTA 
Considerando as seguintes posições lógicas:
Se as uvas caem, então a raposa as come.
Se a raposa as come, então estão maduras.
As uvas estão verdes ou caem.
Logo: a raposa come as uvas se e somente se as uvas caem.
E nomeando proposições como:
p: as uvas caem.
q: a raposa come as uvas.
r: as uvas estão maduras.
Assinale a alternativa que apresenta o argumento CORRETO:
	a.	
p →q, q →r, ~r v ~p Ⱶ q ↔ p.
	b.	
p →q, q →r, r v p →q ↔ p.
	c.X correta	
p →q, q →r, ~r v p Ⱶ q ↔ p.
	d.	
p →q, q →r, ~r v ~p Ⱶ p ↔ q.
	e.	
p v q, q →r, ~r v p Ⱶ q ↔ p.
0,25 pontos