Matemtica 1

UNIDAD 1: LGICA SESIN 01: LGICA PROPOSICIONAL

LGICA
La Lengua Espaola define a la lgica como la disciplina que estudia los principios formales del conocimiento humano, es decir, las formas y las leyes ms generales del pensamiento humano considerado puramente en s mismo, sin referencia a los objetos. Los problemas principales de la lgica son las doctrinas del concepto, del juicio, del silogismo y del mtodo. Es la ciencia de las proposiciones y las demostraciones que se basan en un razonamiento para llegar a una conclusin, ya sea verdadera o falsa LGICA FORMAL Es la ciencia que estudia el pensamiento teniendo en cuenta slo su estructura. Se divide en lgica proposicional y lgica de predicados. Nosotros estudiaremos slo la lgica proposicional. LGICA PROPOSCIONAL Es aquella que considera a las proposiciones como base para la determinacin de la validez. La lgica proposicional es llamado tambin lgebra Booleana o lgebra proposiconal PROPOSICIN Es una expresin lingstica (simblica o conjunto de palabras) con Sentido Completo, que se pueda demostrar su Verdad o Falsedad. Una proposicin lgica es enunciada mediante oraciones aseverativas que pone de manifiesto la funcin informativa del lenguaje. Esto trae como consecuencia las siguientes consideraciones: 1. No son proposiciones lgicas - Las creencias, mitos o leyendas. - Las metforas o refranes. - Las supersticiones. - Los hechos de la literatura o personajes ficticios - Hechos discutibles: La Moral, los valores, la belleza, etc. - Enunciados abiertos o indefinidos: + + = 180. - Las oraciones: Exclamativas (admiracin, sorpresa) Dubitativas (dudas) Desiderativas (deseos) Interrogativas (preguntas) Imperativas (rdenes, splicas, prohibiciones) 2. Son proposiciones lgicas - Las frmulas cientficas ya demostradas. - Las leyes o hiptesis cientficas aceptadas. - Enunciados cerrados o definidos: + + = 180, si , , = ngulos de un mismo tringulo. - Las Oraciones: Informativas (informacin) Descriptivas (caracterstica de algn sujeto) Explicativas (causa efecto)

Matemtica 1

CLASES DE PROPOSICIONES 1. Proposiciones Simples o Atmicas Carecen de conector lgico, y pueden ser:

A. Predicativas
Cuando se le atribuye alguna cualidad al sujeto (utiliza el verbo SER en cualquiera de sus tiempos). Ejemplos: - Carlos Marx fue el creador del Materialismo Dialctico. - Gregorio Mendel es el padre de la Gentica. B. Relacionales Cuando se compara un sujeto con otro mediante una relacin que puede ser de orden, tiempo, espacio, parentesco, accin, etc. Ejemplo: La seleccin Nacional jug un partido intenso con su similar de Brasil. Relacin de accin. 2. Proposiciones Compuestas o Moleculares (Coligativas) se caracterizan principalmente porque poseen conectores lgicos. CONECTORES LGICOS Son aquellos que sirven para formar proposiciones ms complejas (compuestas o moleculares). Principales Conectores Lgicos El negador: ............ no ............. . El conjuntor: ............ y .............. El disyuntor: ............ o .............. El condicional: Si ....... entonces ......... El bicondicional: .......... si y slo si .......... El inalterador: ni ............ ni .............. El Incompatibilizador: no ............ o no .............. Los conectores se clasifican en dos grupos:

a) Conectores Monarios (Mondicos ).

Son aquellos que se enlazan a una proposicin simple. Ejemplo:

b) Conectores Binarios (Diticos).

Son aquellos que enlazan a 2 proposiciones simples. Ejemplo: , , , , , , , /

Explicitaciones verbales de los conectores lgicos

Matemtica 1

