Buscar

LÓGICA MATEMÁTICA exercício aula 10

Prévia do material em texto

Parte superior do formulário
		
		 
	LÓGICA MATEMÁTICA
10a aula
		
	 
	Lupa
	 
	 
	
Vídeo
	
PPT
	
MP3
	 
	
	
	 
	
	
	
	
	
	 1a Questão (Ref.: 201704160605)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	Qual das equivalências tautológicas é conhecida absorção?
		
	
	p ^p <=> p
	
	~(~p) <= > p
	 
	p ^(p v r) <=> p
	 
	p ^q <=> q ^p
	
	~(p ^q ) ,=> ~p v ~q
	
	 Gabarito Comentado
	
	
	 2a Questão (Ref.: 201704160556)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	Observe a demonstração: 1 - P --> Q .........Premissa 2 - Q --> R.........Premissa 3 - ~R ........ Premissa 4 - P --> R ....................1,2 e Silogismo Hipotético 5 - ~P ........................... 3,4 ___________ . Utilizando as linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada?
		
	
	Silogismo Disjuntivo
	 
	Modus Tolens
	
	Silogismo Hipotético
	 
	Modus Ponens
	
	Adição
	
	 Gabarito Comentado
	 Gabarito Comentado
	
	
	 3a Questão (Ref.: 201704160546)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	Defina a operação utilizada na última linha da demonstração, de maneira a chegar a na conclusão a partir das premissas: 1 - P --> Q .................... premissa 2 - Q --> R ..................... premissa 3 - R --> S ..................... premissa 4 - P --> R ..................... 1,2 Silogismo Hipotético 5 - P --> S ...................... 3,4 _______________ Qual a inferência lógica deve ser colocada na linha 5
		
	
	Adição
	 
	Silogismo Hipotético
	
	Modus Ponens
	
	De Morgam
	
	Modus Tolens
	
	 Gabarito Comentado
	
	
	 4a Questão (Ref.: 201704160594)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	A regra de inferência representada pela expressão (p-->q) ^(q--> r) => p-->r é chamada de:
		
	
	Silogismo DIsjuntivo
	
	Absorção
	
	Simplificação
	 
	Silogismo Hipotético
	
	Eliminação
	
	 Gabarito Comentado
	
	
	 5a Questão (Ref.: 201704160467)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	Observe a demonstração: 1 - p v q .........Premissa 2 - p v q --> r.......Premissa 3 - r --> ~(s v t) ...... Premissa 4 - r ....................1,2 e Modus Ponens 5 - ~(s v t) ............. 3,4 ___________ . Utilizando as linhas 3 e 4 chegamos na conclusão. Para chegar a esta conclusão lógica qual regra de inferência foi utilizada?
		
	
	Modus Tolens
	
	Silogismo Disjuntivo
	
	Silogismo Hipotético
	
	Comutatividade
	 
	Modus Ponens
	
	 Gabarito Comentado
	 Gabarito Comentado
	
	
	 6a Questão (Ref.: 201704160592)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de:
		
	
	Modus Ponens
	
	Silogismo Hipotético
	 
	Modus Tollens
	
	Simplificação
	
	Silogismo Disjuntivo
	
	 Gabarito Comentado
	
	
	 7a Questão (Ref.: 201704160584)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	Ao observarmos as inferências tautológicas representadas pelas expressões (p ^q) ^r <=> p ^( q ^r) e (p v q) v r <=> p v (q v r) estamos observando uma inferência:
		
	
	Idempotente
	
	Distributiva
	
	Absorção
	 
	Associativa
	
	Leis de De morgan
	
	 Gabarito Comentado
	
	
	 8a Questão (Ref.: 201704160589)
	 Fórum de Dúvidas (0)       Saiba  (0)
	
	A regra de inferência representada pela expressão p ^(p-->q) => q é chamada de
		
	
	Silogismo Hipotético
	 
	Modus Pones
	
	Modus Tolens
	
	Silogismo DIsjuntivo
	
	Simplificação
	
	 Gabarito Comentado
	
	
	
	
Parte inferior do formulário

Outros materiais

Materiais relacionados

Perguntas relacionadas

Materiais recentes

Perguntas Recentes