Atps de matematica logica
Por: jaime2700 • 1/4/2015 • Trabalho acadêmico • 379 Palavras (2 Páginas) • 310 Visualizações
Introdução
Esta etapa tem como objetivo verificar a estrutura de uma fórmula e identificar se ela é tautológica a fim de possibilitar a simplificação da mesma utilizando as equivalências tautológicas.
Etapa 3
se não ((valor1<valor2) ou ímpar(número))
ou (não(valor1<valor2) e ímpar(número)) então
proposição1
caso contrário
proposição2
fim se
P = valor1
Q = valor2
N = número
a)( ¬((P<Q) V impar(N)) V (¬(P<Q) ^ impar(N))) → proposição1
¬ → proposição2
b) (P>=Q) → proposição1
¬ → proposição2
A expressão (¬((P<Q) V impar(N)) V (¬(P<Q) ^ impar(N))) só será verdadeira quando (P>Q) e independe do valor de N.
c) se (P>=Q) então
proposição1
caso contrário
proposição2
fim se
d) EV (NÃO(¬); OU(V); E(^); SE,ENTÃO(→))
Conclusão
Ao identificar que uma fórmula bem formada é uma tautologia, tornou-se possível simplificá-la utilizando as equivalências tautológicas, reduzindo a quantidade total de passos necessários para se chegar ao resultado.
Introdução
Esta etapa tem como objetivo verificar a estrutura de uma fórmula e identificar se ela é tautológica a fim de possibilitar a simplificação da mesma utilizando as equivalências tautológicas.
Etapa 3
se não ((valor1<valor2) ou ímpar(número))
ou (não(valor1<valor2) e ímpar(número)) então
proposição1
caso contrário
proposição2
fim se
P = valor1
Q = valor2
N = número
a)( ¬((P<Q) V impar(N)) V (¬(P<Q) ^ impar(N))) → proposição1
¬ → proposição2
b) (P>=Q) → proposição1
¬ → proposição2
A expressão (¬((P<Q) V impar(N)) V (¬(P<Q) ^ impar(N))) só será verdadeira quando (P>Q) e independe do valor de N.
c) se (P>=Q) então
proposição1
caso contrário
proposição2
fim se
d)
...