Lógica Matemática Exercício 10

Prévia do material em texto

Lógica Matemática
Aula 10 
	
	
	
		1.
		A equivalência tautológica de contraposição, pode ser representada pela expressão:
	
	
	
	
	
	p ^p <=> p
	
	
	p --> q <=> ~q --> ~p
	
	
	~(~p) <=> p
	
	
	p^q <=> q ^p
	
	
		2.
		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 Hipotético
	
	
	Modus Ponens
	
	
	Comutatividade
	
	
	Silogismo Disjuntivo
	
	
		3.
		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?
	
	
	
	
	
	Modus Ponens
	
	
	Adição
	
	
	Silogismo Hipotético
	
	
	Modus Tolens
	
	
	Silogismo Disjuntivo
	
	
		4.
		A regra de inferência representada pela expressão p ^(p-->q) => q é chamada de
	
	
	
	
	
	Silogismo DIsjuntivo
	
	
	Modus Tolens
	
	
	Modus Pones
	
	
	Simplificação
	
	
	Silogismo Hipotético
	
	
		5.
		A regra de inferência representada pela expressão ~q ^(p-->q)=> ~p é chamada de:
	
	
	
	
	
	Silogismo Disjuntivo
	
	
	Modus Ponens
	
	
	Simplificação
	
	
	Silogismo Hipotético
	
	
	Modus Tollens
	
	
		6.
		A regra de inferência representada pela expressão (p v q) ^~p => q é chamada de :
	
	
	
	
	
	Simplificação
	
	
	Silogismo DIsjuntivo
	
	
	Modus Ponens
	
	
	Modus Tollens
	
	
	Silogismo Hipotético