TRABAJO ETAPA2 INDIVIDUAL

OSCAR EDUARDO ESPINOSA OSORIO

Celular: 3217768150
Skype: oscar.solene

Correo: oscarosorio240@hotmail.com
Tutor: Elizabeth Puentes Montao

Universidad Abierta y a Distancia UNAD.

Jos Acevedo y Gmez.

LGICA MATEMTICA
2016

Objetivos:

1. Comprender los conceptos de tabla de verdad y sus operaciones

2. Comprender y analizar problemas lgicos que impliquen el uso de proposiciones
compuestas y tablas de verdad
3. Comprender el concepto de Silogismo y su representacin grafica con diagramas de
Venn.
4. Desarrollar los ejercicios propuestos

Introduccin:
El papel de la lgica ha sido concebido tan diversamente que para algunos se confunde con
la psicologa y para otros con la metafsica. Segn los estoicos la lgica se ocupa del
clculo de signos que expresan proposiciones. Los signos pueden ser hablados o escritos en
particular son palabras o nombres.

La lgica es la ciencia que estudia el razonamiento, donde razonar consiste en obtener

afirmaciones (llamadas conclusiones) a partir de otras afirmaciones (llamadas premisas)
con los criterios adecuados para que podamos tener la garanta de que, si las premisas son
verdaderas, entonces las conclusiones obtenidas tambin tienen que serlo necesariamente.

ETAPA 1:

Tablas de verdad:

La tabla de verdad de una proposicin compuesta P enumera todas las posibles

combinaciones de los valores de verdad para las proposiciones p1, p2, . . . , pn
Por ejemplo, si P es una proposicin compuesta por las proposiciones simples p1, p2 y p3,
entonces la tabla de verdad de P debera recoger los siguientes valores de verdad:

Conjuncin:

Conjuncin Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncin de ambas

a la proposicin compuesta p y q y la notaremos p q. Esta proposicin sera verdadera
nicamente en el caso de que ambas proposiciones lo sean. Obsrvese que de la definicin
dada se sigue directamente que, si p y q son, ambas, verdaderas entonces p q es verdad y
que, si al menos una de las dos es falsa, entonces p q es falsa. Por lo tanto, su tabla de
verdad vendr dada por:

Obsrvese tambin que el razonamiento puede hacerse a la inversa, es decir si p q es

verdad, entonces p y q son, ambas, verdad y que si p q es falsa, entonces una de las dos
ha de ser falsa.
Disyuncin:

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin de ambas a la

proposicin compuesta p o q y la notaremos p q. Esta proposicin ser verdadera si al
menos una de las dos p o q lo es.
De acuerdo con la definicin dada se sigue que si una de las dos, p o q, es verdad entonces
p q es verdad y que p q ser falsa, nicamente si ambas lo son. Su tabla de verdad ser,
por tanto:

Al igual que en la conjuncin, podemos razonar en sentido inverso. En efecto, si p q es

verdad, entonces una de las dos, al menos, ha de ser verdad y si p q es falsa, entonces
ambas han de ser falsas.

La palabra o se usa en el lenguaje ordinario de dos formas distintas. A veces se utiliza en

el sentido de p o q, o ambos, es decir, al menos una de las dos alternativas ocurre y, a
veces es usada en el sentido de p o q, pero no ambos es decir, ocurre exactamente una de
de las dos alternativas.
Por ejemplo, la proposicin El ir a Madrid o a Bilbao usa o con el ultimo sentido. A
este tipo de disyuncin la llamaremos disyuncin exclusiva
Disyuncin Exclusiva:

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncin exclusiva de ambas a

la proposicin compuesta p o q, pero no ambos y la notaremos p Y q. Esta proposicin
ser verdadera si una u otra, pero no ambas son verdaderas. Segn esta definicin una
disyuncin exclusiva de dos proposiciones p y q ser verdadera cuando tengan distintos
valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad es,
por tanto:

Haciendo el razonamiento contrario si p Y q es verdad, nicamente podemos asegurar que

