Anda di halaman 1dari 5

Funciones veritativas – tabla de verdad 1

Funciones veritativas
DEFINICIÓN
Son interpretaciones semánticas de las posibilidades de verdad o falsedad de las proposiciones moleculares
en base a sus conectivas o el modificador. Son las siguientes:

Negación
Lógicamente se rige por la siguiente regla: "La negación de una proposición verdadera es falsa. La negación
de una proposición falsa es verdadera".
Esquemáticamente, se representa por la siguiente tabla de verdad:

Esto significa que si "p" es V, su negación F o viceversa.

Conjunción
La función veritativa de la conjunción se rige por la siguiente regla: "Una proposición conjuntiva es verdadera
cuando todas sus proposiciones componentes son verdaderas, siendo falsa en los demás casos".
Esquemáticamente, se tiene:

Disyunción
Disyunción inclusiva o débil
En este caso es: "Es falsa sólo cuando todos sus componentes son falsos, en los demás casos es verdadera".
Esquemáticamente, se tiene:

Disyunción exclusiva o fuerte


La regla es : "Una proposición disyuntiva fuerte es falsa cuando sus componentes tienen valores iguales, en
los demás casos es verdadera".
Esquemáticamente, se representa:

1
MRTI
Condicional
2
La regla es: "Una proposición condicional es falsa sólo cuando el antecedente es verdadero y el consecuente
es falso, siendo verdadero en los demás casos".
La función veritativa se expresa en el siguiente esquema:

Bicondicional
La regla es: "Una proposición bicondicional es verdadera cuando sus dos componentes tienen valores iguales,
y es falsa cuando sus dos componentes tienen valores distintos".
Esquemáticamente, se tiene:

RESUMEN

Ejemplos:
 Si : p = F, q = V y r = F; indicar el valor de verdad (verdadero o falso) de las siguientes fórmulas:
a) (q ˅ p)↔(r ↔ p)
b) ~[r ‫ ﬤ‬q. ˅ .~(p.q)]

Desarrollo:
a) (q ˅ p)↔(r ↔ p)
Pasos a seguir:

Resultado = V (verdadero).
Nota: Para resolver el ejercicio siguiente procedemos en forma directa, porque ya conocemos los pasos que se
siguen.

2
MRTI
b) ~[r ‫ ﬤ‬q. ˅ .~(p.q)]
3

Resultado: F (falso).
 Si la fórmula (p ˄ q) ˅ (p  s) , es falsa, halle los valores de p, q y r, respectivamente:
Desarrollo:
Pasos a seguir:

Resultado: VFF.

TABLAS DE VERDAD Y ESQUEMAS LÓGICOS


TABLAS DE VERDAD
Llamadas también de valores, tablas veritacionales, método de las matrices. Son gráficos en los que se
representan todos los valores de verdad o falsedad que pueden asumir las distintas interpretaciones de un
esquema o fórmula lógica. Wittgenstein (1889 – 1951), filósofo vienés, padre de la Filosofía Neopositivista y
Analítica, es el que propone las tablas de verdad.

FÓRMULA: C = 2n
C = Número de líneas o arreglos que tendrá las tabla.
2 = Constante numérica
n = Número de variables

GRÁFICO:

NOTA: Para hallar los valores de Verdad o Falsedad de la matriz principal de una fórmula lógica en la Tabla de
Verdad, es necesario emplear las funciones veritativas.
3
MRTI
FUNCIONES VERITATIVAS
4

PASOS A SEGUIR PARA EVALUAR LAS FÓRMULAS LÓGICAS


 Ubicar la fórmula en el lugar correspondiente de la Tabla.
 Jerarquizar la fórmula.
 Determinar el número de arreglos mediante la fórmula respectiva.
 Evaluar la fórmula de acuerdo a las reglas de las funciones veritativas, procediendo de la matriz de
menor jerarquía, hasta llegar a la matriz de mayor jerarquía.
EJEMPLOS:
Determinar la matriz principal de las siguientes fórmulas:
A) p q
B) (p ˅ q) ˄ (r ˅ p)
C) ̴ p
DESARROLLO

4
MRTI
ESQUEMAS LÓGICOS (E. L.): 5
Son fórmulas lógicas (proposiciones formalizadas) las cuales pueden asumir funciones veritativas
determinadas.
Pueden ser:

Tautológicos (T)
Son aquellos cuya matriz principal contiene únicamente valores de verdad. Se le llama también "Principios
Lógicos".
Ejemplo:

E. L. Condicional Tautológico

Consistentes (Q)
Llamados también esquemas contingentes. En estas fórmulas lógicas, la matriz principal de su tabla veritativa
presentan por lo menos un valor de verdad y uno de falsedad.
Ejemplo:

E. L. Bicondicional Contingente

Contradictorios ( )
Son fórmulas formalmente falsas, la matriz principal de su tabla de verdad sólo contiene valores falsos.
Ejemplo:

E. L. Conjuntivo Contradictorio

5
MRTI