doc logica exercícios implicação lógica

Prévia do material em texto

��
6ª Lista de Exercícios – Implicação Lógica
Mostrar que a proposição p implica a proposição q (p ( q) em cada um dos seguintes casos:
p: ( > 3; q: tg45º = 1
p: sen 30º = 1; q: 
 > 
p: ABCD é um losango; q: ABCD é um paralelogramo
p: O polígono ABCDE... é regular; q: O polígono ABCDE... é inscritível
p: O número inteiro x termina por 0; q: O número inteiro x é divisível por 5
p: ABC é um triângulo; q: A soma dos ângulos internos A, B e C é igual a 180º
p: tg 
 = 
; q: sen 
= cos 
Mostrar: a) q ( p ( q; b) q ( p ^ q ( p.
Mostrar que p ( ~q não implica p ( q
Mostrar que p não implica p ^ q e que p v q não implica p.
Mostrar: (x = y v x < 4) ^ x ( 4 ( x = y.
Mostrar: (x ( 0 ( x = y) ^ x ( y ( x = 0.
Exercícios da Relação de Implicação Lógica (()
	Regras de Inferência
	
	Adição disjuntiva (AD)
	p ( p ( q
	Simplificação conjuntiva(SIM)
	p ( q ( p ou p ( q ( q
	Modus Ponens(MP)
	( p ( q ) ( p ( q
	Modus Tollens(MT)
	( p ( q ) ( ~q ( ~p
	Silogismo Disjuntivo(SD)
	( p ( q ) ( ~q ( p
	Silogismo Hipotético(SH)
	( p ( q ) ( ( q ( r ) ( p ( r
	Dilema Construtivo(DC)
	( p ( q ) ( ( r ( s ) ( ( p ( r ) ( q ( s
	Dilema Destrutivo(DD)
	( p ( q ) ( ( r ( s ) ( ( ~q ( ~s ) ( ~p ( ~r
	Absorção(ABS)
	p ( q ( p ( ( p ( q )
Utilizando tabelas-verdade, verifique se existem as relações de implicação lógica seguintes:
p ( q ( q ( p (existe)
~( p ( q ) ( ~p ( ~q (existe)
p ( q ( r ( ~q ( r ( ~p (não existe)
~p ( ( ~q ( p ) ( ~(p ( ~q) (existe)
_1305995928.unknown
_1305996290.unknown
_1305997231.unknown
_1305996191.unknown
_1305995864.unknown