Consistencia y completitud

Defina con sus propias palabras que es consistencia y completitud en la lógica de proposiciones.

ESQUEMA MOLECULAR DE CIRCUITOS LÓGICOS

           A continuacion se muestra una lista de ejercicios que les servira de  práctica para el examen de la próxima semana y con respecto a la actividad del block que deben realizar, pueden escoger cualquiera de los ejercicios propuestos y enviar el resultado de dos de ellos a mi correo.

De las siguientes fórmulas proposicionales determine el circuito eléctrico.

De los siguientes diagramas eléctricos determine la fórmula proposicional correspondiente.

Árbol Semántico

Árbol Semántico:

Realiza las siguientes actividades:

• Explique la diferencia entre un árbol semántico y un árbol binario.

• Representa la siguiente fórmula lógica proposicional empleando las reglas de un árbol semántico, y diga si la función es una FBF.

Solución: