Aprendizajes Esperados: viernes 02 de agosto de 2013 1.

Comprender los aspectos generales de la lgica proposicional, bajo una primera aproximacin al concepto de lgica proposicional. 2. Identificar Enunciados Simples y Enunciados Compuestos.
Unidad I: El Lenguaje de la Lgica y la Lgica proposicional. 1.1. Consideraciones Generales. 1.2. La Lgica Tradicional y la lgica Simblica. 1.3. Los Signos, el Lenguaje y el Lenguaje Natural: 1.4. La Oracin: enunciativas, derivativas, dubitativas, interrogativas, exclamativas. 1.5. El Enunciado: 1.6. La Lgica como Lenguaje Artificial 1.7. La Lgica como Lenguaje Formal 1.7.1. Los Enunciados Proposicionales: 1.7.1.1. Enunciados Simples o Atmicos. 1.7.1.2. Enunciados Compuestos o Moleculares.

LGICA PROPOSICIONAL

LGICA
Ciencia que trata del razonamiento correcto
Estudia la forma del razonamiento, que por medio de tcnicas y reglas (condiciones), determina si un argumento es vlido o no.

Demuestra si un argumento, si un razonamiento es: VERDADERO, FALSO O INDETERMINADO

ARISTTELES (Organon): ARTE DE LA ARGUMENTACIN CORRECTA Y VERDADERA
2

LOS SIGNOS Y EL LENGUAJE Los Signos

Todo aquello que representa y significa algo para alguien"

Imgenes
Significado/Semejanza

Smbolos
Significado/arbitraria

SIGNO = SIGNIFICADO + RECEPTOR

ADQUISICIN DEL LENGUAJE

(Capacidad Humana)

La Teora Conductista:

Skinner

Adaptacin estmulos

Repeticin y correccin de los adultos.

La Teora Innatista:

Noam Chomsky

Dispositivo adquisicin de lenguaje

El cerebro programa para poder analizar el momento comunicativo que se escucha y descifrar las reglas.

 La Teora Cognitiva:

Jean Piaget

Desarrollo de la inteligencia

Desarrollo del lenguaje. La Teora Interaccionista: Noam Chomsky Cerebro hay una especie
de plantilla innata para la estructura del lenguaje heredado

No aportan ninguna pista sobre cmo lleg esta capacidad a nuestra cabeza.

CONOCIMIENTO LINGSTICO (Lenguaje)

Es un sistema que usa seales fsicas: sonidos, gestos, marca en un papel, para expresar un significado, ensear un objeto o un concepto

Sintaxis

Semntica Fontica
Significado signos - Sonido palabras
6

Coordinar palabras -

Es un fenmeno social basado en la capacidad que poseen algunas especies animales (ms complejo y desarrollado en el hombre) de comunicarse mediante smbolos.

LENGUAJE NATURAL
Es la lengua utilizada por una comunidad lingstica

El ruso, el cataln, el ingls, el castellano, etc.

Smbolos Lingsticos
El significado es la idea o contenido que tenemos en la mente de cualquier palabra conocida. El significante que es el conjunto de sonidos o letras con que transmitimos el contenido de esa palabra conocida.

Reglas

GRAMTICA
Fontica Ortografa Semntica Sintaxis Morfologa
9

ORACIN
Una oracin es una expresin lingstica gramaticalmente correcta(reglas)y que posee sentido completo (Entendible, comprensible el mensaje) Enunciativas Derivativas Dubitativas Interrogativas Exclamativas

10

DERIVATIVAS

Ejemplo: * No fumes en este lugar. * Sal inmediatamente de aqu.

Ejemplo: * Ojal sople el viento. * Que tengas un feliz cumpleaos.

11

DUBITATIVAS

Ejemplo: * Quiz Laura comience a recuperarse. * Acaso llueva maana.

12

INTERROGATIVAS