una de las dos es verdad y si p Y q es falsa, solo podemos deducir que ambas tienen el
mismo valor de verdad.

Negacin:

Dada una proposicin cualquiera, p, llamaremos negacin de p a la proposicin no p y

la notaremos p. Ser verdadera cuando p sea falsa y falsa cuando p sea verdadera.
La tabla de verdad de esta nueva proposicin, p, es:

De esta forma, el valor verdadero de la negacin de cualquier proposicin es siempre

opuesto al valor verdadero de la afirmacin original.
Condicional:

Dadas dos proposiciones p y q, a la proposicin compuesta si p, entonces q se le llama

proposicin condicional y se nota por p q.

A la proposicin p se le llama hiptesis, antecedente, premisa o condicin suficiente y a

la q tesis, consecuente, conclusin o condicin necesaria del condicional. Una
proposicin condicional es falsa nicamente cuando siendo verdad la hiptesis, la
conclusin es falsa (no se debe deducir una conclusin falsa de una hiptesis verdadera).
De acuerdo con esta definicin su tabla de verdad es:

Obsrvese que si p q es verdad no puede deducirse prcticamente nada sobre los

valores de verdad de p y q ya que pueden ser ambas verdades, ambas falsas o la primera
falsa y la segunda verdad. Ahora bien, si el condicional p q es falso, entonces podemos
asegurar que p es verdadera y q falsa.
Otras formulaciones equivalentes de la proposicin condicional p q son:
p slo si q.
q si p.

p es una condicin suficiente para q.

q es una condicin necesaria para p.

q se sigue de p.

q a condicin de p.

q es una consecuencia lgica de p.

q cuando p.

Bicondicional:

Dadas dos proposiciones p y q, a la proposicin compuesta p si y slo si q se le llama

proposicin bicondicional y se nota por p q
La interpretacin del enunciado es:
p slo si q y p si q
o lo que es igual

si p, entonces q y si q, entonces p
es decir, (p q) (q p)

Por tanto, su tabla de verdad es

Luego la proposicin bicondicional p q es verdadera nicamente en caso de que

ambas proposiciones, p y q, tengan los mismos valores de verdad.
Ejemplos:

Ejemplo 1.

Sean las proposiciones

p: Est nevando.

q: Ir a la ciudad.
r: Tengo tiempo.

(a) Escribir, usando conectivos lgicos, una proposicin que simbolice cada una de las
afirmaciones siguientes:

(a.1) Si no est nevando y tengo tiempo, entonces ir a la ciudad.

(a.2) Ir a la ciudad slo si tengo tiempo.
(a.3) No est nevando.

(a.4) Est nevando, y no ir a la ciudad.

(b) Enunciar las afirmaciones que se corresponden con cada una de las proposiciones
siguientes: (b.1) q (r p)
(b.2) r q

(b.3) (q r) (r q)
(b.4) (r q)

Solucin (a) Escribimos en forma simblica las afirmaciones propuestas.

(a.1) (p r) q
(a.2) q r
(a.3) p

(a.4) p q

(b) Escribimos en forma de afirmaciones las proposiciones.

(b.1) Ir a la ciudad si, y slo si tengo tiempo y no est nevando.

(b.2) Tengo tiempo e ir a la ciudad.

(b.3) Ir a la ciudad si y slo si tengo tiempo.

(b.4) Ni tengo tiempo, ni ir a la ciudad.
Ejemplo 2:

Sean p, q y r las proposiciones El nmero N es par, La salida va a la pantalla y Los

resultados se dirigen a la impresora, respectivamente. Enunciar las formulaciones
equivalentes de las siguientes proposiciones.
(a) q p.

(b) q r.

(c) r (p q).
Solucin

(a) q p. Si la salida va a la pantalla, entonces el nmero N es par.

