Unidad 3 LPI

Parámetros de Verdad Proposicional I-2023
UNIVERSIDAD DE CARABOBO
FACULTAD DE CIENCIAS DE LA EDUCACIÓN
ESCUELA DE EDUCACIÓN
DEPARTAMENTO DE MATEMÁTICA Y FÍSICA
MÓDULO: LÓGICA Y MATEMÁTICA
UNIDAD CURRICULAR: LÓGICA PROPOSICIONAL E INFERENCIAL
Parámetros de Verdad Proposicional

Unidad III
Jefa del Módulo: Prof. Einys Fernández

Correo: einys.nathaly@gmail.com
Canal Youtube: @ProfEinysFernandez
Instagram: @einys_f
TikTok:@profeinys
Tw: @einys
Whasapp: 0424-4957262 Classroom: sristdp
Todas vuestras cosas sean hechas con amor
1era Corintios 16:14
1/28 Elaborado por: Prof. Einys Fernández UC-FACE Dep. Matemática y Física
ÍNDICE
Pp
Unidad III: Parámetros de Verdad Proposicional

* Tablas de verdad o certidumbre………………………………………………… -3-
* Objeto de las tablas de verdad o certidumbre………………………………….. -3-
* Clasificación o tipos de tablas de verdad………………………………………. -3-
* Tabla de verdad fundamental…………………………………………………… -3-
* Construcción de las tablas fundamentales……………………………………… -3-
1.- Tabla de verdad fundamental del conector NEGACIÓN ( - )…………... -4-
2.- Tabla de verdad fundamental del conector CONJUNCIÓN ( ^ )………. -5-
3.- Tabla de verdad fundamental del conector DISYUNCIÓN -6-
INCLUSIVA ( v )…………………………………………………………………
4.- Tabla de verdad fundamental del conector DISYUNCIÓN -7-
EXCLUSIVA ( v )……………………………………………………………….
5.- Tabla de verdad fundamental del conector CONDICIONAL ( → )…….. -8-
6.- Tabla de verdad fundamental del conector BICONDICIONAL ( ↔ )….. -9-
* Tabla de verdad completa -10-
*¿Cómo levantar una tabla de verdad completa? -11.
* Conector Principal -12-
* Ejemplo para construcción de tablas de verdad completa -12-
* Tipos de polinomios -16-
* Tabla de verdad parcial -16-
* Diferencias entre tabla de verdad parcial y completa -19-
* Antecedente y consecuente en un polinomio proposicional -19-
* Implicación material y lógica -19-
* Prueba de la implicación lógica -20-
* Equivalencia lógica -22-
* Otras pruebas formales de no validez de un razonamiento -25-
 Prueba de no validez de un razonamiento -25-
 Método de reducción “AD ABSURDUM” -26-
Referencias Bibliográficas………………………………………………………... -27-
UNIDAD III “Parámetros de Verdad Proposicional”
Tablas de verdad o certidumbre

Es un método de determinar el valor de certidumbre de las proposiciones lógicas
también llamado parámetros de verdad, en el cual se apoya en los conectores u operadores
lógicos, estudiados en la unidad anterior.
Objeto de las tablas de verdad o certidumbre

Las tablas de verdad tienen como finalidad determinar el valor veritativo de las
proposiciones compuestas y la validez del polinomio proposicional
Clasificación o tipos de tablas de verdad

Matriz fundamental o tabla Tabla de verdad completa o Tabla de verdad parcial o
de verdad fundamental derivada diagrama del árbol
 Tabla de verdad fundamental

Son aquellas tablas también denominadas matrices de los operadores lógicos ya que
la función veritativa es diferente en cada uno de los conectores de la lógica proposicional,
es necesario recordar que estos conectores son: la negación, la conjunción, la disyunción
inclusiva, la disyunción exclusiva, el condicional y el bicondicional.
Construcción de las tablas fundamentales

Una proposición lógica simple sólo puede tener dos valores de verdad, es decir, o es
verdadera o es falsa, pero no se puede dar ambas posibilidades. De esta manera, una
proposición simple tendrá dos filas, esto se deduce de la potencia 𝟐𝒏 , donde n es el número
de variables proposicionales afirmativas y el resultado de dicha expresión matemática
corresponde al número de filas que tendrá la tabla.
Ejemplo Hoy es martes
Simbolización Alternativa de veracidad Potencia Expresión Matemática
2𝑛 21 = 2 filas
Verdadera V=1 21 = 2
p n = 1 porque hay una
Falsa F=0 sola proposición (p)
1.- Tabla de verdad fundamental del conector NEGACIÓN ( - )

