Buscar

Lógica proposicional: símbolos e regras

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Prévia do material em texto

^ 
Logica 
Frase Nome Símbolo 
E Conjunção ^ 
Ou Disjunção(inclusiva) V 
Ou..ou Disjunção(exclusiva) v 
Se..., então Condicional 
Se e somente se Bi condicional 
 
Encontrar o número de linhas 
2n n=quantidade de proposições 
Tabuada logica 
E ; = tudo V da V 
Ou; V = tudo F da F 
Ou...Ou; V = iguais da F, diferentes dá V 
Se... então; V com F da F= Vera Fischer e Falsa 
Se e somente se; = iguais da V, diferentes da F 
Montando a tabela verdade 
A B A^B A v B A v B A B A B 
V V V V F V V 
V F F V V F F 
F V F V V V F 
F F F F F V V 
 TAUTOLOGIA=TUDO VERDADEIRO V V V V 
CONTRADIÇAO=TUDO DAR FALSO F F F F 
CONTIGENCIA=VARIADOS F V V F 
Implicação logica 
Lê p → q = sempre que p for verdadeiro q tem que ser verdadeiro= se...então. 
Ex. (p V q) ^ -p 
 
Equivalência da condicional 
 Eq1(nega tudo e inverte) 
Se A então B 
 Eq2(troca se pelo ou, Neymar, nega e mantem)
 
Argumentação (regras de inferência) 
E=tudo V 
Ou=pelo menos um V 
Ou...ou= valores diferentes 
Se...então=não pode aparecer V com F 
Se e somente se=valores iguais 
• Considerar que todas são verdadeiras 
• Encontrar proposição simples ou com “e” 
• Efeito dominó 
Negação do se...então 
(Troca “se” pelo “e “mantem e nega a 2 parte) =MANE 
Negação de “todo” 
P E A = NÃO P=PELO MENOS 1, E=EXISTE 1, A=ALGUM NÃO (negar a segunda parte).

Outros materiais