ANÁLISE DOS TEOREMAS DE CORRETUDE, COMPACIDADE E COMPLETUDE

Andrei Daniel Stuhler Russi, Camila Santana do Amaral, Cleiton Kirschner,
Gilda Catarina Laurentino Fernandes, Michel Ledra
Acadêmicos de Bacharelado em Ciência da Computação

Instituto Federal Catarinense, Campus Rio do Sul dani.668@hotmail.com, skilo_norbert@hotmail.com, cakakiss@hotmail.com, gilda.fernandes@hotmail.com, michelledra@hotmail.com;

RESUMO

Neste artigo apresentamos três teoremas que surgiram para validar cálculos de predicados, corretude é aplicada para ver se o cálculo, como o nome já diz, está correto, compacidade é aplicada para ver se um subconjunto é satisfatível ou não, sendo satisfatível, vemos que ali tem compacidade e completude existe se …exibir mais conteúdo…

int L1, L2, L3, n1 = 0; String msg1 = "Isósceles", msg2 = "Equilátero", msg3 = "Escaleno";

do { do { System.out.print("\nEntre com a primeira lateral: "); L1 = entrada.nextInt();

System.out.print("Entre com a segunda lateral: "); L2 = entrada.nextInt();

System.out.print("Entre com a terceira lateral: "); L3 = entrada.nextInt();

if ((L2 + L1 < L3) || (L2 + L3 < L1))
System.out.println("\nEssas medidas não correspondem a + um triângulo,por favor redigite.");

} while ((L2 + L1 < L3) || (L2 + L3 < L1));

if (L1 == L2 && L2 == L3) System.out.println("\n Esse é um triângulo " + msg2);

else if ((L1 == L2) && (L2 != L3)) System.out.println("\n Esse é um triângulo " + msg1);

else if ((L1 != L2) && (L2 != L3)) System.out.println("\n Esse é triângulo " + msg3);

System.out.println("\n DIGITE 1(UM) PARA + REFAZER....DIGTE 0(ZERO) PARA FINALIZAR"); n1 = entrada.nextInt(); } while (n1 !=