La negación es un conector unitario el cual tiene como función veritativa cambiar un valor de verdad de una proposición simple
o de un conector, es decir, si la proposición indica VERDADERO a través de la negación se cambia a FALSO, y viceversa.
Ejemplo Hoy no es martes
Expresión
Simbolización Potencia Indicación de la NEGACIÓN MATRIZ DE LA NEGACIÓN
Matemática
2𝑛
1 La negación dice:
2 =2 21 = 2 filas Si es verdadero lo cambio a falso, y, si
n = 1 porque
es falso lo cambio a verdadero
-p hay una
variable
V cambia a F
proposicional
F cambia a V
{p}
2.- Tabla de verdad fundamental del conector CONJUNCIÓN ( ^ )

La conjunción es un conector binario el cual tiene como función veritativa indicar VERDADERO si y solo si las dos compones
dadas son VERDADERAS ( V ^ V ) , de lo contrario las demás alternativas binarias serán falsas.
Ejemplo Hoy es martes y mañana es miércoles
Indicación de la MATRIZ DE LA
Simbolización Potencia Expresión Matemática
CONJUNCIÓN CONJUNCIÓN
2
2 = 4 filas La conjunción solicita que:
Se le asigna a Las dos componentes
2𝑛 p: 2 V y 2 F (antecedente y consecuente)
22 = 2 ∙ 2 = 4 q: 1V y 1F hasta completar sean verdaderas para que su
n = 2 porque las filas resultado sea verdadero.
p^q hay dos
variables
proposicionales
{p, q}
V^V =V
3.- Tabla de verdad fundamental del conector DISYUNCIÓN INCLUSIVA ( v )

La disyunción inclusiva es un conector binario el cual tiene como función veritativa indicar FALSO si y solo si las dos
compones dadas son FALSAS ( F v F ), de lo contrario las demás alternativas binarias serán verdaderas.
Ejemplo Bailas o cantas
Indicación de la MATRIZ DE LA
DISYUNCIÓN INCLUSIVA DISYUNCIÓN INCLUSIVA
22 = 4 filas La disyunción inclusiva
Se le asigna a solicita que:
2𝑛 p: 2 V y 2 F Las dos componentes
2
2 = 2∙2= 4 q: 1V y 1F hasta completar (antecedente y consecuente)
n = 2 porque las filas sean falsas para que su resultado
pvq hay dos sea falso.
variables
proposicionales
{p, q}
FvF=F
4.- Tabla de verdad fundamental del conector DISYUNCIÓN EXCLUSIVA ( v )

La disyunción exclusiva es un conector binario el cual tiene como función veritativa indicar VERDADERO si y solo si las dos
compones dadas son DIFERENTES (V v F, F v V), es decir, si esta verdadero falso o falso verdadero, de lo contrario las demás
alternativas binarias serán falsas.
Ejemplo O bailas o cantas
Indicación de la DISYUNCIÓN MATRIZ DE LA
EXCLUSIVA DISYUNCIÓN EXCLUSIVA
22 = 4 filas La disyunción exclusiva solicita
Se le asigna a que:
2𝑛 p: 2 V y 2 F Las dos componentes
22 = 2 ∙ 2 = 4 q: 1V y 1F hasta completar (antecedente y consecuente) sean
n = 2 porque las filas diferentes, es decir, verdadero
pvq hay dos falso o falso verdadero para que
variables su resultado sea verdadero.
proposicionales
{p, q}
VvF =V
FvV =V
5.- Tabla de verdad fundamental del conector CONDICIONAL ( → )

El condicional es un conector binario el cual tiene como función veritativa indicar FALSO si y solo si el antecedente es
VERDADERO y el consecuente es FALSO ( V → F ), de lo contrario las demás alternativas binarias serán verdaderas.
Ejemplo Si hoy es lunes entonces mañana es martes
Indicación del MATRIZ DEL
CONDICIONAL CONDICIONAL
2
2 = 4 filas El condicional solicita que:
Se le asigna a El antecedente sea verdadero y
2𝑛 p: 2 V y 2 F el consecuente falso para que su
22 = 2 ∙ 2 = 4 q: 1V y 1F hasta completar resultado sea falso.
n = 2 porque las filas
p^q hay dos
variables
proposicionales
{p, q}
V→F=F
6.- Tabla de verdad fundamental del conector BICONDICIONAL ( ↔ )

La conjunción es un conector binario el cual tiene como función veritativa indicar VERDADERO si y solo si las dos compones
dadas son IGUALES ( V ↔ V , F ↔ F) , de lo contrario las demás alternativas binarias serán falsas.
Ejemplo Mañana es martes sólo si hoy es lunes
Indicación del MATRIZ DEL
BICONDICIONAL BICONDICIONAL
2
2 = 4 filas El bicondicional solicita que:
Se le asigna a Las dos componentes
2𝑛 p: 2 V y 2 F (antecedente y consecuente)
22 = 2 ∙ 2 = 4 q: 1V y 1F hasta completar sean iguales, verdadero
n = 2 porque las filas verdadero o falso falso para que
p^q hay dos su resultado sea verdadero.
variables
proposicionales
{p, q}
V↔V=V
F↔F=V
 Tabla de verdad completa

Es un método que permite medir los valores de certidumbre de todas las posibles
combinaciones en un polinomio proposicional con el objeto de determinar si un polinomio
es válido o no válido, en otras palabras, tiene la función de comprobar la validez de una
inferencia o el tipo de polinomio. De ahí que, en algunos textos también sean conocidos
con el nombre de Cálculo Proposicional.
Por otro lado, la tabla se construye a través de la potencia 2𝑛 donde n es el número de
variables proposicionales afirmativas y el resultado de dicha expresión matemática
corresponde al número de filas que tendrá la tabla.
Número de filas según las variables del polinomio proposicional
Si el polinomio tiene una variable Si el polinomio tiene dos variables Si el polinomio tiene tres variables
proposicional proposiciones proposicionales
{p} {p,q} {p,q,r}
𝒏 𝑛
𝑷𝒐𝒕𝒆𝒏𝒄𝒊𝒂 𝟐 𝑃𝑜𝑡𝑒𝑛𝑐𝑖𝑎 2 𝑃𝑜𝑡𝑒𝑛𝑐𝑖𝑎 2𝑛
2 3
𝟐𝟏 = 𝟐 = 𝟐 filas 2 = 2 ∙ 2 = 4 filas 2 = 2 ∙ 2 ∙ 2 = 8 filas
n = 1 porque hay una variable n = 2 porque hay dos variables n = 3 porque hay tres variables
proposicional {p} proposicionales {p,q} proposicionales {p,q,r}
Se le asigna a Se le asigna a Se le asigna a
1era variable 1V y 1F 1era variable 2V y 2F 1era variable 4V y 4F
2da variable 1V y 1F 2da variable 2V y 2F
3era variable 1V y 1F
Ejemplo: Ejemplo: Ejemplo:
pv-p [ - ( p ^ q ) v – p] [ - ( p ^ q ) v – ( r → - q )]
Este proceso se reitera según el número de variables proposicionales afirmativas que

tenga el polinomio, considere que la primera variable es la mitad de las filas totales, la
segunda variable es la mitad de la primera variable, la tercera la es la mitad de la segunda, y
así sucesivamente, hasta completar todas las variables existentes en el polinomio. Además,
es importante resaltar que, para poder aplicar este método es necesario apoyarse en la tabla
fundamental o matriz de los conectores u operadores lógicos.
¿Cómo levantar una tabla de verdad completa?

Para construir una tabla de verdad se debe considerar los siguientes pasos básicos:
 Identificar el número de variables proposicionales afirmativas que tiene el
polinomio proposicional.
 Aplicar la potencia 2𝑛 para conocer el número de filas que tendrá la tabla.
 Asignar una columna y su valor de verdad a cada una de las variables
proposicionales según el número de filas obtenidas.
 Anexar una columna y cambiar el valor de verdad de cada una de las variable
proposicional que tengan una negación, aplicando la condición de dicho operador
lógico, de lo contrario omitir este momento.
 Adicionar columnas según los paréntesis que hay en el polinomio y asignarle su
valor de verdad, considerando la matriz fundamental del operador lógico que une
dichas variables.
 Si antes del paréntesis hay una negación, se anexa una columna y se aplica la
matriz fundamental de la negación cambiando el valor de verdad del conector
binario que está dentro del paréntesis, de lo contrario omitir este momento.
 Adicionar columnas según los corchetes que hay en el polinomio y asignarle su
valor de verdad, considerando la matriz fundamental del operador lógico principal
del corchete, o en su defecto con la negación de dos de ellos o de alguno de los
dos paréntesis.
 Si algún corchete esta negado se anexa una columna y se cambia el valor del
conector binario principal dentro del corchete.
 Completar el procedimiento hasta llegar al conector principal del polinomio, este
conector depende del último signo de agrupación empleado en la simbolización o
formulación del polinomio proposicional.
Conector Principal
Es aquel operador lógico que permite asociar al antecedente con el consecuente
agruparlo a través del último signo de agrupación empleado en el polinomio proposicional.
Ejemplos
Ejemplo para construcción de tablas de verdad completa