La salida ir a la pantalla, slo si el nmero N es par.
El nmero N es par si la salida va a la pantalla.
Una condicin suficiente para que el nmero N sea par es que la salida vaya a la
pantalla.
Una condicin necesaria para que la salida vaya a la pantalla es que el nmero N
sea par.
(b) q r.
Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora.
La salida no va a la pantalla slo si los resultados se dirigen a la impresora.
Los resultados se dirigen a la impresora si la salida no va a la pantalla.
Una condicin suficiente para que los resultados se dirijan a la impresora es que la
salida no vaya a la pantalla.
Una condicin necesaria para que la salida no vaya a la pantalla es que los
resultados se dirijan a la impresora.
(b) r (p q).
Si los resultados se dirigen a la impresora, entonces el nmero N es par o la salida
va a la pantalla.
Los resultados se dirigen a la impresora slo si el nmero N es par o la salida
vaya a la pantalla. 9 Universidad de Cdiz Departamento de Maten ticas
El nmero N es par o la salida va a la pantalla si los resultados se dirigen a la
impresora. Una condicin suficiente para que el nmero N sea par o la salida vaya
a la pantalla es que los resultados se dirijan a la impresora.
Una condicin necesaria para que los resultados se dirijan a la impresora es que el
nmero N sea par o que la salida vaya a la pantalla.

Ejemplo 3:

Construir la tabla de verdad de la proposicin (p q).

ETAPA 2:

2. Paola entra en una discusin con su esposo Jairo por el derroche de dinero que han tenido
en los ltimos meses. En una conversacin un tanto acelerada, Jairo le dice a su esposa:
No es cierto que, compr un carro nuevo o una motocicleta de alto cilindraje, o compr un
auto nuevo o perd el premio econmico de la empresa por superar el nmero de ventas. Y
es que perd el premio que otorgaba la empresa por superar el nmero de ventas. ser que
Paola le dar la razn a su esposo o considerar que es falso lo que l dice? Segn el
resultado de la tabla de verdad, determinando si es tautologa, contradiccin o contingencia,
plantea una respuesta sobre la percepcin de Paola respecto a lo que mencion su Jairo.
P = compr un carro nuevo

q = una motocicleta de alto cilindraje

r = perd el premio que otorgaba la empresa por superar el nmero de ventas

(pq)(pr)r
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r (pq) (pr) (pq)(pr) (pq)(pr) (pq)(pr)r

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

Como para todos los valores de las proposiciones el resultado es falso, es una
contradiccin, por lo tanto, lo que Paola debera percibir es que Jairo le est mintiendo.

ETAPA

3:

5. Ningn tratado de la Escuela Piagetiana puede ser del constructivismo.

Algunos estudios sobre la pedagoga pueden ser un enfoque del constructivismo.
Algunos estudios sobre la pedagoga no son Tratados de la Escuela Piagetiana

Escuela Piagetiana

Constructivismo

Estudios pedagoga

Constructivismo

Escuela Piagetiana

Estudios pedagoga

Constructivismo

CONCLUSIONES:

1. Se comprendieron y aplicaron los conceptos de tablas de verdad y sus distintas

operaciones
2. Se comprendieron y aplicaron los conceptos de silogismos, analizando los
problemas propuestos y llegando a su representacin grfica con la utilizacin de
los diagramas de Venn.

REFERENCIAS:

-(2016).
Retrieved
24
October
2016,
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion1.pdf

from

-Buitrago, H. & perfil, V. (2016). Tablas de verdad. Logica-matematica-ucphectorbuitrago.blogspot.com.co. Retrieved 24 October 2016, from http://logicamatematica-ucp-hectorbuitrago.blogspot.com.co/p/tablas-de-verdad.html
-3.1.2 Proposiciones compuestas (Disyuncin, Conjuncin, Negacin, Condicional,
Bicondicional) MATEMTICAS DISCRETAS-UNIDAD 3-LGICA MATEMTICA.
(2011). Matedisunidad3.wordpress.com. Retrieved 24 October 2016, from
https://matedisunidad3.wordpress.com/category/3-1-2-proposiciones-compuestasdisyuncion-conjuncion-negacion-condicional-bicondicional/
-(2016).
Retrieved
24
October
2016,
http://www2.uca.es/matematicas/Docencia/ESI/1711051/Apuntes/Leccion1.pdf

from