|
Leyes que determinan el significado de las conectivas en los enunciados
p * q Leyes de la conjunción o producto lógico
p * q
V V V
p v q Leyes de la disyunción o suma lógica
p v q
F F F
p > q Leyes del condicional o implicación material
p > q
V F F
p = q Leyes de Bicondicional o equivalencia material
p = q
V V V
F F
Funciones de Verdad
Son los esquemas sentenciales o enunciados, cuyo valor de verdad depende exclusivamente de los valores de verdad de sus enunciados componentes.
Tablas de verdad:
|
p * q |
V V
V F
F V
F F |
la columna de la conectiva se llama matriz
Las columna de p y q son de validacion |
|
|
son un mecanismo de decisión. su finalidad es establecer el valor de verdad de los esquemas sentenciales y a través de ellos de todo enunciado en un proceso mecánico y finito de pasos.
|