1.- Dado el siguiente polinomio proposicional [ - (- p ^ q) ↔ – (p v - q ], determine su
validez.
PASO I: Número de variables PASO II: Aplicar la potencia 2𝑛 donde n es el
proposicionales del polinomio número de variables que hay en el polinomio
Sólo hay dos variables 2𝑛 = 22 = 2 ∙ 2 = 4 filas
proposicionales p y q,
independientemente que una de ellas
esta negada.
PASO III: Asignar una columna y su PASO IV: Cambiar el valor de verdad de cada
valor de verdad a cada una de las variable proposicional que tenga una negación,
variables proposicionales según el aplicando la condición de dicho operador lógico.
número de filas obtenidas.
PASO V: Adicionar columnas según PASO VI: Si antes del paréntesis hay una
los paréntesis que hay en el polinomio negación, se anexa una columna y se aplica la
y asignarle su valor de verdad, matriz fundamental de la negación cambiando el
considerando la matriz fundamental valor de verdad del conector binario que está
del operador lógico que une dichas dentro del paréntesis, de lo contrario omitir este
variables. momento.
PASO VII: Adicionar otra columna para el otro paréntesis que tiene el polinomio y se
aplica la condición del conector binario que une ambas proposiciones.
PASO VIII: Adicionar otra columna para la negación del segundo paréntesis y se aplica la
condición del conector unitario.
PASO IX: Adicionar otra columna para aplicar la condición del conector binario principal
del corchete, en el cual se usa son las negaciones de los paréntesis.
Esta última columna es el conector principal del polinomio y es allí donde se indica el
tipo de polinomio y su validez, este polinomio es una contradicción no válido, el cual puede
profundizar su estudio más delante de esta unidad.
Es importante resaltar que, no existe una cantidad de pasos específicos para construir
una tabla de verdad completa, solo se debe ir llenando desde lo interno hasta lo externo del
polinomio, es decir, se recomienda:
1º Asignar valores de verdad dentro de los paréntesis.
2º Asignar valor de verdad a la negación del paréntesis si este existe.
3º Asignar valor de verdad al conector principal del corchete usando los conectores
principales de los paréntesis.
4º Asignar valor de verdad a la negación del corchete si este existe.
5º Así consecutivamente.
2.- Determine la validez del siguiente polinomio proposicional [p ↔ (q ^ r ]
PASO I: Se levanta una tabla de tres PASO II: Se adiciona una nueva columna
columnas con 8 filas porque el polinomio para determinar el valor de la conjunción
tiene las variables p, q y r; en otras palabras: aplicando su matriz respectiva porque el
paréntesis une las variables q y r.
PASO III: Se adiciona una nueva columna para determinar el valor del bicondicional
aplicando su matriz respectiva y, porque el corchete une la variable p con el paréntesis (se
usa el resultado de la p con la del paréntesis)
La última columna es el conector principal y en este es donde se indica el tipo de

polinomio y su validez, en el ejemplo anterior, es un polinomio de contingencia no válido,
lo cual se explica más delante de esta unidad.
3.- Determine la validez del siguiente polinomio proposicional [(-p ^q) v (-q→p) ]
PASO I: Se levanta una tabla de dos PASO II: Se adicionan dos columnas para
columnas con 4 filas porque el polinomio las negaciones de las variables y aplica la
tiene las variables p y q; en otras palabras: matriz fundamental de la negación.
PASO III: Se adiciona una columna para la PASO IV: Se adiciona una columna para el
conjunción del primer paréntesis, usando las condicional del segundo paréntesis, usando
variables que adentro de él están y las variables que adentro de él están y
aplicando la matriz fundamental de la aplicando la matriz fundamental del
conjunción. condicional.
PASO V: Se adiciona una columna para la disyunción inclusiva del corchete, usando los
valores de verdad de los paréntesis y aplicando la matriz fundamental de la disyunción
inclusiva.
En la última columna el tipo de polinomio es una contingencia no válido, el cual se

explica más delante de esta unidad.
Tipos de polinomios
Su función es determinar si la inferencia o el razonamiento simbolizado a través de un
polinomio es o no válido, estos se clasifican en:
Tautología Contradicción Contingencia
Es aquel donde en el conector Es aquel donde en el conector También llamada
principal existen únicamente principal resultan solamente indeterminación, es
valores verdaderos en todos sus valores falsos en todos sus aquel donde en el
casos, este polinomio es válido, casos, este polinomio no es conector principal
es decir, está bien construido, válido, independientemente del existen casos
independientemente del valor valor de verdad y del contenido verdaderos y otros
de verdad y del contenido de de las variables que falsos, este tipo de
las variables que proposicionales que polinomio es inválido,
proposicionales que intervienen intervienen. independientemente
del valor de verdad y
del contenido de las
variables que
proposicionales que
intervienen.
 Tabla de verdad parcial

Es un método de veracidad que permite determinar si un polinomio es verdadero o es
falso, pero, para la construcción de esta tabla es necesario conocer previamente los valores
de certidumbre de cada una de las proposiciones que formula el polinomio por lo que se
construye sobre una sola fila.
Ejemplos:
1.- Determine la validez del siguiente polinomio proposicional [(p ↔ q) ^ r)], tenga en
cuenta que:
p: 2+2= 4
q: El sol es de color verde
r: Simón Bolívar el libertador de Venezuela nació en Ecuador
PASO I: Determinamos la veracidad de PASO II: Asignar en el polinomio

cada una de las variable proposicionales proposicional el valor de verdad a cada una
p: V q: F r: F de las variables.
PASO III: Asignar el valor de verdad del PASO IV: Asignar el valor de verdad de la
bicondicional que está dentro del paréntesis. conjunción que está dentro del corchete.
El último valor de verdad del polinomio es el conector principal el cual indica que el
polinomio es falso no válido.
2.- Determine la validez del siguiente polinomio proposicional

{[p ↔ (q ^ -r)] ↔ (-p → - s)}, tenga en cuenta que:
p : 2 = -2
q: el día tiene 25 horas
r: febrero tiene solamente 17 días
s: el 24 de junio de cada año se conmemora en Venezuela la Batalla de Carabobo
PASO I: Determinamos la veracidad de PASO II: Se aplica la matriz de la negación
cada una de las variable proposicionales en las variables proposicionales que tiene la
p: F q: F r: F s:V negación.
-r:V -p : V -s : F
PASO III: Asignar en el polinomio PASO IV: Asignar el valor de verdad de
proposicional el valor de verdad a cada una los paréntesis a través de la matriz
de las variables proposicionales. fundamental de los respectivos conectores
que unen las variables proposicionales.
PASO V: Asignar el valor de verdad del PASO VI: Asignar el valor de verdad del
conector principal del corchete a través del conector principal de la llave a través del
valor de verdad de la p y del resultado del valor de verdad de la resultante del corchete
primer paréntesis. y del segundo paréntesis.
El último valor de verdad del polinomio es el conector principal el cual indica que el
polinomio es falso no válido.
3.- Determine la validez del siguiente polinomio proposicional -[p ↔ - (q ^ -r)] , tenga en
cuenta que:
p : 25 = ±3 p: F
q: 42 = 8 q: F
r: 10 5 = 5 r: F - r: V
Diferencias entre tabla de verdad parcial y completa

TABLA DE VERDAD TABLA DE VERDAD PARCIAL
COMPLETA
-Se construye la tabla con la potencia -La construcción de la tabla necesita conocer los
𝟐𝒏 parámetros de verdad de las variables
-Los valores de verdad de cada una de -Cada variable proposicional tiene un solo valor
las variables proposicionales depende de verdad, no depende de la potencia 2𝑛 , sino del
del número de filas del polinomio mismo contenido de la proposición.
-Se indica si el tipo de polinomio y su -Se indica si el polinomio es o verdadero o falso,
validez pero no se da ambas posibilidades.
Antecedente y consecuente en un polinomio proposicional

Un polinomio proposicional está compuesto por tres elementos básicos los cuales son: el
antecedente, el operador principal y el consecuente.
ANTECEDENTE OPERADOR PRINCIPAL CONSECUENTE
Es aquella forma También conocido como conector Es aquella forma
proposicional que se principal, es aquel que se emplea para unir proposicional que
encuentra antes del dos formas proposicionales empleando esta posterior al
conector principal. además un signo de agrupación. operador principal.
Ejemplos
Implicación material y lógica

La implicación es una relación de causa efecto a través de una condición existente
entre dos formas proposicionales.
Implicación material Implicación lógica
- También llamado implicación condicional - También llamado implicación formal
- Su estructura es 𝒑 → 𝒒 - Su estructura es 𝑝 ⇒ 𝑞
- Se lee 𝑺𝒊 𝒑 𝒆𝒏𝒕𝒐𝒏𝒄𝒆𝒔 𝒒 - Se lee 𝑝 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑞
- Usa la matriz fundamental del condicional - Usa la matriz fundamental del condicional
- En su función veritativa admite la falsedad - En su función veritativa no admite
- Tiene antecedente, condicional y falsedad, solo debe haber tautología.
consecuente - Tiene hipótesis, implicación y tesis.
Prueba de la implicación lógica
Para poder aplicar la prueba de la implicación lógica se debe conocer dos polinomios
o formas proposicionales, relacionándolos con el símbolo de la implicación (⇒), es decir,
se busca saber si el polinomio A implica al polinomio B, simbólicamente: es A⇒B.
Asimismo, se construye una tabla de verdad a través de la potencia 2𝑛 y se aplica
en la columna de la implicación lógica la matriz fundamental del condicional, pero el
resultado veritativo debe ser un tautología para que realmente exista que A implique a B, de
lo contario, no habrá implicación lógica.
En consecuencia, si resulta una tautología entre A y B se dice que 𝐀 ⇒ 𝐁 (A implica
a B), pero, si resulta una contingencia o contradicción se dice que 𝐀 ⇏ 𝐁 (A no implica a
B).
Ejemplos:
1.- Dado los polinomios A y B, determine si A implica a B, es decir, A ⇒ B.
Polinomio A: p ^ q Polinomio B: -p v q
PASO I: Se formula la implicación PASO II: Se determina el número de filas según
lógica 𝐀 ⇒ 𝐁 la cantidad de variables proposicionales a través
de la potencia 𝟐𝒏 . Como solo hay dos variables p
y q, entonces 𝟐𝒏 = 𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔
PASO III: Se divide variable de PASO IV: Se asigna los valores de verdad a cada
conector, sucesivamente, para formar una de las variables proposicionales.
las columnas, pero si la negación afecta Donde: p tendrá 2V y 2F porque es la mitad de
a una variable no se separa, pero sí 4filas, y q tendrá 1V y 1F, así sucesivamente,
afecta a un signo de agrupación si se hasta completar las 4filas, y esto porque es la
separa. mitad de la variable anterior. Pero, -p será 2F y
2V por la negación aplicada a p.
PASO V: Se aplica la matriz de los PASO VI: Se aplica la matriz del condicional
conectores que están dentro de los usando los resultados de los conectores que están
paréntesis. dentro de los paréntesis para reconocer si resulta
una tautología entre el polinomio A y B.
𝐀⇒𝐁
A implica a B porque resultó una tautología
Como en la última columna, la de la implicación, resultó una tautología se puede

concluir que A si implica a B, simbólicamente A ⇒ B.
2.-Determine si A ⇒ B, sabiendo que A:- ( p → -q) y B: (-p ↔ q)

PASO I: Se formula la implicación lógica PASO II: Se determina el número de filas
𝐀⇒𝐁 según la cantidad de variables
proposicionales a través de la potencia 𝟐𝒏 .
Como solo hay dos variables p y q, entonces
𝟐𝒏 = 𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔
PASO III: Se divide variable de conector, PASO IV: Se asigna los valores de verdad
sucesivamente, para formar las columnas, a cada una de las variables proposicionales.
pero si la negación afecta a una variable no Donde: p: 2V y 2F -p: 2F y 2V
se separa, pero sí afecta a un signo de q:1V y 1F -q: 1F y 1V hasta
agrupación si se separa. completar las 4filas. En –p y –q se mantiene
la cantidad pero comenzando con F porque
se les aplicó la matriz de la negación.
PASO V: Se aplica la matriz de los PASO VI: Se aplica la matriz de la

conectores que están dentro de los negación al condicional que está en el
paréntesis. primer paréntesis.
PASO VII: Se aplica la matriz del condicional usando los resultados de los conectores
principales de cada polinomio, es decir, la columna de la negación del paréntesis y la
columna del bicondicional, esto a fin de reconocer si resulta una tautología entre el
polinomio A y B.
𝐀⇏𝐁
A no implica a B porque no resultó una tautología, es decir, resultó contingencia.
Equivalencia lógica
Dos polinomios son equivalentes si y solo si tienen los mismos valores de verdad en
la misma posición en el operador principal de dichos polinomios, es decir, se dice que un
polinomio A es equivalente al polinomio B si y sólo si existe una relación tautológica entre
ambos, simbólicamente es 𝐴 ⟺ 𝐵 . En otras palabras, la equivalencia lógica son dos
condicionales que nunca pueden ser falsos.
El símbolo de la equivalencia es ⟺ ó ≡, para determinar su función veritativa
se construye una tabla de verdad completa a través de la potencia 2𝑛 y se aplica la matriz
fundamental del bicondicional.
Si en la columna de la equivalencia se obtuviese una contradicción o una
contingencia se dice entonces que A no es equivalente con B, simbólicamente 𝐴 ⇎ 𝐵
Ejemplos:
1.- Dado los polinomios A y B, determine si A es equivalente a B, es decir, A ⇔ B.
Polinomio A: p ^ q Polinomio B: -p v q
PASO I: Se formula la equivalencia PASO II: Se determina el número de filas según
lógica 𝐀 ⇔ 𝐁 la cantidad de variables proposicionales a través
de la potencia 𝟐𝒏 . Como solo hay dos variables
p y q, entonces 𝟐𝒏 = 𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔
PASO III: Se divide variable de PASO IV: Se asigna los valores de verdad a
conector, sucesivamente, para formar cada una de las variables proposicionales.
las columnas, pero si la negación afecta Donde: p tendrá 2V y 2F porque es la mitad de
a una variable no se separa, pero sí 4filas, y q tendrá 1V y 1F, así sucesivamente,
afecta a un signo de agrupación si se hasta completar las 4filas, y esto porque es la
separa. mitad de la variable anterior. Pero, -p será 2F y
2V por la negación aplicada a p.
PASO V: Se aplica la matriz de los PASO VI: Se aplica la matriz del bicondicional
conectores que están dentro de los usando los resultados de los conectores que
paréntesis. están dentro de los paréntesis para reconocer si
resulta una tautología entre el polinomio A y B.
𝐀⇎𝐁
A no es equivalente a B porque no resultó una
tautología, es decir, resultó una contingencia
2.-Determine si A ⇔ B, sabiendo que A:- ( p → -q) y B: (p ^ q)
PASO I: Se formula la implicación PASO II: Se determina el número de filas según la
lógica 𝐀 ⇔ 𝐁 cantidad de variables proposicionales a través de la
potencia 𝟐𝒏 . Como solo hay dos variables p y q,
entonces 𝟐𝒏 = 𝟐𝟐 = 𝟒 𝒇𝒊𝒍𝒂𝒔
PASO III: Se divide variable de PASO IV: Se asigna los valores de verdad a cada
conector, sucesivamente, para una de las variables proposicionales.
formar las columnas, pero si la Donde: p: 2V y 2F q:1V y 1F -q: 1F y 1V
negación afecta a una variable no se hasta completar las 4filas. En –q se mantiene la
separa, pero sí afecta a un signo de cantidad pero comenzando con F porque se les
agrupación si se separa. aplicó la matriz de la negación.
PASO V: Se aplica la matriz de los PASO VI: Se aplica la matriz de la negación al

conectores que están dentro de los condicional que está en el primer paréntesis.
paréntesis.
PASO VII: Se aplica la matriz del bicondicional usando los resultados de los conectores
principales de cada polinomio, es decir, la columna de la negación del paréntesis y la
columna de la conjunción, esto a fin de reconocer si resulta una tautología entre el
polinomio A y B.
𝐀 ⇔ 𝐁 A es equivalente con B porque resultó una

tautología.
Otras pruebas formales de no validez de un razonamiento

 Prueba de no validez de un razonamiento 25
Es un método que se usa en un polinomio condicional para determinar la no validez
de dicha fórmula proposicional, aquí se construye una tabla parcial asignando el valor de
falso (f) al consecuente del condicional, y si resulta una función veritativa falsa, entonces el
polinomio no es válido.
Esta prueba sostiene que la función veritativa de un polinomio que resulte falso a
partir de la deducción de unas premisas verdaderas y una conclusión falsa no puede ser
válida.
Ejemplo:
1.-En el siguiente polinomio condicional – 𝑝 𝑣 𝑞 )^ −𝑟 𝑣 − 𝑝 → −𝑞 ↔ 𝑝) aplique la
prueba de no validez.
PASO I: Al consecuente del polinomio PASO II: Se aplica el valor veritativa a
condicional se le asigna el valor de falso cada una de las variables que componen al
consecuente y el cual permita mantener el
supuesto de falso, considerando la matriz
del operador allí presente, en este caso el
del bicondicional.
PASO III: Se trasladan al antecedentes del PASO IV: Se aplica la matriz de cada uno
polinomio condicional los valores de verdad, de los conectores que están dentro de los
si una variable no tiene valor se le asigna paréntesis del antecedente.
verdadero si esta afirmativa.
PASO V: Como los paréntesis no tiene una PASO VI: Se aplica la matriz de la
negación que los afecte, se procede a aplicar negación a la conjunción el cual es el
la matriz del conector que une ambos último resultado que está dentro del
paréntesis a través de sus resultados. corchete porque este signo de agrupación
tiene la negación al inició.
PASO VII: Se aplica la matriz del condicional o conector principal del polinomio. Si
resulta falso es porque se cumple la prueba de no validez del polinomio, donde se parte de
un supuesto verdadero y se llega a un valor falso.
El polinomio condicional no es válido ya que se parte de premisas verdaderas y se llega una

