L+ôGICA MATEM+üTICA 1

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

*
*
*
LÓGICA MATEMÁTICA
ESTUDA SENTENÇAS OU PROPOSIÇÕES
(conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo)
Declarativas e Afirmativas 
Valores lógicos:
 
 VERDADEIRO ( V )
 FALSO 	 ( F )
	
*
*
*
Exemplos:
p = a circunferência é uma figura geométrica plana 	(V)
q = o número dois é par 					(V)
r = o homem é um inseto 					(F)
Não são consideradas sentenças Interrogativas ou Exclamativas.
*
*
*
Negação
~ 
~p ou p’
*
*
*
Conjunção “e” 
Λ 
A ∩ B = { x / x Є A Λ x Є B}
PROPRIEDADE: Se p é Verdadeiro e q é Verdadeiro então p Λ q é Verdadeiro de outro modo p Λ q é Falso. 
*
*
*
Disjunção “ou” V 
A U B = { x / x Є A V x Є B}
PROPRIEDADE: Se p é Verdadeiro ou se q é Verdadeiro ou ambos p e q são verdadeiros, então p V q é Verdadeiro de outro modo p V q é Falso.
*
*
*
Condicional 
 
PROPRIEDADE: p  q é Verdadeiro ao menos que p seja Verdadeiro e q seja Falso. 
*
*
*
Bicondicional ↔ 
PROPRIEDADE: Se p e q tem o mesmo valor lógico, então p ↔ q é Verdadeiro em caso contrário é Falso. 
*
*
*
 Ordem de Precedência na
 Tabela Verdade: 	
1º ~ 	 NEGAÇÃO 
2º Λ ou V CONJUNÇÃO OU
 DISJUNÇÃO
3º  	 CONDICIONAL 
4º ↔ BICONDICIONAL