You are on page 1of 12

Pensamiento lógico matemático

Paso Dos

FRANNY NAVARRO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA -UNAD


ESCUELA INGENIERIAS
PROGRAMA INGENIERIA INDUSTRIAL
RIOHACHA, LA GUAJIRA
2018
Contenido

Introducción.......................................................................................................................................6
Objetivo general.................................................................................................................................7
Objetivos Específicos.........................................................................................................................8
CONCEPTO DE PROPOSICIÓN LÓGICA PROPOSICIONES SIMPLES Y COMPUESTAS.......9
RESOLUCION DEL PROBLEMADECLARACIÓN DE LAS PREPOSICIONES........................13
CONCLUSIONES...........................................................................................................................15
BIBLIOGRAFIA.............................................................................................................................16

6
Introducción

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. Con
esta actividad podemos aprender y analizar las clases de proposiciones y entender su
veracidad o falsedad según sea el caso a través de conectores lógicos donde nos llevan a
una tabla de verdad, el cual podemos clasificar si es una tautología, contradicción o
contingencia.

7
Objetivo general

Conceptualizar, analizar y argumentar de forma adecuada los procedimientos desde la


lógica proposicional utilizados para demostrar la veracidad y validez de situaciones
específicas y así verificar si la tabla de verdad generada es una tautología, contradicción o
contingencia.

Objetivos Específicos

Identificar las clases de proposiciones y sus características, los diferentes conectores


lógicos y sus respectivas representaciones en las tablas de verdad.

Analizar situaciones problemitas y resolverlas utilizando el álgebra proposicional y aplicar


en la tabla de verdad para establecer su valor de verdad o falsedad.

Determinar de acuerdo a la tabla de verdad si algunas situaciones del mundo real son una
tautología, contradicción o contingencia según sea el caso.

8
CONCEPTO DE PROPOSICIÓN LÓGICA PROPOSICIONES SIMPLES Y COMPUESTAS
Una proposición lógica es una afirmación o enunciado que es verdadero o falso, pero no
ambas cosas a la vez.

Por convención las proposiciones lógicas se escriben con las letras p, q, r,... etc.

LAS PROPOSICIONES LÓGICAS PUEDEN SER SIMPLES O COMPUESTAS.

PROPOSICIONES SIMPLES: también denominadas proposiciones atómicas. Son


aquellas que carecen totalmente de conectivos lógicos y que, por lo tanto, son inseparables.

Ejemplos:

1. Quito es la capital de Ecuador.

2. El 3 y el 9 son factores del 81.

PROPOSICIONES COMPUESTAS: también denominadas moleculares Son aquellas


que resultan de la combinación de varias proposiciones simples, unidas por uno o más
conectivos lógicos y que pueden ser separadas y descompuestas en proposiciones más
simples.

Ejemplos:

1. Jose Caicedo es profesor y Quito es la capital de Ecuador. (Conjución)

2. Si salgo tarde, entonces no visitare a la abuela. (Implicación)

3. El acusado No dice la verdad. (Negació

9
Conectivos lógicos

NEGACIÓN: La negación de cualquier proposición p será falsa cuando se niegue una


proposición verdadera y será verdadera cuando se niegue una proposición falsa.

Se escribe ~p

CONJUNCIÓN: si p y q, representan dos proposiciones simples, entonces la proposición


compuesta p Ʌ q, solo será verdadera cuando las dos proposiciones lo sean.

Se escribe p Ʌ q

10
DISYUNCIÓN: Dadas dos preposiciones p y q, la disyunción de p y q, es verdadera
cuando al menos p o p son verdaderas y falsa en caso de que ambas los sean.

Se escribe p V q

IMPLICACIÓN: Dadas dos preposiciones p y q, la implicación de p y q, solo es falsa


cuando p (el antecedente) es verdadero y q (el consecuente) es falso.

Se escribe p → q

11
BICONDICIONAL: si p y q representan dos proposiciones simples, la equivalencia
de p y q, solo será verdadera cuando ambas proposiciones tengan el mismo valor de
verdad.

Se escribe p ←→ q

12
RESOLUCION DEL PROBLEMADECLARACIÓN DE LAS PREPOSICIONES

Tarea 1.

A. p: El estadio del Deportivo Cali se llama “Palmaseca” q: Un equipo de


futbol lo componen 12 jugadores

(𝒑⋀�)↔(¬𝒑∨¬�)

Tarea 2

El sol es redondo y la luna es un satélite si y solo si la tierra hace parte de la vía láctea.

Expresión en lenguaje simbólico o formal.

Generar la tabla de verdad manualmente y a través del simulador Truth Table.

Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table

Tarea 3

A. [(𝑝⟶�)∧(∼𝑝⟶�)∧(�⟶�)]⟶(∼�⟶�)

Definición de las proposiciones simples


Lenguaje natural de la expresión formal
Generar la tabla de verdad manualmente y a través del simulador Truth Table.
Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
Definir si el argumento es una Tautología, contradicción o contingencia

13
Tabla 1
TABLA 1:PLAN DE ACCION - GRUPO 200611ª-471
Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado s
sa revisar
desarrollar
Identificación Tarea 1: A Tarea 1: A
Nombre Franny Javier Navarro
CEAD/CCAV/CERES/ UDR Tarea 2: B Tarea 2:B
La Guajira
Tarea 3: A Tarea 3: A

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ UDR Tarea 2: Tarea 2:

Tarea 3: Tarea 3:

Identificación Tarea 1: Tarea 1:


Nombre
CEAD/CCAV/CERES/ Tarea 2: Tarea 2:
UDR
Tarea 3: Tarea 3:

14
CONCLUSIONES

Se evidencia una información donde podemos encontrar una serie de estructuras manejadas
con el fin de que el trabajo colaborativo se lleve a cabo con los parámetros propuestos
donde se evidencia las faces de entrega de trabajo presentación del tutor y de cada
estudiante, foros y actividades evaluativas desarrolladas para la entrega fina

15
BIBLIOGRAFIA

Villalpando Becerra, J. ( 2016). Lógica y cálculo Proposicional. Bogotá, Colombia: UNAD.


Recuperado de: http://hdl.handle.net/10596/6551

Ecured.cu. (2017). Preposición lógica - EcuRed. [online] Available at:


https://www.ecured.cu/Preposici%C3%B3n_l%C3%B3gica [Accessed 11 Apr. 2017].

Universidad Nacional Abierta y a Distancia (UNAD), Unidad 2- lógica proporcional


consultada en:

Argoty, L. (2015). Repaso Lógica Matemática. Recuperado


dehttp://erenriquez.net/largoty/Ova01MD/

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.


Recuperado de http://hdl.handle.net/10596/7961

16