conclusión falsa.
 Método de reducción “AD ABSURDUM”
Es un método que se emplea en los polinomios proposicionales para determinar si la

inferencia es válida o no, además se apoya en la construcción de una tabla de verdad
parcial, partiendo de la asignación de un falso al conector principal del polinomio, el cual
es un condicional. En consecuencia, se va derivando las anteriores soluciones de la tabla.
Ejemplo:
1.-En el siguiente polinomio condicional – 𝑝 𝑣 𝑞 )^ −𝑟 𝑣 − 𝑝 → −𝑞 ↔ 𝑝) aplique el
método de reducción “AD ABSURDUM”
PASO I: Se reconoce el antecedente y el PASO II: Se le asigna valor falso al conector
consecuente, además del conector principal.
principal.
PASO III: Se aplica la matriz PASO IV: Se aplica la matriz fundamental de

fundamental del condicional (conector la conjunción para determinar el valor
principal) para deducir el valor veritativa veritativa de los paréntesis que están dentro del
del antecedente y del consecuente. corchete.
PASO V: Se aplica la matriz PASO VI: Se evalúa la veracidad de cada una

fundamental de los conectores que están de las variables para verificar si no hay
dentro de los paréntesis para determinar ambigüedad.
la función veritativa de cada variable.
PASO VII: Se traslada el valor veritativa del consecuente al antecedente, pero como en
este caso no es necesario, se omite, se evalúa cambiar el V de la –p por F, pero al razonar
la matriz fundamental de la disyunción exclusiva se detecta que no se puede obtener V.
Se mantiene la inconsistencia lo cual no permite cambiar el falso del operador principal en

