Circuitos

Existe una gran relación entre la lógica proposicional y los circuitos electricos, gracias a esta relación es posible encontrar solución a cualquier problema basado en el funionamiento y construccion de computadoras electronicas. Para desarrollar y comprender la relación es necesario tener en cuanta tres estructuras lógicas; la conjunción, la disyunción y la negación.

Encontramos dos clases de circuitos el circuito en serie, el circuito en paralelo.

Las siguientes son las formalizaciones de las tablas sobre los circuitos digitales

Existen diversidad de formas para expresar un circuito y una de ellas es empleando formulas ya estudiadas.

Las formulas lógicas empleadas en la contruccion de circuitos son:

 

Reglas Para Formulaciones Lógicas

Para desarrollar las formulas lógicas es importante tener en cuenta la sintaxis de las proposiciones. Tener un orden para construir las formulas, y establecer las normas para asi relacionar los simbolos de una forma adecuada. A estas formulas se les denomina como FBF (Formulas Bien Formuladas).

Estas reglas son:

Manifiesta el operador monadico; representando a el adverbio negativo "NO"

Su respectiva tabla de verdad es:

 

Negación Alterna

Representa a la expresión "no...no"

Su respectiva tabla de verdad es:

Negación Conjunta

Simboliza las particulas "ni ni"

Su respectiva tabla de verdad es:

Bicondicional

Representa la Conjunción compuesta "si y solo si"

Su respectiva tabla de verdad es:

Condicional

Es la conjunción compuesta si... entonces si:

Su respectiva tabla de verdad es:

Disyuntivo

La conjuncion que representa la letra "O" 

Tabla de la Verdad de la Disyunción Inclusiva:

Tabla de la verdad de la Disyunción Exclusiva:

Conjuntivo

Representa la Conjunción "Y"

Su respectiva tabla de verdad es:

Lenguaje de Formalización

Logica Proposicional utiliza simbolos que se encargan de representar las propiedades más importantes de las proposiciones o inferencias.

Estas variables proposicionales se representan como cualquier letra del abecedario, y cada operador lógico consta de su respectivo simbolo y su tabla de verdad.