UNIDAD 2:

LOGICA PROPOSICIONAL

TUTOR:

HILDER MOSCOTE

ESTUDIANTE:

MARIA ALEJANDRA VIDES

CODIGO: 200611_96

FECHA: 31/10/2017
 OBJETIVO GENERAL

Familiarizarse con los mtodos y conceptos de la lgica proposicional para realizar

demostraciones

OBJETIVOS ESPECIFICOS

Aprender a identificar las clases de proposiciones que se puede encontrar en un enunciado,

reconociendo la aplicacin y el efecto que tienen los trminos de enlace en las proposiciones,
analizando cada proposicin ya que en nuestro idioma se determina dando su validez dando
as una determinada interpretacin de proposiciones para simbolizarlas, de esta forma se da la
comprensin de los principios de operaciones de la lgica proposicional y sus aplicaciones en
otras reas de la carrera.

Teniendo en cuenta los anlisis de enunciados para la elaboracin de las tablas de verdad
verificando los trminos de enlace.
 INTRODUCCION

Este trabajo tiene como objetivo principal dar explicaciones a cada uno de estos tems y
justificar su veracidad en cada planteamiento.

La lgica como principio de cualquier situacin exitosamente requiere de procesos no siempre

intuitivos tampoco aleatorios siendo as la lgica en el ser humano se desarrolla por procesos
de acumulacin de conocimientos y experiencias ya que la lgica proposicional es
fundamental en el desarrollo de la lgica y se basa en la evaluacin de los enunciados o
proposiciones para determinar su validez soportada en el razonamiento y el anlisis de estos.
PUNTO 1

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas de

la Lgica Matemtica (slo selecciona una e informa en el foro cual escogi, para que no
sea escogido por otro integrante), la terminologa es la siguiente:

Tautologas

Una proposicin compuesta es una tautologa si es verdadera para todas las asignaciones de
valores de verdad para sus proposiciones componentes. La construccin de una tabla de
verdad es un mtodo efectivo para determinar si una expresin cualquiera es una tautologa o
no.

Desde el desarrollo de las tablas de verdad se presenta que enlaza el antecedente y el

consecuente da siempre el valor de verdad V, y en todos los casos posibles de los valores de
verdad de las proposiciones que la integran.

Ejemplo 1

~ ~
V F V
F V V

Como vemos la tabla de verdad nos arroja una tautologa.

Ejemplo 2

( )
V V V V
V F F V
F V F V
 F F F V

Como vemos la tabla de verdad nos arroja una tautologa.

Ejemplo 3

() ~() ~() ( )
V V V V F V V
V V F V F F V
V F V V F V V
V F F V F F V
F V V V F V V
F V F V F V V
F F V F V V V
F F F F V V V

Como vemos la tabla de verdad nos arroja una tautologa.

Contradicciones

Una proposicin es una contradiccin, si es falsa para todos sus valores de verdad. Al
desarrollar la tabla de verdad de una relacin proposicional el resultado de la frmula lgica
estudiada siempre va a ser falso, en todas las relaciones que se presentan.

Ejemplo 1
 =

~ ~
V F F
F V F

Todos sus valores finales son falsos, por lo que la convierte en una contradiccin.

Ejemplo 2

V V F F
V F F F
F V V F
F F V F

Todos sus valores finales son falsos, por lo que la convierte en una contradiccin.

Ejemplo 3

() ~() () ~()
V V V F F
V F V F F
F V V F F
F F F V F
Todos sus valores finales son falsos, por lo que la convierte en una contradiccin.

Contingencias

Una proposicin es una contingencia si no es ni verdadera ni falsa independientemente de los

valores de verdad de las proposiciones simples que la componen, es decir, que al desarrollar
su tabla de verdad los resultados finales dan valores verdaderos y falsos, no siendo ni
tautologa ni contradiccin, a esto le llamamos contingencia.

Ejemplo 1

V V V
V F F
F V V
F F V

Al tener valores de verdadero y falso en su esquema final, se dice que es una contingencia.

Ejemplo 2

V V V
V F F
F V F
 F F F

Al tener valores de verdadero y falso en su esquema final, se dice que es una contingencia.

Ejemplo 3

V V F V V V
V F F F V F
F V V V V V
F F V F F V

Al tener valores de verdadero y falso en su esquema final, se dice que es una contingencia. En
todas las relaciones presentadas.
PUNTO 2

Cada estudiante escoger una de las siguientes propiedades de las proposiciones lgicas
(publicar en el Foro de Interaccin y Produccin la propiedad seleccionada para evitar
que otro integrante la seleccione) y realizar una pequea presentacin en PREZI, de la
demostracin o un ejemplo evidenciando en el documento final a entregar el enlace de
acceso.

Link de la presentacin en Prezzi

https://prezi.com/view/nhZgvnKCu2OIdaHk2fsV/

PUNTO 3

1. Catalina se encuentra en una situacin disyuntiva al no tener claro que decisin debe
tomar; pues se encuentra a pocos das del cierre de la actividad del Curso
Pensamiento Lgico y Matemtico; precisamente ha resultado ser ganadora de un
paquete completo para ir de paseo a San Andrs, y las fechas del paseo coinciden
con los ltimos das de cierre de la actividad mencionada. Catalina le pide consejo a
su mejor amiga y lee expresa lo siguiente: si consulto los temas en internet o no
desarrollo la actividad del Paso 2 y desarrollo la actividad del Paso 2 y no voy al
paseo, entonces desarrollo la actividad del Paso 2.
Transforma el mensaje de Catalina en lenguaje formal, realiza las respectivas tablas
de verdad e indica si es tautologa, contradiccin o contingencia. Adems debes
hacer la comprobacin con el uso del simulador TRUTH.

si consulto los temas en internet o no desarrollo la actividad del Paso 2 y desarrollo la

actividad del Paso 2 y no voy al paseo, entonces desarrollo la actividad del Paso 2.

=
 = 2

Llevada al lenguaje formal

[()()]

Tabla de verdad

() () [()()] [()()]

V V V F F V F F V
V V F F V V V V V
V F V V F V F F V
V F F V V V F F V
F V V F F F F F V
F V F F V F V F V
F F V V F V F F V
F F F V V V F F V
PUNTO 4

1: Toda elipse posee eje mayor y eje menor.

2: Todos los planetas del Sistema Solar poseen como trayectoria una elipse.

Conclusin: Todos los planetas del Sistema Solar poseen eje mayor y eje menor.

Donde Sujeto o premisa menor es Los planetas del sistema solar; donde el Predicado o
premisa mayor es Poseen eje mayor y eje menor. El trmino medio es Elipse.
CONCLUSIONES