EXERCÍCIOS Parte2

Prévia do material em texto

EXERCÍCIOS – Lógica Formal – Parte 2
1 . Encontre o ANTECEDENTE e o CONSEQUENTE de cada uma das proposições a seguir.
a. O crescimento sadio das plantas é consequência da quantidade suficiente de água.
b. O aumento da disponibilidade de informação é uma condição necessária para um maior desenvolvimento tecnológico.
c. Serão introduzidos erros apenas se forem feitas modificações no programa .
d. A economia de energia para aquecimento implica boa insulação ou vedação de todas as janelas.
2. Dado o exemplo abaixo: Construa as tabelas – verdade para as proposições a seguir. 
Operadores ( V → ↔)
EXEMPLO: A B → A ’
Primeiro verificar quantas linhas tem a tabela .... 2n sendo n o número de proposições
22 = 4 linhas
 
	A
	B
	A B
	A ’
	A B → A’
	V
	V
	V
	F
	F
	V
	F
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	F
	V
	V
 
Questões:
a) B V C ’
	B
	C
	C ‘
	B v C ‘
	V
	V
	F
	V
	V
	F
	V
	V
	F
	V
	F
	F
	F
	F
	V
	V
b) B ’ V ( A → C )
	A
	B
	C
	B‘
	A → C
	 B ’ V ( A → C )
	V
	V
	V
	F
	
	
	V
	V
	F
	F
	
	
	V
	F
	V
	V
	
	
	V
	F
	F
	V
	
	
	F
	V
	V
	F
	
	
	F
	V
	F
	F
	
	
	F
	F
	V
	V
	
	
	F
	F
	F
	V
	
	
c) ( C A’ ) ↔ B
	A
	B
	C
	A‘
	C A’
	( C A’ ) ↔ B
	V
	V
	V
	F
	
	
	V
	V
	F
	V
	
	
	V
	F
	V
	F
	
	
	V
	F
	F
	V
	
	
	F
	V
	V
	F
	
	
	F
	V
	F
	V
	
	
	F
	F
	V
	F
	
	
	F
	F
	F
	V
	
	
d) C (A’ ↔ B)
	A
	B
	C
	C ‘
	B C ’ 
	(B C ’ ) ’ → A
	V
	V
	V
	F
	F
	V
	V
	V
	F
	V
	V
	V
	V
	F
	V
	F
	F
	V
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	F
	V
	F
	F
	V
	F
	F
	F
	V
	F
	V
e) (B C ’ ) ’ → A
	A
	B
	C
	C ‘
	B C ’ 
	(B C ’ ) ’ → A
	V
	V
	V
	F
	F
	V
	V
	V
	F
	V
	V
	V
	V
	F
	V
	F
	F
	V
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	F
	V
	F
	F
	V
	F
	F
	F
	V
	F
	V
f) A V ( B C ’ ) 
	A
	B
	C
	C ‘
	B C ’ 
	A V ( B C ’ )
	V
	V
	V
	F
	F
	V
	V
	V
	F
	V
	V
	V
	V
	F
	V
	F
	F
	V
	V
	F
	F
	V
	F
	V
	F
	V
	V
	F
	F
	F
	F
	V
	F
	V
	V
	V
	F
	F
	V
	F
	F
	F
	F
	F
	F
	V
	F
	F
g) (A V B ) C ’ 
	A
	B
	C
	C ‘
	A V B
	(A V B ) C ’
	V
	V
	V
	F
	V
	V
	V
	V
	F
	V
	V
	V
	V
	F
	V
	F
	V
	V
	V
	F
	F
	V
	V
	V
	F
	V
	V
	F
	V
	F
	F
	V
	F
	V
	V
	F
	F
	F
	V
	F
	F
	F
	F
	F
	F
	V
	F
	F