LOGICA

Proposicin
Expresin de la que tiene sentido decir si es verdadera

o falsa Una proposicin es una sentencia (oracin) correctamente formada que puede ser verdadera o falsa Es una sentencia declarativa. Representa un hecho de la realidad. Es una oracin del lenguaje que consta de un sujeto y un predicado, tiene un valor afirmativo. Las oraciones interrogativas, exclamativas, imperativas, no afirman nada y no pueden ser considerados enunciados.
2

 Ejemplos

1 + 4 = 5 (Verdad)

La Pampa es una nacin. (Falso) 8 + 23 (no es proposicin) Mara (dem anterior) Analiza si son o no proposiciones Lus y Marta van de pesca. Luis llam a Marta para salir. El autobs pasa a las seis Maana llover. sintate! cundo sale el autobs? fueron a pescar Luis y Marta finalmente?

Proposicin Atmica
Una proposicin es simple o atmica si no

puede ser descompuesta en proposiciones ms simples. Las proposiciones simples o atmicas son indicadas de manera afirmativa. Ejemplos:
La casa es grande. (es atmica) La casa no es grande. ( no es atmica) Hoy es viernes y tenemos clase. (no es atmica)4

Proposicin Molecular
Una proposicin es compuesta o molecular

si no es atmica, es decir, si puede ser descompuesta en proposiciones ms simples. Una proposicin compuesta o molecular se forma al unir proposiciones atmicas utilizando conectivos lgicos o trminos de enlace.
5

Proposiciones Moleculares
Ejemplos Vamos en bicicleta o vamos a pie. No es cierto que Juan lleg temprano Juan no lleg temprano Luis es arquitecto y Martn es mdico. La medalla no es de plata y el diploma parece falso. Matas aprob pero Lucas no.
6

Simbolizacin
Se utilizarn letras minsculas para

simbolizar las proposiciones atmicas. Ejemplo:

El Sr.Domnguez es el gerente. Si se considera p = El Sr.Domnguez es el gerente esta proposicin puede ser simbolizada como p.
7

Simbolizacin
Para simbolizar un proposicin Identificar las proposiciones simples o atmicas Simbolizar las proposiciones simples o atmicas encontradas. Utilizar los conectivos lgicos para relacionarlas.

Simbolizacin
Ejemplos Vamos en bicicleta o vamos a pie. p : Vamos en bicicleta. q : Vamos a pie Simbolizacin: p v q No es cierto que Juan lleg temprano
p = Juan lleg temprano. Simbolizacin : p
9

Simbolizacin
Ejemplo La medalla no es de plata y el diploma parece falso. p : La medalla es de plata. q : El diploma parece falso
Simbolizacin: p ^ q

10

Simbolizacin
Ejemplo Matas aprob el examen pero Lucas no.
r = Matas aprob el examen. s = Lucas aprob el examen Simbolizacin : r ^ s

11

 La formalizacin es el proceso en el que se traducen

proposiciones del lenguaje cotidiano al lenguaje formal o simblico.

Expresa las siguientes proposiciones usando p, q y los conectivos. Sean p: La temperatura est sobre los 17C q: Llueve

La temperatura est sobre los 17C pero llueve. Ni la temperatura supera los 17C ni llueve. No es cierto que llueva con la temperatura superior a los 17C. Llueve cuando la temperatura est sobre los 17C. Que la temperatura est sobre los 17C es suficiente para que no llueva. O bien llueve o bien la temperatura es superior a 17C.
12

Tabla de Verdad
La tabla de verdad de una proposicin

molecular muestra todas las posibles combinaciones de valores de verdad de las proposiciones atmicas que la componen.

13

14

Negacin
p V F

p
F V p

Indique el valor de verdad de: El nmero 9 no es divisible por 3. No es cierto que los perros vuelan.
15

Conjuncin
p V V F F q V F V F p^q V F F F

Indique el valor de verdad de : 6 es un nmero par y divisible por 3. (2+5=7) y(2*3=9)

16

Disyuncin
p V V F F q V F V F pvq V V V F

Indique el valor de verdad de : 2 es primo o es impar. (2 + 3 = 4 ) o (2 * 2 = 5)

17

Construccin de tablas de verdad

Cuntas filas tiene la tabla? 1 proposicin 2 valores (V o F) 2 proposiciones 4 valores de verdad 3 proposiciones 8 valores de verdad ......... n proposiciones 2n valores de verdad.

18

Ejemplos
Construir las tablas de verdad de las

siguientes proposiciones p^ q (pvq)^ p (p ^ r ) v ( p ^ q)

19

Ejercicio
Sabiendo que p y q son proposiciones

