Buenas, en el teórico vimos en dos partes un teorema que quisiera corroborar. El directo lo llamamos condicion suficiente de consistencia, y luego del teorema de completitud vimos el reciproco. Lo que me llama la atencion es que nunca vieramos el SSI completo.
Entonces, es cierto que:
un conjunto es consistente SSI existe una valuacion que vale 1 para cada elemento del conjunto?
Muchas gracias,
Adolfo Castelo