el polinomio condicional, por lo tanto se infiere que el polinomio no es válido.
Referencias Bibliográficas
Afcha, K. (1993). Temas Fundamentales de Lógica Matemática. Publicaciones

Educación. Producción Universitaria. Talleres Gráficos del Departamento de
Publicaciones de la Facultad de Ciencias de la Educación. Universidad de Carabobo.
Venezuela.
Agudo, C. y Peña, G. (2002). Lógica y Matemática. Caracas, Venezuela.
Corral, Y. y Manzanares, L. (2018). Nociones Elementales de Lógica Matemática y
Teoría de Conjuntos. Fondo Editorial Opsu. Caracas, Venezuela.
Durant, M. y Naveda, O. (2013). Transformación Curricular por Competencias en la
Educación Universitaria bajo el Enfoque Ecosistémico Formativo. 2da edición.
FUNDACELAC. Venezuela.
Gómez, J. (2005). Lógica Ilógica. Selector actualidad editorial. México.
Napolitano, A. (2005). Lógica Matemática. 2da edición, reimpresión 2012. Editorial
Biosfera. Caracas, Venezuela.
Pérez, E. (2013). Cómo evaluar aprendizajes por competencias. Biblioteca Ciencias de
la Educación. Universidad de Carabobo. Venezuela.
Romero, F. (1973). Lógica e Introducción a la Problemática Filosófica. Editorial
Losada. Buenos Aires Argentina.
Suppes, H. Hill. (1988). Introducción a la Lógica Matemática. Editorial Reverté
Colombiana. Bogotá, Colombia.
Yoris, C. (2001). Introducción a la Lógica. UCAB. Caracas, Venezuela.