Ejemplo: *Recibiste mi mensaje? * Volvi a contar la misma mentira?

13

EXCLAMATIVAS

Ejemplo: * Qu bonito! * Bravo!

14

ENUNCIATIVAS

Un juicio, una idea, una opinin; estas oraciones informan de algo que est sucediendo, que sucedi en el pasado o que est por ocurrir. - Afirmativa

o negativa.
15

- Verdadera o falsa.

LENGUAJE ARTIFICIAL
Imprecisiones Semnticas
RAZN *
- Palabras que tienen ms de un significado y que se usan ambiguamente - Ej.: Pedro ha arrendado una casa. - Palabras: Rpido, difcil, agradable

Deficiencias Sintcticas
-Tras lanzar el salvavidas, Don Ramn se hunda en el lago,
* - Entrega a las ciencias una expresividad rigurosa y exacta. - Las ciencias emplean lenguajes artificiales. - No tiene imprecisiones, porque tiene un significado preciso.
16

EL LENGUAJE FORMAL
Lenguaje artificial que utiliza una tabla de smbolos formales.

Smbolos + Reglas
Constantes y Variables

La Lgica y la Matemtica son lenguajes formales.

Convencionales + Operatividad y Eficacia del clculo

17

VARIABLES
Signos que carecen de significado fijo.

Reciben un surtido ilimitado de contenidos.

Smbolo y objeto de la realidad

N 3
Contabilizar: caballos, experiencias, autos, etc.
En lgica, el smbolo p, puede traducir cualquier enunciado afirmativo, como: Pars es una ciudad o la casa es roja .
18

CONSTANTES
Signos con sentido fijo
Enlazan entre s smbolos del vocabulario primitivo

OPERADORES - CONECTORES
Matemticas

Lgica Proposicional

^
19

LGICA PROPOSICIONAL

Se dice que la lgica proposicional trabaja con sentencias u oraciones a las cuales se les puede asociar un valor de verdad (cierto o falso); estas sentencias se conocen como sentencias declarativas o, simplemente, proposiciones. Pueden existir proposiciones que son simples, as como proposiciones que estn construidas por otras proposiciones usando elementos (conectivas lgicas) que las asocian, que se llaman complejas. La lgica proposicional (o clculo proposicional) tiene el propsito de simbolizar cualquier tipo de razonamiento para su anlisis y tratamiento, sta usa sentencias declarativas a las que se puede asociar un valor de verdad (cierto o falso); es decir, usa proposiciones. Ejemplo: P y Q son proposiciones: P : El guila es un ave Q : La ballena es un mamfero
20

ENUNCIADOS
Proposiciones tomadas en bloque Sin anlisis interno Se simboliza con una letra consonante (variable): como p, q, r, s, etc.

F
21

Todos los hombres son mortales

Chile est en Europa

p
P = Todos los hombres son mortales

p
P = Chile est en Europa

Enunciado VERDADERO

Enunciado FALSO

22

ENUNCIADOS SIMPLES
Proposicin que no est formado por otros enunciados y por ello no contiene trminos de enlace o conectivas.

Los enunciados simples del lenguaje natural se sustituirn por las variables proposicionales simbolizadas mediante las letras minsculas: p, q, r, etc.

P = La casa es roja

P = Gustavo Bentez es DT de Colo Colo

24

ENUNCIADOS COMPUESTOS
Enunciado compuesto por varios enunciados simples o varios compuestos, enlazados por conectores como: y, o, pero, si..entonces, s y slo si, no, ni.. ni, una de dos, por lo tanto, etc.
Su valor de verdad se determina completamente por medio del valor de verdad de sus enunciados simples junto con la forma cmo ellos se conectan para conformar un enunciado compuesto.
25

Los trabajadores estn cosechando lechugas y papas P = Los trabajadores estn cosechando lechugas. q = Los trabajadores estn cosechando papas.
26

Cmo traducir el lenguaje natural:

(I) Identificar los enunciados simples,

asignndoles a cada enunciado simple su contexto, siempre afirmado. (II) Formalizar los enunciados, identificando los conectores lgicos: no, y, si entonces, o, s y slo si (o sus posibilidades)

27

CONECTORES LGICOS
28

 Los 6 conectores son: NO, Y, O, O O , SI, ENTONCES, SI

Y SLO SI son las utilizadas.

Pero hay expresiones del lenguaje natural que cumplen la

misma funcin lgica, aunque no tengan la misma funcin pragmtica. Cuando una expresin tenga la misma funcin lgica que una de esas 5 partculas, la formalizamos usando la misma conectiva/conector.

29

NEGACIN
1) Enunciado compuesto (EXCEPCIN) 2) Enunciado simple. 3) Equivale al sentido expresin NO del lenguaje natural. 4) Posibilidades lingsticas: Pedro NO habla NO ES EL CASO QUE Pedro hable NO OCURRE QUE Pedro hable NO ES CIERTO QUE Pedro habla Otros: No es posible, es imposible, no acontece, nunca, mentira, falso Prefijos Negativos: a, des, in, i. Antnimos: rico pobre, gordo flaco, arriba abajo, fcil difcil (siempre en un mismo contexto). 5) Formalizacin: No . 6) Simbolizacin: p, ~ p, p.
30

CONJUNCIN
1) Enunciado compuesto. 2) Conecta 2 proposiciones o enunciados simples. 3) Equivale al sentido expresado con la letra y del lenguaje natural. 4) Posibilidades lingsticas: Pedro habla Y Eduardo duerme Pedro habla, PERO Eduardo duerme Pedro habla AUNQUE Eduardo duerme Pedro habla, SIN EMBARGO, Eduardo duerme Pedro habla, Eduardo duerme Otros: adems, que, , , mientras que, mas, e, ni ni, etc. 5) Formalizacin: y 6) Simbolizacin: p q

31

DISYUNCIN INCLUSIVA
1) Enunciado compuesto. 2) Conecta 2 proposiciones o enunciados simples. 3) Equivale al sentido expresado con la letra O del lenguaje natural. 4) Posibilidades lingsticas: Pedro habla O Juan duerme Pedro habla, A MENOS QUE Juan duerma Otros: u, a no ser que, salvo que, excepto que. 5) Formalizacin: o . 6) Simbolizacin: p q

32

DISYUNCIN EXCLUSIVA
1) Enunciado compuesto. 2) Conecta 2 proposiciones o enunciados simples. 3) Equivale al sentido expresado con la letra O O del lenguaje natural. 4) Posibilidades lingsticas: O Pedro habla O Juan duerme Ya sea Pedro habla, ya sea Juan duerme. Otros: Bien bien. 5) Formalizacin: O o . 6) Simbolizacin: p q

33

CONDICIONAL
1) Enunciado compuesto. 2) Conecta 2 proposiciones o enunciados simples. 3) Equivale al sentido expresado con la letra SI, ENTONCES del lenguaje natural. 4) Posibilidades lingsticas: SI Pedro habla, (ENTONCES) Quine duerme CUANDO Pedro habla, Juan duerme Que Pedro hable ES SUFICIENTE PARA que Juan duerma SIEMPRE QUE Pedro habla, Juan duerme Juan duerme, SI Pedro habla Juan duerme EN CASO DE QUE Pedro hable 5) Formalizacin: Si , entonces . 6) Simbolizacin: p q

34

NECESARIO / SUFICIENTE Compara 2 universidades: U1: Es suficiente sacar un 10 para tener Matrcula U2: Es necesario sacar un 10 para tener Matrcula Si sueles sacar 10 y te interesa tener Matrculas, A QU UNIVERSIDAD ES MS FCIL MATRICULARSE? La U1! SI sacas un 10, tienes Matrcula. En la U2 sacar 9 no implica tener Matrcula.

En la U2 ocurre que SI NO sacas 10, NO tienes Matrcula. Por tanto, SI tienes Matrcula, es que tienes un 10.
35

Por tanto, si nos encontramos: es suficiente para

es necesario para

36

 Caso peculiar (i): SLO SI 1. Me mareo si voy en coche 2. Me mareo slo si voy en coche

dicen lo mismo 1 y 2?
Me mareo si voy en bus la oracin 3 contradice a 1, a 2, a ambas, a ninguna?
Contradice a 2, pero no a 1. 1 y 3 son compatibles (o consistentes): las dos pueden ser verdaderas a la vez. Pero 2 y 3 son incompatibles (o contradictorias): las dos no pueden ser verdaderas a la vez.

37

Caso peculiar (i): SLO SI 1. Me mareo si voy en coche 2. Me mareo slo si voy en coche dicen lo mismo 1 y 2?

1 y 2 no dicen lo mismo: En 1, que vaya en coche es condicin suficiente para que me maree (pero puedo marearme por ms razones) p= me mareo q= voy en coche (1) = (q p) En 2, que vaya en coche es condicin necesaria para que me maree (si no voy en coche no me mareo) me mareo p voy en coche = q (2) = (p q)

38

BICONDICIONAL
1) Enunciado compuesto. 2) Conecta 2 proposiciones o enunciados simples. 3) Equivale al sentido expresado con la letra SI Y SLO SI del lenguaje natural. 4) Posibilidades lingsticas: Pedro habla SI Y SLO SI Luis duerme Pedro habla CUANDO Y SLO CUANDO Luis duerme Que Pedro hable EQUIVALE A que Luis duerma Que Pedro hable ES NECESARIO Y SUFICIENTE PARA que Luis duerma Pedro habla, EN EL CASO, Y SLO EN EL CASO, DE QUE Luis duerma 5) Formalizacin: , s y slo s, . 6) Simbolizacin: p q 39

EQUIVALENCIAS
Formalizaciones equivalentes: 1. Ir al cine o al teatro
pq

2. Ir al cine a menos que vaya al teatro

Hemos visto que estas dos expresiones se formalizan igual

40

1. Ir al cine a menos que vaya al teatro 2. Si no voy al teatro, voy al cine

q

Pero cabe pensar que 2 viene a decir lo mismo que 3

41

1. Ir al cine a menos que vaya al teatro

p q

2. Si no voy al cine, voy al teatro

Y tambin puede parecernos que 2 viene a decir lo mismo que 4

42

1. Ir al cine o al teatro
pq

2. Ir al cine a menos que vaya al teatro

3. Si no voy al teatro, voy al cine 4. Si no voy al cine, voy al teatro

p q

Veremos que en el fondo todas son lgicamente equivalentes

43

Otras expresiones: NI NI es lo mismo que NO Y NO Ni tomo leche ni tomo harina p = tomar leche q = tomar harina p q
No tomo leche y harina La idea es que no los tomo conjuntamente (p q)

OJO! p q NO EQUIVALE a (p q)

44

Una condicin necesaria para que la humanidad sea libre es que los seres humanos no estn ligados a una esencia. Si Dios cre a los humanos, entonces estamos ligados a una esencia. Claramente, los humanos somos libres. Por tanto, Dios no cre a los humanos.

p = humanos son libres r = D crea humanos

(p q) (r q) p r

q = humanos ligados a esencia

45

No hay vida en Marte a menos que haya oxgeno all, y no hay oxgeno all a menos que haya all alguna planta, y no hay plantas all a menos que haya agua. Por tanto, si hay vida en Marte, all hay agua.

p = hay vida en Marte q = hay O2 en Marte s = hay agua en Marte

r = hay plantas en Marte

(q p) (r q) (s r) (p s)
(p q) (q r) ( r s) (p s) (p q) (q r) (r s) (p s)
46