“AÑO DEL FORTALECIMIENTO DE LA SOBERANÍA

NACIONAL”
POLICÍA NACIONAL DEL PERÚ
DIRECCIÓN DE EDUCACIÓN Y DOCTRINA POLICIAL
ESCUELA DE EDUCACIÓN SUPERIOR TÉCNICO 
PROFESIONAL PNP – SAN BARTOLO

                                       
TRABAJO APLICATIVO
TEMA
MÉTODO DE LAS TABLAS ABREVIADAS

ASIGNATURA       :  

DOCENTE               :  

         ALUMNA                :  

          SECCIÓN               :  

2022
 INTRODUCCIÓN

La lógica proposicional se ocupa de proposiciones. Con «proposición»

entendemos una frase sobre la cual es sensato preguntar si es verdadera o
falsa. Ordinariamente las proposiciones están expresadas en modo indicativo.
Las frases interrogativas, dubitativas, imperativas o exclamativas no son
consideradas como proposiciones. La relación que hay entre frases y
proposiciones es tal que entre muchas frases sólo un grupo determinado vale
como un conjunto de proposiciones, es decir, aquel que comprende frases que
describiendo afirman algo. Casi es más fácil enumerar cuales frases no son
proposiciones.

Como tendremos que trabajar continuamente con proposiciones, podría

resultar ventajoso utilizar una abreviación, o bien, como dicen los lógicos, llevar
a cabo una formalización. Los matemáticos expresan sus incógnitas con «x»,
«y», etc. Análogamente nosotros representaremos con «p», «q», etc. no los
números y, ni siquiera, vocablos individuales, sino frases enteras, o mejor:
proposiciones. Ya que las letras toman el puesto de las proposiciones, las
llamamos variables proposicionales. Si tratamos una proposición concreta, la
podemos simbolizar como constante con una letra mayúscula. Viene
privilegiada la letra inicial del sustantivo o del verbo, o bien, del adjetivo.

2
 MARCO TEÓRICO