Unidad 3 LPI

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Unidad 3 LPI

Cargado por

Copyright:

Formatos disponibles

Parámetros de Verdad Proposicional I-2023

Parámetros de Verdad Proposicional

Jefa del Módulo: Prof. Einys Fernández

Unidad III: Parámetros de Verdad Proposicional

Referencias Bibliográficas………………………………………………………... -27-

UNIDAD III “Parámetros de Verdad Proposicional”

Tablas de verdad o certidumbre

Objeto de las tablas de verdad o certidumbre

Clasificación o tipos de tablas de verdad

 Tabla de verdad fundamental

Construcción de las tablas fundamentales

1.- Tabla de verdad fundamental del conector NEGACIÓN ( - )

2.- Tabla de verdad fundamental del conector CONJUNCIÓN ( ^ )

3.- Tabla de verdad fundamental del conector DISYUNCIÓN INCLUSIVA ( v )

4.- Tabla de verdad fundamental del conector DISYUNCIÓN EXCLUSIVA ( v )

5.- Tabla de verdad fundamental del conector CONDICIONAL ( → )

6.- Tabla de verdad fundamental del conector BICONDICIONAL ( ↔ )

 Tabla de verdad completa

Este proceso se reitera según el número de variables proposicionales afirmativas que

¿Cómo levantar una tabla de verdad completa?

