UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE HUMANIDADES
DEPARTAMENTO DE PEDAGOGÍA
SECCIÓN TOTONICAPÁN
CURSO: ELEMENTOS DE LÓGICA
DOCENTE: LIC. JUAN ABELINO CHAVALOC YAX

NOMBRE DEL LOS INTEGRANTES: CARNE:

CAPRIEL MEJÍA GERBERTH DAVID 201861180

TZIC YAX JULIO OMAR 201861182
SOLÍS CHACLÁN ROSA ELIZABETH 201851925
GARCIA TAX ELISA LORENA 201852312

SECCIÓN: “A”

FECHA: 05 DE MAYO DE 2018

 INTRODUCCIÓN:

Ejecutar la compresión de los siguientes temas a tratarse con los jóvenes

estudiantes se puede comprender que son temas sumamente complejos que
requerirán de una detallada explicación puesto que son temas de relevancia en las
áreas de lógica con ello ejecutaremos todas nuestras habilidades para la
compresión de los siguientes temas los cuales se dan a continuación.
 LÓGICA PROPORCIONAL

es un lenguaje preciso, claro y formal, que estudia a las proposiciones. Su objetivo

es interpretar desarrollar razonamientos correctos y distinguirlos de los incorrectos.
La lógica proposicional o lógica de orden cero es la rama de la lógica matemática
que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas
mediante conectores lógicos y las relaciones y propiedades que se derivan de esos
procedimientos. Es una herramienta útil para razonar, pero no puede resolver
problemas que requieren analizar la estructura interna de las proposiciones o de las
relaciones entre ellas. Este tipo de lógica considera las proposiciones como
elementos atómicos y no tiene cuantificadores o variables de entidad.
Objetivo general

Familiarizarse con los conceptos y métodos de la lógica proposicional para realizar

demostraciones.
Objetivos específicos
Comprender los conceptos de la lógica proposicional.
Familiarizarse con las características del sistema de lógica proposicional.
Aplicar diferentes métodos de lógica proposicional para realizar deducciones.

PROPOSICIÓN
Toda expresión lingüística que se afirma su es V o F
P: hoy es martes =V o F
q: los futbolistas son deportistas = V
r: los perros vuelan =F
s: 5+4= 12 - F
r: 3×6= 18 – V

La lógica se define como la ciencia del razonamiento, o como el estudio de los

métodos y principios usados para distinguir el razonamiento correcto del incorrecto.
Por su parte, la lógica simbólica es el estudio de la lógica mediante la matemática,
es decir, que incorpora la exactitud y rigor matemáticos.
Un razonamiento es cualquier grupo de oraciones declarativas, tal que una de ellas
(conclusión) se afirma que se deriva de otras, llamadas premisas, las cuales se
consideran evidencia de la verdad de la primera. Para efectos del curso,
estudiaremos dos tipos de razonamiento
Conectivos lógicos

Conectivos lógicos son aquellas palabras que enlazan proposiciones o cambian su

valor de verdad. A partir de proposiciones atómicas es posible generar otras
atómicas o moleculares. Es decir que se puede operar con proposiciones, y para
ello se utilizan ciertos símbolos llamados conectivos lógicos, también llamados
operadores o constantes.

TABLAS DE VERDAD

Las tablas de verdad son, por una parte, uno de los métodos más sencillos y
conocidos de la lógica formal, pero al mismo tiempo también uno de los más
poderosos y claros. Entender bien las tablas de verdad es, en gran medida,
entender bien a la lógica formal misma. El procedimiento para construir una tabla
de verdad es sencillo, Tomemos por ejemplo, el popular principio de que toda tabla
tiene 2n renglones, dónde la n corresponde al número de variables proposicionales
(también conocidas como “letras proposicionales”) que aparecen en la fórmula. Una
fórmula de 3 variables proposicionales, por ejemplo, tendría 23=8 renglones.

En la lógica proposicional, los conectivos lógicos son tratados como funciones de

verdad. Es decir, como funciones que toman conjuntos de valores de verdad y
devuelven valores de verdad.
 Expresión en
Conectivo lenguaje Ejemplo Símbolo
natural

Negación no Lupe no es rubio

Lupe es rubio y Juana es

Conjunción Y
morena

Lupe es rubio o Juana es

Disyunción O
morena

Si Lupe es
Implicación si... entonces rubio entonces Juana es
morena

Lupe es rubio sí y solo

Bi-condicional sí y sólo sí
sí Juana es morena

Los conectivos lógicos son funciones que permiten combinar valores de verdad y
entregar valores de verdad, esto se puede visualizar mediante una tabla que
entregue los valores de verdad que la función devuelve con todas las combinaciones
posibles.

Negación Conjunción Disyunción

p p p Q p q p q p q

V F V V V V V V

F V V F F V F V

F V F F V V

F F F F F F

Condicional Bicondicional

p q p q P q p q
 V V V V V V

V F F V F F

F V V F V F

Para representar la tabla de verdad cuando se aplica conectores, se exponen

algunos ejemplos:
Sea p una fórmula cualquiera, ¬ p es verdadero cuando p es falso, y falso
cuando p es verdadero.

Sean p y q fórmulas cualesquiera, (p q) es verdadero cuando p y q son

verdaderos, y falso en los demás casos.

Sean p y q fórmulas cualesquiera, (p q) es falso cuando p y q son falsos, y

verdadero en los demás casos.

Sean p y q fórmulas cualesquiera, (p q) es falso cuando p es verdadero y q

es falso, y verdadero en los demás casos.

Sean p y q fórmulas cualesquiera, (p q) es falso cuando p y q tienen distinto

valor de verdad, y verdadero cuando tienen el mismo valor de verdad.

Más que aprender de memoria estas tablas, lo importante es identificar el efecto

que provoca en los valores de verdad cuando se aplica una función.
 CONCLUSIÓN

Determinamos que Las tablas de verdad se utilizan en lógica simbólica para

establecer la validez de las proposiciones. La construcción
de tablas de verdad simplifica la tarea de determinar la verdad o falsedad de una
proposición. Tabla de verdad de la conjunción La conjunción de dos proposiciones
simples p^q (se lee ”p y q”),sólo es verdadera si ambas proposiciones son
verdaderas. Ahora se elabora la finalidad de la misma con análisis critico y
profundizado sobre los tema a tratarse comprendiendo conjuntamente con los
compañeros estudiantes.