verdaderas y que r y s son proposiciones falsas, determinar el valor de verdad de las proposiciones moleculares siguientes: (p ^ q ) v (r ^ p ) v s
(q v p) ^ (r v s) v ( q ^ r )
20

Ejercicio
Sabiendo que

(p v q ) ^ ( p ^ s) es verdadera indicar, de ser posible, el valor de verdad de las proposiciones atmicas que la componen
21

Ejercicio
Sabiendo que

( p ^ q ) v ( p v q ) es falsa
indicar, de ser posible, el valor de verdad de las proposiciones atmicas que la componen

22

Proposiciones moleculares
Segn su valor de verdad pueden ser

Tautologa Contradiccin Contingencia

23

Tautologa
Una proposicin compuesta o molecular es

una tautologa si es cierta, cualesquiera sean los valores de verdad de las proposiciones atmicas que la componen.
Ejemplo: p v p

24

Contradiccin
Una proposicin compuesta o molecular es

una contradiccin si es falsa, cualesquiera sean los valores de verdad de las proposiciones atmicas que la componen.
Ejemplo: p ^ p

25

Contingencia
Se dice que una proposicin compuesta o

molecular es una contingencia si al construir la tabla de verdad el resultado final que se obtiene, es una combinacin valores de verdad verdaderos y falsos.
Ejemplo: p ^ q
26

Ejercicios
Formaliza las siguientes proposiciones: No es cierto que no me guste bailar Me gusta bailar y leer libros de ciencia-ficcin. Si los gatos de mi hermana no soltaran tanto pelo me gustara acariciarlos. Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energmeno. Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como una regadera y dejara que me internaran en un psiquitrico. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

Cules de estas proposiciones es

una tautologa? Puedes construir una contradiccin a partir de alguna de ellas? Cul?
27

Equivalencia Lgica
Se dice que dos formulas lgicas son

equivalentes si poseen los mismos valores de verdad (para los mismos valores de verdad de sus variables)
Ejemplo: (p q) p q

28

Ejemplo:
p
V V F

(p q) p q
q
V F V

pvq
V V V

(p q)
F F F

F
p q

V
p q

p
V V F F

q
V F V F

F F V V

F V F V

F F F V
29

Leyes de De Morgan
La negacin de una disyuncin es equivalente a la

conjuncin de las negaciones de las proposiciones involucradas. (p q) p q

La negacin de una conjuncin es equivalente a la

disyuncin de las negaciones de las proposiciones involucradas. (p q) p q

30

Proposicin condicional
Dadas dos proposiciones p y q, la

proposicin "si p entonces q" se llama proposicin condicional y se escribe p q donde p es llamada antecedente o hiptesis, y q consecuente o tesis.
31

Proposicin condicional
Ejemplo: Si resolvemos las guas de trabajos prcticos entonces aprenderemos matemtica
p = "resolvemos las guas de trabajos prcticos " q = "aprenderemos matemtica" Simbolizando: p q

32

Proposicin condicional
Ejemplo:

Si vamos a la fiesta entonces no nos acostaremos temprano

p = "vamos a la fiesta"
q = "nos acostaremos temprano"

Simbolizando: p q
33

Tabla de verdad del condicional

p
V F V F

q
V V F F

pq
V V F V

La implicacin de p a q es falsa nicamente en el caso de que el antecedente p sea verdadero y que el consecuente q sea falso

34

Proposicin Condicional
Existen distintas formas de leer un

condicional:
Si p entonces q. q es una condicin necesaria para p p es una condicin suficiente para q.

35

Distintas formas de indicar una proposicin condicional

Ejemplo: p : El entero x es mltiplo de 4 q : El entero x es par
Si el entero x es mltiplo de 4, entonces es par Que el entero x sea mltiplo de 4 es suficiente para que sea par

Que el entero x sea par es necesario para que sea mltiplo de 4.

36

Proposicin condicional
La contra positiva de la proposicin

condicional p q es la proposicin q p

Muestre la equivalencia lgica:

pq qp
37

Proposicin bicondicional
p V V F F q V F V F p q V F F V

Observando la tabla notamos que el bicondicional

distingue si ambas proposiciones tienen el mismo valor de verdad, o valores de verdad distintos.
38

p q (p q) ^ (q p)
p
V V F

q
V F V

p q
V F V

q p
V V F

(p q) ^ (q p)
V F F

39

1) Halla los valores de verdad de las proposiciones si sabes que p q es falsa. a) p q b) q p c) p p d) p q Piensa un rato y justifica tus respuestas

2) Halla los valores de verdad de p, q, r, s, t para que (pq)r (st) sea falsa

3) Construye una tabla de verdad para cada una de las proposiciones

a) ( p q ) q b) ( p q ) ( p q ) c) q ( p q)
40