LOGICA PROPOSICIONAL
Es un sistema formal cuyos elementos más simples representan proposiciones,
y cuyas constantes lógicas, llamadas conectivas lógicas, representan
operaciones sobre proposiciones, capaces de formar otras proposiciones de
mayor complejidad.
Las lógicas proposicionales carecen de cuantificadores o variables de
individuo, pero tienen variables proposicionales (es decir, que se pueden
interpretar como proposiciones con un valor de verdad definido), de ahí el
nombre proposicional. Los sistemas de lógica proposicional incluyen además
conectivas lógicas, por lo que dentro de este tipo de lógica se puede analizar la
inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en
cuenta la estructura interna de las proposiciones más simples.
Que es una proposición
En matemáticas trabajamos con proposiciones. El término proposición es
tomado de la lógica y suele ser definido como un enunciado que puede ser
calificado de verdadero o falso. Se considera la proposición como un enunciado
y este último como una frase u oración.
Clases de proposiciones
En general
Las proposiciones se clasifican en dos tipos: Simples y Compuestas,
dependiendo de cómo están conformadas.
Proposiciones Simples
Son aquellas que no tienen oraciones componentes afectadas por negaciones
("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o
implicaciones ("si . . . entonces"). Pueden aparecer términos de enlace en el
sujeto o en el predicado, pero no entre oraciones componentes.
Proposiciones Compuestas
Una proposición será compuesta si no es simple. Es decir, si está afectada por
negaciones o términos de enlace entre oraciones componentes.
CONJUNCIÓN
Proposición en lenguaje natural: Los perros son listos y los gatos egoístas. p =
los perros son listos

3
q= los gatos son egoístas
Formalización: p A q (se lee "p y q")
Proposición en lenguaje natural: Estudiaré, pero también veré la tele p =
estudiaré
q = veré la tele
Formalización: p A q
Comentario: Aunque en la proposición en lenguaje natural no aparece la
partícula "y", si entendemos el sentido de la misma, veremos que lo que nos
está diciendo es que estudiaré y veré la tele. El "pero también" es una
conjunción, aunque los matices que tiene en el lenguaje natural (digamos que
tiene un sentido _adversativo) se pierden al formalizarla.
Proposición en lenguaje natural: Además de comer tarta, beberé sidra. p =
comeré tarta
q = beberé sidra
Formalización: p A q
Comentario: Vemos que aquí tampoco aparece la "y", sin embargo la
proposición nos está diciendo simplemente que comeré tarta y que beberé
sidra. El "además" añade un matiz que no nos interesa desde un punto de vista
lógico. A la lógica sólo le interesa en qué condiciones es verdadera o falsa la
proposición "Además de comer tarta, beberé sidra", resulta que esa proposición
sólo es verdadera si como tarta y bebo sidra. Eso es lo único que ha de quedar
reflejado en la formalización.
Proposición en lenguaje natural: Es completamente cierto que voy a asistir a la
reunión y que luego me iré de fiesta.
p= voy a asistir a la reunión
q= después de la reunión me iré de fiesta
Formalización: p A q
Comentario: Como vemos, el "es completamente cierto" que aparece en la
proposición en lenguaje natural, no vuelve a aparecer. La razón de ello es que
no añade nada al significado de las proposiciones atómicas, sino que
simplemente sirve para reforzar la idea de que es cierto lo que digo. Pero
desde el punto de vista de la lógica de enunciados, la proposición del ejemplo
es equivalente a la proposición "voy a asistir a la reunión y luego me iré de
fiesta".

4
Proposición en lenguaje natural: Pedro y María van al cine todos los sábados.
p= Pedro va al cine todos los sábados
q = María va al cine todos los sábados
Formalización: p A q
Comentario: Aunque parece que sólo hay una proposición en el ejemplo, hay
que advertir que en realidad son dos, pues para que sea verdadera tiene que
ser verdad que Pedro va al cine los sábados y que María va al cine los
sábados.
DISYUNCIÓN
Proposición en lenguaje natural: Voy al cine o voy al teatro p = voy al cine
q= voy al teatro
Formalización: p v q (se lee "p o q")
Proposición en lenguaje natural: O bien voy al cine, o bien voy al teatro p = voy
al cine
q = voy al teatro
Formalización: p v q
Comentario: A veces, cuando nos estamos iniciando en la formalización, puede
que tengamos la tentación de formalizar la proposición de este ejemplo del
siguiente modo: (v p v q). Esto es un error garrafal, pues, como ya hemos
dicho, no se trata de traducir palabra por palabra, sino de expresar la forma
lógica de la proposición. En la proposición del ejemplo estamos diciendo que se
me plantean dos opciones; una, ir al cine; otra, ir al teatro; y al menos una de
ellas debe cumplirse. Esto es una disyunción de toda la vida, por más que la
reforcemos con el "O bien… o bien…", por lo tanto se formaliza exactamente
igual que la del ejemplo anterior.
CONDICIONAL
Proposición en lenguaje natural: Si Misha es un gato, entonces escupirá bolas
de pelo.
p= Misha es un gato
q= Misha escupirá bolas de pelo
Formalización: p -> q (se lee "si p entonces q" ó "p implica q")
Proposición en lenguaje natural: Si vas a la playa, te broncearás. p = vas a la
playa
q = te broncearás

5
Formalización: p -> q
Comentario: Aunque no aparezca literalmente el "entonces", como lo que
estamos traduciendo no son las palabras, una por una, sino la forma lógica, es
evidente que basta el "si" inicial para indicarnos el condicional.
Proposición en lenguaje natural: Sólo si Misha es un gato, escupirá bolas de
pelo p= Misha es un gato
q = Misha escupirá bolas de pelo
Formalización: q -> p
Comentario: Obsérvese que este condicional se formaliza al revés que el del
ejemplo anterior. En la proposición "Si Misha es un gato, entonces escupirá
bolas de pelo" no excluimos la posibilidad de que otros animales, a parte del
gato, escupan bolas de pelo. Misha podría ser un tigre y escupir bolas de pelo.
La proposición únicamente afirma que, independientemente de que haya otros
animales que escupan bolas de pelo, si Misha es un gato, también lo hará.
Ahora bien, si lo que digo es que Solo si Misha es un gato, escupirá bolas de
pelo, estoy excluyendo la posibilidad de que otros animales, a parte del gato,
escupan bolas de pelo. Para expresar esto formalmente, tengo que invertir el
condicional, pues ahora, a diferencia del ejemplo anterior, estoy diciendo que si
Misha escupe bolas de pelo entonces es que es un gato. Nótese que esta
última proposición no implica que haya gatos que no escupan bolas de pelo.
Proposición en lenguaje natural: Pégame y tendrás tu merecido p = pégame
q = tendrás tu merecido
Formalización: p -> q
Comentario: A veces el lenguaje natural puede confundirnos. En este caso la
partícula "y" no funciona como un condicional, pues la proposición no está
afirmando que me hayas pegado y que además te haya dando tu merecido. La
proposición del ejemplo puede ser verdadera sin que nadie sufra ningún daño,
pues tiene un sentido condicional. En realidad está afirmando que si me pegas,
entonces tendrás tu merecido.
Proposición en lenguaje natural: Asistir a clase es condición necesaria para
aprobar.
p = se asiste a clase q= se aprueba Formalización: q -> p

6
Comentario: Probablemente la formalización está al revés de lo que
esperábamos, pero es correcta. Si digo que algo es una condición necesaria
para aprobar, estoy diciendo que es un requisito imprescindible –necesario--,
pero que no es suficiente para aprobar, es posible que además de asistir a
clase haya que hacer algún trabajo, por ejemplo, o aprobar un examen… Esto
significa que aunque se cumpla una condición necesaria, no por ello se
aprobará, pues puede que no se cumplan otras condiciones necesarias. Lo que
está claro es que si no se cumple, aunque se cumplan todas las demás, se
suspenderá. En el ejemplo decimos que asistir a clase es condición necesaria
para aprobar. Esto no significa que si asisto a clase entonces apruebo (p -> q),
pues es posible que asista a clase y no apruebe. Lo que significa la proposición
es que si he aprobado, entonces tiene que ser verdad que he asistido a clase.
Proposición en lenguaje natural: Asistir a clase es condición suficiente para
aprobar.
p = se asiste a clase q = se aprueba
Formalización: p -> q
Comentario: A diferencia de una condición necesaria, una condición suficiente
se basta por sí misma para que el consecuente del condicional sea verdadero.
Si digo que estudiar es condición suficiente para aprobar estoy diciendo que
basta estudiar para aprobar el curso, o lo que es lo mismo, que si estudio
entonces aprobaré el curso. Por lo tanto la formalización correcta es (p?q).
Nótese que una condición suficiente no tiene por qué ser también necesaria,
pues podría haber otra condición suficiente para aprobar. Podría ser que el
profesor dijera que para aprobar basta venir a clase o hacer un trabajo. En ese
caso tanto venir a clase como hacer un trabajo serían condiciones suficientes
para aprobar, pero no necesarias, pues cualquiera de ellas podría no cumplirse
y aprobar, siempre que se cumpla la otra. Por su parte, las condiciones
necesarias no tienen tampoco por qué ser suficientes.
Proposición en lenguaje natural: Asistir a clase es condición necesaria y
suficiente para aprobar.
p = se asiste a clase q = se aprueba
Formalización: p <--> q (se lee "p coimplica q")
Comentario: Decir que asistir a clase es condición necesaria y suficiente para
aprobar significa que basta asistir a clase para aprobar, y que no hay otro modo

7
de aprobar a parte de asistir a clase. En realidad la proposición es equivalente
a afirmar (p->q) y (q->p) simultáneamente. Esto significa que [(p->q) ? (q->p)] =
(p<-->q)
El símbolo "?" sirve para indicar esta doble dirección del condicional y se llama
bicondicional. También podría formalizarse con ayuda del bicondicional la
proposición
Si estudias y sólo si estudias, aprobarás.
Proposición en lenguaje natural: Te besaré si me prometes amor eterno. p= te
besaré
q= me prometes amor eterno
Formalización: q -> p
Comentario: La única dificultad de esta proposición es que para darle más
efecto al consecuente, se sitúa en primer lugar, pero es perfectamente
equivalente a la proposición "si me prometes amor eterno, entonces te besaré"
NEGACIÓN
Proposición en lenguaje natural: No voy a solucionarte el problema p= voy a
solucionarte el problema
Formalización: ¬p
Proposición en lenguaje natural: No es cierto que haya estado en ese cine. p=
he estado en ese cine
Formalización: ¬p
Comentario: el "no es cierto que" del ejemplo no es sino una forma reforzada
de negar, por lo tanto se formaliza como una simple negación, que es lo que
es.
Proposición en lenguaje natural: Ningún hombre puede volar p= algún hombre
puede volar
Formalización: ¬p
Comentario: En el ejemplo no aparece expresamente la partícula "no", pero el
"ningún" expresa negación, de modo que la proposición del ejemplo no es sino
la negación de la proposición atómica "algún hombre puede volar". Proposición
en lenguaje natural: No hay nada en el cajón p= hay algo en el cajón
Formalización: ¬p
Comentario: No hay que entender el "no hay nada" como una doble negación,
que sería equivalente a afirmar, sino como una negación reforzada, por eso la

8
proposición atómica es "hay algo en el cajón" y la proposición del ejemplo ha
de interpretarse como la negación de esa proposición atómica.
TABLAS DE VERDAD
Las tablas nos manifiestan los posibles valores de verdad de cualquier
proposición molecular, así como el análisis de la misma en función de las
proposicíones que la integran, encontrándonos con los consiguientes casos:
Tautologías
Se entiende por proposición tautológica, o tautología, aquella proposición que
en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho
de otra forma, su valor V no depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en que están establecidas las
relaciones sintácticas de unas con otras. Sea el caso:
Siguiendo la mecánica algorítmica de la tabla anterior construiremos su tabla
de verdad, tenemos la variable A en disyunción con su contradicción, si A es
verdad, su negación es falsa y si A es falsa su negación es verdad, en
cualquier caso una de las dos alternativas es cierta, y su disyunción es cierta
en todos los casos.
Contradicción
Se entiende por proposición contradictoria, o contradicción, aquella proposición
que en todos los casos posibles de su tabla de verdad su valor siempre es F.
Dicho de otra forma, su valor F no depende de los valores de verdad de las
proposiciones que la forman, sino de la forma en que están establecidas las
relaciones sintácticas de unas con otras. Sea el caso:
Procederemos de manera similar al caso anterior. Partiendo de la variable A y
su contradicción, la conjunción de ambos siempre es falso, dado que si A es
verdad su contradicción es falsa, y si A es falsa su contradicción es verdad, la
conjunción de ambas da falso en todos los casos,

EL MÉTODO DE TABLAS ABREVIADAS

El método abreviado de la tabla de valores es un procedimiento que nos evita

el laborioso trabajo de combinar y operar las posibilidades de los valores de
verdad y falsedad en la evaluación de las fórmulas. Reglas del método
abreviado

9
1. Asignar el valor de falso a la conclusión.

2. Deducir el valor de cada una de las variables proposicionales iniciando la

operación por el operador que ofrece una sola opción.

3. Trasladar el valor de una variable si esta se repite en el esquema, si y solo si

no afecta el valor del operador inmediato.

4. Si cada una de las variables cumple la misma función veritativa, se habrá

demostrado que la premisa o la conjunción de premisas es verdadera y la
conclusión falsa. Entonces, inferencia es invalida.

5. Basta que una variable tenga los valores de verdad y falsedad a la vez en
una misma línea, para demostrar que es imposible que la premisa o conjunción
de premisas sea verdadera y la conclusión falsa. luego, la inferencia es válida.

Ejemplo:

Ricardo es profesional si y solo si es graduado universitario. Ocurre que,

Ricardo es ingeniero. De ahí que, si Ricardo es ingeniero entonces es
graduado universitario.

Ricardo es profesional = p

Ricardo es graduado universitario = q

Ricardo es ingeniero = r

10
 ANÁLISIS

Es bien sabido que las matemáticas son una habilidad sumamente necesaria
para todos, pues son la principal herramienta con la que los seres humanos
han podido comprender el mundo a su alrededor. Cuando somos estudiantes
es común que nos preguntemos ¿por qué debo estudiar matemáticas?
Podríamos comenzar diciendo que son muchas las actividades de la vida
cotidiana que tienen relación con esta ciencia, por ejemplo, administrar dinero,
preparar una receta de cocina, calcular la distancia que tenemos que recorrer
para llegar a algún lugar, entre otras cosas, pero la respuesta va más allá.
Resulta difícil encontrar una definición completamente abarcadora del concepto
de matemática. En la actualidad, se la clasifica como una de las ciencias
formales (junto con la lógica), dado que, utilizando como herramienta el
razonamiento lógico.
Aprender matemáticas nos enseña a pensar de una manera lógica y a
desarrollar habilidades para la resolución de problemas y toma de decisiones.
Gracias a ellas también somos capaces de tener mayor claridad de ideas y del
uso del lenguaje. Con las matemáticas adquirimos habilidades para la vida y es
difícil pensar en algún área que no tenga que ver con ellas. Todo a nuestro
alrededor tiene un poco de esta ciencia.
Las habilidades numéricas en general son valoradas en la mayoría de los
sectores habiendo algunos en los que se consideran esenciales. El uso de la
estadística y la probabilidad efectiva es fundamental para una gran variedad de
tareas tales como el cálculo de costos, la evaluación de riesgos y control de
calidad y la modelización y resolución de problemas. Hay quienes plantean que
en el mundo actual tan cambiante en el que vivimos, particularmente en
términos de los avances tecnológicos, la demanda de conocimientos
matemáticos está en aumento.
Acerca de los propósitos de las matemáticas en la carrera policial, se enuncian
diversos puntos que hacen referencia al manejo y aplicación de habilidades

11
matemáticas en la resolución de problemas, en la comprensión el mundo físico,
en la construcción de inferencias, entre otros.

CONCLUSIONES

 La lógica proposicional es una parte de la lógica que tiene como objeto

el estudio de la proposición y la relación existente entre ellas, así como
la función que tienen las variables proposicionales y los conectivos
lógicos.

 Las proposiciones son expresiones que se pueden calificar como

verdadero o falso, estas no tienen ambigüedad y se denotan con letras
minúsculas.

 Las proposiciones simples solo tienen un significado, por el contrario, las

compuestas tienen dos o más significados.

12
 RECOMENDACIONES

- Se propone mayor reforzamiento en el ámbito matemático en las

escuelas.

- Se plantea una mayor capacitación a los maestros para que puedan

enseñar de una manera más didáctica y sencilla.

- Se recomienda charlas asistenciales donde se dé a conocer la

importancia de las matemáticas.

13
 BIBLIOGRAFÍA

 VARAS, ANTONIO (1801). EN LA IMPRENTA DE LA VIUDA DE

IBARRA, ED. ARITMÉTICA Y GEOMETRÍA PRÁCTICA DE LA REAL
ACADEMIA DE SAN FERNANDO. PP. 106-120.

 BILS, BENITO (1839). VIUDA DE JOAQUÍN IBARRA., ED. PRINCIPIOS

DE ARITMÉTICA DE LA REAL ACADEMIA DE SAN FERNANDO.
PP. 149-154.

 CONTRERAS, MANUEL MARÍA (1884). IMP. J.F. JENS,

ED. ELEMENTOS DE ARITMÉTICA RAZONADA: ESCRITOS PARA
USE DE LOS ALUMNOS DE LA ESCUELA NACIONAL
PREPARATORIA (6 EDICIÓN).

 EQUIPO ROSALÍA DE CASTRO, ED. (1997). PROPORCIONALIDAD Y

REGLA DE TRES.

 J. ROJO, ÁLGEBRA LINEAL. MCGRAW-HILL, 2001.

14
 GLOSARIO

La proposición

El Diccionario RAE define proposición como “enunciación de una verdad

demostrada o que se trata de demostrar”, su análisis es el fundamento de la
lógica proposicional que, a través de este método de análisis.

Conectores lógicos

Como hemos dicho enlazan dos o más proposiciones simples, dependiendo de

cómo realizan esta vinculación pueden ser:

 Conjunción: la letra “y”, en este caso para que la proposición

compuesta sea verdad las dos proposiciones simples deben ser
verdaderas.

 Disyunción débil la letra “o”, para que la proposición compuesta sea

verdad una de las dos proposiciones será verdadera o las dos, la
proposición compuesta sólo será falsa si las dos proposiciones simples
que la componen son falsas.

 Disyunción fuerte con la combinación “o...o...” como en la frase “o

comes carne o comes pescado”; en este caso para que la proposición
compuesta sea verdadera una de las dos simples que la componen
debe ser verdadera y la otra falsa, si las dos fueran verdaderas o las dos
falsas la proposición compuesta sería falsa.

 Condicional por la expresión “sí … entonces ...”: la primera proposición

simple es el antecedente y el segundo consecuente. En este caso la
proposición será verdadera salvo que la primera sea verdadera y la
segunda falsa, en cuyo caso la compuesta será falsa.

15
  Bicondicional por la expresión “sí y sólo sí”, como en la frase “el animal
ladra sí y sólo sí es un perro”: en este caso la proposición compuesta es
verdadera si las dos simples son, a la vez, verdaderas o las dos falsas,
si una fuera verdadera y la otra falsa la compuesta sería falsa.

 Negación puede ser con la expresión “no” o “no es cierto que”, para que
la compuesta sea verdadera al menos una de las dos que la componen
ha de ser falsa.

ANEXOS

16