El Negador : - A o A No A, nunca A, jams (A) (*) Es Incompatible que A Es inconcebible que A No ocurre que A No es verdad que A No es el caso que A No acaece que A Es mentira que A Es inadmisible que A De ninguna forma se da A En forma alguna A Carece de todo sentido A De ningn modo A En modo alguno A Es incorrecto que A Es incierto que A Nadie que sea A Es objetable que A Es absurdo que A Es falso que A Es refutable que A Es falaz que A Es refutable que A (*) Negador interno.

Amenos que A, B A salvo que B A excepto que B A o tambin B A o bien B A a no ser que B A o incluso B A y bien o tambin B Al menos uno de los dos A B A o sino B A alternativamente B A y/o B El Disyuntor excluyente: A v B A o B (sentido excluyente) O bien A o bien B A a menos que solamente B A salvo que nicamente B A excepto que slo B Amenos que slo A, B A o bien necesariamente B A o exclusivamente B A no es equivalente a B A no es idntico a B A no es lo mismo que B

El Conjuntor: A B AyB A aunque B A pero B A sin embargo B A incluso B A es compatible con B A as como B A del mismo modo B A an cuando B A tambin B A de la misma forma que B A al igual que B Tanto A como B Siempre ambos A con B A no obstante B No slo A sino tambin B A as mismo B A al igual que B A a pesar de B A a la vez B A ms B A con B los dos a la vez.

El Implicador : A B Si A entonces B Siempre que A por consiguiente B Ya que A bien se ve que B Dado que A por eso B En cuanto A por tanto B Porque A por eso B Como A es evidente B Con tal que A es obvio que B Toda vez que A en consecuencia B A consiguientemente B Dado que A por lo cual B En la medida que A de all B En virtud de que A entonces B A implica a B A es innecesario para B A es condicin suficiente para B A slo si B A luego B A trae como consecuencia a B De A deviene B Partiendo de A llegamos a B De A inferimos, deducimos, coligamos B Para A es condicin necesaria B A slo cuando B

Matemtica 1

El Disyuntor Incluyente: A B A o B (sentido incluyente) A a menos que B El Replicador : A B Slo si A, B Solo cuando A, B Solamente porque A, B A si B A porque B A dado que B A ya que B A siempre que B A puesto que B A es condicin necesaria para B A es insuficiente para B Es necesario A para B Es insuficiente A para B A cada vez que B A est implicado por B A con la condicin de que B Si solamente A cada vez que B A debido a que B A depende de B A sigue de B nicamente si A, B

Es suficiente A y B necesario En el caso que A en tal sentido B

El Biimplicador: A B A si y slo si B A por lo cual y segn lo cual B A cuando y slo cuando B A cada vez que y slo si B Si y slo si A, B Porque y solamente por que A, B Es suficiente A para que suficientemente B Es necesario A para que necesariamente B A es condicin suficiente y necesaria para B A siempre que y slo cuando B Siempre que A y siempre que B A es equivalente a B A es lo mismo que B A es idntico a B A implica y est implicado por B El Inalternador: A B Ni A ni B No A y no B

El Incompatibilizador: A/B No A o no B

FORMALIZACION DE PROPOSICIONES El anlisis del pensamiento formuladas en castellano o en cualquier otra lengua natural son difciles de evaluar, debido a la ambigedad que a veces sufre nuestro lenguaje. El pensamiento es imperceptible por nuestros sentidos, de all la dificultad de estudiarlos; para ello es necesario crear un Lenguaje Simblico Artificial (formalizacin) el mismo que represente perfectamente el enunciado en cuestin (traduccin). Es Aristteles quien por primera vez hace uso de ciertas abreviaturas para facilitar su labor al proponer la Teora del Silogismo, desarrollando la lgica formal; hecho que permiti se le considerara como "El padre de la Lgica Formal Antigua. La formalizacin consiste en representar simblicamente la relacin que existe entre las diferentes formas del pensamiento mediante el uso de variables y constantes; las mismas que fueron descubiertas ms adelante por Gotlob Frege. Smbolos usados en la formalizacin 1. Variables proposicionales Letras minsculas que representan a una proposicin simple (p, q, r, ...). Ejemplo: Csar es profesor de Raz. Lgico: p Cristbal Coln descubri Amrica: q

Matemtica 1

2. Variables Metalingsticas Letras maysculas que son usadas en la representacin de frmulas u operaciones lgicas (A, B, C, ...) Ejemplo: A B A v B, (A v A) A 3. Constantes u operadores lgicos Smbolos que representan y detallan la relacin que hay entre las proposiciones, regulan la construccin de una frmula lgica, por ejemplo: si los cuerpos se calientan entonces dichos cuerpos se dilatan. Su estructura lgica es: si ............ entonces .......... El operador lgico es: () Las proposiciones son: p = los cuerpos se calientan. q = los cuerpos se dilatan La relacin entre las proposiciones: causa efecto. Su formalizacin correcta: p q. Nota: Cabe aclarar que cada parte de la lgica formal trabaja con sus propios operadores lgicos; as por ejemplo, la Lgica Proposicional emplea los Conectores Lgicos. 4. Jerarqua de los conectores lgicos
() (v)

()()

(v)

operadores

( )

de la lgica proposicional.

()

Una frmula proposicional adopta el nombre del conector de mayor jerarqua. Ejemplo: - p q - r ..... frmula condicional - p q r -s ..... frmula bicondicional Nota: La jerarqua de conectores pierden fuerza cuando aparecen los signos auxiliares de agrupacin: ( ), [ ], { }.

TABLAS DE VERDAD DE LOS CONECTIVOS LGICOS A continuacin se presenta el cuadro resumen de las tablas de verdad de los conectores lgicos. p q p p p p pq p q q q q V V F V V F V V V F F F V V F F F V V F V V V F F F V F F F V V
Nota:

Matemtica 1

1. El nmero de valores de verdad de una frmula lgica se encuentra calculando 2 n, donde

n es el nmero de proposiciones. 2. Si los valores de verdad de la matriz principal son Todos verdaderos se llama TAUTOLOGA, Todos falsos se llama CONTRADICCIN No todos son verdaderos se llama CONTINGENCIA d) Mi mejor consejo es estar siempre atento. e) Slo la humildad te har ms grande de lo que eres. f) Todos los caminos conducen a Roma g) El amor es el ms sublime sentimiento h) Aristteles fue un filsofo de la antigedad i) Jess fue el primognito de Dios. j) Isaac Newton nunca existi. 6. Clasifica las siguientes proposiciones Los cantantes no duermen. El baile es saludable Fui a la feria, pero no hice compra alguna d) Comer mucho, engorda e) O es tarde o est muy oscuro f) Hoy es jueves g) No ocurre que todos los nmeros son positivos
a) b) c)

EJERCICIOS

NIVEL I: 1. La lgica estudia 1) Las leyes lgicas 2) Las proposiciones 3) El pensamiento humano 4) Las tablas de verdad 5) Los conectores lgicos 2. El objeto de estudio de la lgica formal es: 1) La verdad objetiva 2) La validez del concepto 3) La validez del juicio 4) La validez del razonamiento 5) Determinar mediante reglas y leyes la validez del razonamiento Son ciertas solamente a) 1 y 2 b) 2 y 3 c) 3 y 4 d) 4 y 5 e) Todas 3. Son proposiciones 1) (a b)2 = a2 + b2 2ab 2) 2 +3 = 15 3) La lgica es una ciencia fctica + + = 18 4) 5) La suma de los ngulos interiores de un tringulo cualquiera es 180 a) 1, 2 y 3 b) 2, 3 y 5 c) 1,2,3y 5 d) 1, 4 y 5 e) Todas 4. Es una proposicin falsa 1) Una colmena de abejas est compuesta por znganos 2) El agua y el kerosene no se mezclan 3) Los reptiles son de sangre fra 4) Un transgnico es un Organismo Modificado Genticamente (OMG) 5) El inca era la mxima autoridad en el imperio incaico 5. Identifique cuales de las siguientes oraciones son proposiciones a) Algn da los extraterrestres invadirn nuestro planeta. b) Este ao espero ingresar a la Universidad. c) A Dios rogando y con el mazo dando.

7. Construir la tabla de verdad de las a) b) c) d) e) f) g) h) i) j) k) l)

siguientes proposiciones lgicas p q ( p q ) q ( p r) ( q p ) (p q) r ( q p) q ( p q) p q [(r p ) q] p (p q ) ( p q) [ (p q ) r] p Ambos triunfarn si Pedro trabaja y Rosa estudia Siempre que llueve hay nueves y hace calor Ni Ana, ni Berta, son universitarias, por tanto son solo estudiantes

Nivel 2 8. La proposicin: Es necesario conocer las frmulas bsicas de Trigonometra para que se pueda entender el curso de Fsica. Se formaliza: a) A B b) A B c) A B d) A B e) A B

Matemtica 1

9. La proposicin: El clculo mental es una disciplina intelectual salvo que solamente sea memoria retentiva. Se formaliza a) A B b) A -B c) A B d) A B e) (A B) C 10. Formalizar: Estar tranquilo es condicin necesaria para rendir un buen examen. Pero saber es condicin suficiente para ingresar. a) (A B) (C D) b) (A B) (C D) c) (A B) (C D) d) (A B) (C D) e) N.a. 11. La proposicin: La clula es microscpica, excepto que sea visible a simple vista. Se formaliza como: a) A v B b) A B c) A v B d) A v B e) A v B 12. La proposicin: Los volcanes durmientes son pasivos a menos que con el tiempo se activen. Se formaliza como: a) A v B b) A v B c) A v (BC) d) A v B) (A e) N.A. 13. La proposicin: Es absurdo que los vegetales no son verdes pero los frutos son producto de las plantas. Se formaliza. a) A B b) ( A B) c) ( A v B) d) A (BvB) e) T.A. 14. La proposicin : Si la energa radiante se convierte en energa trmica, elctrica, mecnica o qumica; sus ondas de propagacin han sido interceptadas por la materia. Se formaliza como : a) (A B) C b) (A B C E D) c) A B d) A B e) (A B C D) E Nivel 3 15. Dado el siguiente esquema p 1 1 0 q 1 0 1 (-p 0 0 1 * -q) 0 1 0 1 1 0 -p 0 0 1

Qu conector debe de ser (*) para satisfacer las condiciones de la grfica? a) b) c) d) e) 16. Sabiendo que la proposicin p es verdadera, en cul de los siguientes casos es suficiente dicha informacin para determinar el valor de verdad de las siguientes proposiciones? 1) ( p v q ) (p q ) 2) ( q p ) v r 3) ( p q ) r 4) ( p v q ) (r v p) 17. Si s es verdadera y la proposicin [ ( p q ) ( q s ) ] v ( r s ) es falso, halle los valores de verdad de p, q y r.

18. Si p v[ ( p r ) (r q) ] es falso,
halle el valor de verdad de : [ ( p q ) v r ] ( p r ) a) V d) V y F

b) F c) VoF e) No se puede determinar

19. Si las proposiciones [ ( p v q ) p ] v ( r s ) y ( r s ) Son equivalentes a F, entonces determine el valor de ( p p) v ( q q ) y [ (p v q) (p q ) ] ( r s ) a) VV d) FV b) FF c) VF e) No se puede determinar

20. Si p(x): x2 = 16, q(x): x 4 = 8,

r(x): x2 4 > 5 Hale el valor de verdad de: a) { [p(1) p(3)] [ r(2) v p(3)] } q(4) b) [p(2) q(12) ] r(4) c) p(4) [r(5) v q(4) ] A) FFF D) VVF B) VVV E) FFV C) VFV

21. Se define las proposiciones: p # q p q p q p v q Adems la proposicin [ (p # q) (q r)]

Matemtica 1

Es verdadera. Halle los valores de verdad de p, q y r

a) VFV d) VVF

b) VVV e)FFV

c) FFF