leyes del algebra proporcional

La Lógica:
La ciencia que se basa en las leyes, modalidades y formas del conocimiento científico se conoce bajo el nombre de lógica. Se trata de una ciencia de carácter formal que carece decontenido ya que hace foco en el estudio de las alternativas válidas de inferencia. Es decir, propone estudiar los métodos y los principios adecuados para identificar al razonamiento correcto frente al queno lo es.

Tabla de valores de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valoresde verdad que se pueda asignar a sus componentes.

Verdadero



El valor verdadero se representa con la letra V, si se emplea notación numérica se expresa con un uno: 1, en un circuitoeléctrico, el circuito esta cerrado.

Falso
El valor falso se representa con la letra F, si se emplea notación numérica se expresa con un cero: 0, en un circuito eléctrico, el circuito esta abierto.Conjunción
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones sonverdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjunción es la siguiente:

Que se corresponde con la columna 8 delalgoritmo fundamental.


Disyunción
La disyunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdaderocuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.
La tabla de verdad de la disyunción es la siguiente

Que se corresponde con la columna 2 delalgoritmo fundamental
Condicional
El condicional material es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad...