Está en la página 1de 34

1.

5 Los trminos de enlace y sus smbolos


La unin de dos proposiciones con la palabra y, se denomina conjuncin de las dos proposiciones. Sus ojos son azules y los ojos de su hermano tambin son azules

P = Sus ojos son azules; Q= Los ojos de su hermano tambin son azules
PyQ

El trmino de enlace y se puede sustituir con el smbolo &


Utilizando este smbolo, se puede escribir la proposicin P&Q Ejercicio 4

1.5 Los trminos de enlace y sus smbolos


La unin de dos proposiciones con la palabra o, se denomina disjuncin de las dos proposiciones. sta es el aula cuatro o es una aula de Fsica

La proposicin anterior puede parecer rara. Se puede escribir como


O sta es el aula cuatro o es una aula de Fsica En ambos casos las proposiciones atmicas son las mismas El trmino de enlace o se puede sustituir con el smbolo V Utilizando este smbolo, se puede escribir la proposicin PVQ Ejercicio 5

1.5 Los trminos de enlace y sus smbolos


Cuando a una proposicin se le aade el trmino de enlace no el resultado es la negacin de la proposicin. Las elecciones presidenciales no siempre terminan con armona

La proposicin atmica es Las elecciones presidenciales siempre terminan con armona


Si P=Las elecciones presidenciales siempre terminan con armona

No P
Utilizando este smbolo, se puede escribir la proposicin P A veces es ms fcil utilizar No ocurre que en lugar del no, por lo que se puede considerar a este smbolo como su equivalente.

1.5 Los trminos de enlace y sus smbolos


Los trminos de enlace se pueden utilizar con una o ms proposiciones moleculares. Si ( ) entonces ( ),

se pueden llenar los espacios vacos con proposiciones atmicas o con proposiciones moleculares
Las negaciones se combinan a veces con otras proposiciones para formar una proposicin molecular ms larga Si un nmero es mayor que 0, entonces no es un nmero negativo El trmino de enlace une una proposicin atmica y una negacin

1.5 Los trminos de enlace y sus smbolos


O( )o( ), puede incluir negaciones como: O el juego no ha empezado o el pblico no es numeroso Poniendo parntesis (O el juego no ha empezado) o (el pblico no es numeroso) La proposicin simbolizada sera: (A) (C) EJERCICIO 6

1.5 Los trminos de enlace y sus smbolos


Si, entonces Cuando se unen proposiciones con esta palabra, la proposicin molecular resultante es una proposicin molecular condicional. Si llueve hoy, entonces se suspende el picnic El smbolo que utilizaremos para este trmino de enlace es

La proposicin completa simbolizada sera:


(A) (C) Antecedente: Proposicin colocada entre si y entonces Consecuente: Colocada despus de entonces EJERCICIO 7

1.6 Agrupamiento y parntesis


Los trminos de enlace pueden unir o pueden ser usados con proposiciones moleculares Habr un trmino de enlace dominante porque es el que acta sobre toda la proposicin ( )&( )

1.6 Agrupamiento y parntesis


La negacin de una proposicin molecular Ejercicio 11

1.7 Eliminacin de algunos parntesis


Los trminos de enlace pueden unir o pueden ser usados con proposiciones moleculares Habr un trmino de enlace dominante porque es el que acta sobre toda la proposicin ( )&( )

Unidad 2 Inferencia Lgica


Los trminos de enlace pueden unir o pueden ser usados con proposiciones moleculares Habr un trmino de enlace dominante porque es el que acta sobre toda la proposicin ( )&( )

Unidad 2
Inferencia Lgica (deduccin): Partimos de premisas Llegamos a conclusiones El paso lgico de las premisas a la conclusin es una deduccin La conclusin que se obtiene es una consecuencia lgica

De premisas verdaderas se obtienen conclusiones verdaderas Ejemplo : Si P entonces Q, y P (P Q y Q) Primera premisa


Si llueve, entonces el cielo ha de estar cubierto

Segunda premisa
Llueve

Conclusin el cielo ha de estar cubierto

Reglas de inferencia y demostracin


Modus ponendo ponens (ejercicio 1)
Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio. Premisa 2: l est en el partido de ftbol Conclusin: l est en el estadio Premisa 1: Si no hace fro, entonces el lago no se helar Premisa 2: No hace fro Conclusin: el lago no se helar

Reglas de inferencia y demostracin


Demostracin (infiere, implica, deduce) Ejemplo
1. R S 2. R 3. S P (premisa 1) P (premisa 2) PP (ponendo ponens)

(Ejercicio 2)

Demostraciones en dos pasos Ejemplo:


1. 2. 3. 4. 5. A B B C A B C P P P PP 1, 3 PP 2, 4

Ejercicio 3.

Doble negacin: Permite pasar de la premisa a la conclusin Premisa: No ocurre que Ana no es un estudiante Conclusin: Ana es un estudiante Premisa: Juan toma el autobs para ir a la escuela Conclusin: No ocurre que Juan no toma el autobs para ir a la escuela P P y P P

Ejemplo 1. R 2. R

P DN 1 P DN 1 P DN 1

1. A 2. A 1. (P&Q) 2. P&Q

Modus ponendo ponens (PP) y la doble negacin (DN) Ejemplo:


1. 2. 3. 4. P Q P Q Q P P PP 1, 2 DN 3 Ejercicio 4

Modus tollendo tollens (TT) Negando (tollendo) el consecuente se puede negar (tollens) el antecedente Ejemplo Premisa 1. Si tiene luz propia, entonces el astro es una estrella Premisa 2. El astro no es una estrella Conclusin. Por tanto no tiene luz propia

Simblicamente P = Tiene luz propia Q = El astro es una estrella 1. P Q P 2. Q P 3. P TT 1,2

Ejemplo que muestra las tres reglas (PP, DN y TT). Se trata de demostrar R 1. P Q P 2. Q P 3. PR P 4. P TT 1,2 5. R PP 3,4 6. R DN 5

Ejemplo con dos premisas 1. A B P 2. B P 3. B DN 2 4. A TT 1,2 5. A DN Ejercicio 5

Mas sobre la negacin 1. A B P 2. B P 3. A TT 1, 2 Extensin del TT P Q Q (Q=Q) P P Q Q P (P=P) Ejercicio 6

Adjuncin y simplificacin: Si dos proposiciones son verdaderas se pueden unir utilizando el trmino de enlace ;;y:: Ejemplo: Proposicin 1: Jorge es adulto Proposicin 2: Mara es adolescente Jorge es adulto y Mara es adolescente

De manera simblica P Q P&Q o Con parntesis (P) (Q) (P)&(Q) o

Q&P

(Q)&(P)

Ejemplo de adjuncin 1. P P 2. R P 3. P& R A 1,2

Ejemplo de simplificacin (S) donde se puede concluir P o Q P&Q P o Q Con parntesis (P)&(Q) (P) o (Q)

La regla de (S) no se puede aplicar a P&QR cuyo significado es: (P&Q)R; pero se puede aplicar a P&(QR) obteniendo P o QR Ejemplo 1. (PVQ)&R P 2. R S1

Disjunciones como premisas En lgica la disjuncin (;;o:: V) tiene un sentido incluyente, se supone que por lo menos uno de los miembros se presenta y quiz ambos Modus tollendo ponens (TP) Negando (tollendo) se afirma (ponens) Ejemplo

PVQ P Q 1. PVQ 2. P 3. Q

Ejemplo PVQ (P) V (Q) Q (P) P (Q) P P TP 1, 2 Ejercicio 8

(P) V (Q) (Q) (P)

Deduccin proporcional

Ms sobre parntesis

Otras reglas de inferencia

Proposiciones bicondicionales