Tablas de verdad y su lógica
JAVIER MICHEL FLORES COYOTL
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
Para establecer un Sistema formal se establecen las definiciones de
los operadores. Las definiciones se harán en función del fin que
se pretenda al construir el sistema que haga posible la formalización de argumentos:
·
Como razonamientos deductivos lógico-lingüísticos
·
Como construcción de un sistema matemático
puro
·
Como una aplicación lógica en un Circuito de conmutación
Verdad
El valor verdadero se representa con la letra V; si se
emplea notación numérica se expresa con un uno: 1; en un circuito
eléctrico, el circuito está cerrado cuando está presente la afirmación de V.
Falso
El valor falso F; si se emplea notación numérica se expresa con un cero: 0; en un circuito eléctrico, el circuito está abierto.
Variable
Para una variable lógica A, B, C, ... pueden
ser verdaderas V, o falsas F, los operadores fundamentales
Negación
La
negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de
la proposición considerada.
Conjunción
La conjunción es
un operador, que actúa sobre dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando
ambas proposiciones son verdaderas, y falso en cualquier otro caso.
Es decir, es verdadera cuando ambas son verdaderas.
En términos más simples, será verdadera cuando las dos
proposiciones son verdaderas.
Comentarios
Publicar un comentario