Ejemplo para construcción de tablas de verdad completa

La última columna es el conector principal y en este es donde se indica el tipo de

En la última columna el tipo de polinomio es una contingencia no válido, el cual se

 Tabla de verdad parcial

PASO I: Determinamos la veracidad de PASO II: Asignar en el polinomio

2.- Determine la validez del siguiente polinomio proposicional

Diferencias entre tabla de verdad parcial y completa

Antecedente y consecuente en un polinomio proposicional

Implicación material y lógica

Como en la última columna, la de la implicación, resultó una tautología se puede

2.-Determine si A ⇒ B, sabiendo que A:- ( p → -q) y B: (-p ↔ q)

PASO V: Se aplica la matriz de los PASO VI: Se aplica la matriz de la

PASO V: Se aplica la matriz de los PASO VI: Se aplica la matriz de la negación al

𝐀 ⇔ 𝐁 A es equivalente con B porque resultó una

Otras pruebas formales de no validez de un razonamiento

El polinomio condicional no es válido ya que se parte de premisas verdaderas y se llega una

 Método de reducción “AD ABSURDUM”

Es un método que se emplea en los polinomios proposicionales para determinar si la

PASO III: Se aplica la matriz PASO IV: Se aplica la matriz fundamental de

PASO V: Se aplica la matriz PASO VI: Se evalúa la veracidad de cada una

Se mantiene la inconsistencia lo cual no permite cambiar el falso del operador principal en

Afcha, K. (1993). Temas Fundamentales de Lógica Matemática. Publicaciones

También podría gustarte