Lgica

I.E. Artemio del Solar Icochea

INTRODUCCIN
En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa, que cada conclusin que obtenemos se deduce de algo. Este algo o punto de partida se llamapremisa. Por ejemplo si exponemos un trozo de hielo al calor, se concluye que el hielo se derrite, o cuando un campesino ve una densa nube en el cielo, deduce que va a llover, o tambin de "todos los mamferos son vertebrados" se puede concluir en "algunos mamferos son vertebrados". Este proceso de pasar de un conjunto de premisas a la conclusin se llama inferencia o deduccin.

Cuando la conclusin se deduce correctamente del conjunto de premisas se dice que la inferencia es vlida, en caso contrario la inferencia no es vlida. Sabemos que la conclusin se deriva correctamente de sus premisas porque hay un conjunto de leyes lgicas que garantizan dicha correccin. Justamente la lgica estudia el modo de usar estas leyes, con las cuales podemos sabersi una inferencia es vlida o no. De ah que, la lgica es una ciencia que estudia los mtodos y las leyes que determinan la validez de la inferencia. As como existe una teora para realizar clculos con nmeros (la aritmtica) o con objetos ms complejos como diferencial e integral, tambin existen reglas precisas para manejar proposiciones. Esto ltimo corresponde al estudio de la lgica proposicional .

LGICA
Es la ciencia que estudia el razonamiento inductivo y deductivo. El razonamiento inductivo es aquel que permite llegar a conclusiones generales a partir de observaciones particulares, por el contrario, el razonamiento deductivo nos permite llegar a conclusiones particulares a partir de observaciones generales.

Aprendizaje Esperado
Determinan el valor de verdad de cuadros y esquemas de organizacin de relaciones lgicas . Diferencia un enunciado y una proposicin. Traduce el lenguaje comn- proposicional al lenguaje simblico y viceversa, al solucionar las situaciones planteadas.  Jerarquiza proposiciones, utilizando el conector adecuado .  Determina el valor de verdad de las proposiciones compuestas a travs de tablas de verdad.   

TEMA N 01: NOCIONES PREVIAS: ENUNCIADO Y PROPOSICIN

1 Enunciado: Es toda frase u oracin que informa, expresa o dictamina alguna idea a travs de afirmaciones o negaciones, preguntas, expresiones de emocin o de saludo, rd enes,deseos, dudas, creencias, mitos,leyendas, metforas o refranes, hechos de literatura o personajes ficticios, hechos discutibles: la moral, valores, la belleza. Ejemplo 1. Son enunciados: l Qu hora es? l Arriba Per! l Me pica la mano, voy a recibir dinero. l Al caballo regalado no se le mira el diente. l Hoy es martes 13, es un mal da. l Susy Daz es una mujer honrada.

(Interrogativas) (admiracin) (creencia) (refrn) (supersticin) (valores)

Prof.: Noem M. Berrocal Prez

Lgica

I.E. Artemio del Solar Icochea

ENUNCIADO ABIERTO (llamada tambin Funcin Proposicional) Son aquellas oraciones que : contienen variables sin especificar un valor determinado; no tienen la propiedad de verdadero o falso. Ejemplos 2: x < 9 (variable x) x + 2 < 10 a+b=1 a 2 + b2 = c2 l es un escritor peruano. (Variable: l) NOTA: Un enunciado abierto puede ser una proposicin si a sus variables se le asigna un valor . x + 2 < 10; x=3 (proposicin) l es un escritor peruano; l= Cesar vallejo (proposicin) 2 Proposicin (Enunciado cerrado): Es un enunciado o afirmacin al que se le puede asignar el valor de verdad verdadero o el valor de verdad falso, pero no ambos. Como: frmulas cientficas ya demostradas, las leyes o hiptesis cientficas aceptadas, enunciados cerrados o definidos oraciones: informativas, descriptivas , explicativas(causa-efecto). Ejemplo 3: Las siguientes afirmaciones son proposiciones: j Omate es nombre de una ciudad andina. j Horacio Zeballos Gamez naci en Carmas j 1+1=3 (expresin aritmtica) j El cuadrado de todo nmero par tambin es par. j X2 - y2 = (x+y)(x-y) (frmula matemtica) j Si hay lluvia entonces saldr el sol. (explicativa) j Ollanta Humala gan las elecciones 2011 entonces es nuestro presidentepara el periodo 2011-2016. En matemticas, algunas proposiciones reciben nombres especiales: Postulados: son aquellas proposiciones que se dan como ciertas desde un principio: "Por dos puntos distintos pasa siempre una recta y slo una". Teoremas: llamamos en cambio, a aquellas proposiciones cuya certeza es demostrada por un razonamiento, conforme a las leyes de la lgica.

Notacin:Para denotar o representar las proposiciones se usan minsculas: p, q, r, s, ...y se les llama variables proposicionales. p: El aula A1-204 est en el 2do piso q: El aula A1-204 es iluminada r: El 5 es un entero par s: La Tierra es el nico planeta con vida en el universo t: El aula A1-204 no est iluminada u: Un decenio tiene 10 aos

letras

CLASES DE PROPOSICIONES: a. Proposiciones Simples.- Tambin denominadas atmicas o primitivas. Son aquellas proposiciones que no se pueden dividir en proposiciones ms sencillas . Ejemplo 4: p: 17 es un nmero impar. q: El Sol no es una estrella. r: La maca es una planta oriunda del Per. s: La suma de dos nmeros pares es otro nmero impar. (V) (F) (V) (F)

b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplos 5: p: Estadio q: Apruebo el semestre Si estudio entonces apruebo el semestre

Prof.: Noem M. Berrocal Prez

L i

I.E.
r r g g s q q r r s r s d s g s s q r s ys

Icoch

  

F b c p r b c s b c rr d L s c r sd s br s v so v rs r s Si el mirc les pr imo me s co la loter a entonces te regalare un auto. J CICI S ARA C ASE N 01

3.

Completa lo que se te indica:

   

Prof

oe

Berroca Pre

2.

Colocar una A a cada proposicin atmica y una a cada proposicin molecular. Despus de cada proposicin molecular subraya el trmino de enlace utilizado en aquella proposicin. a. Las bacterias en el agua se destruyen hirviendo el agua o se destruyen por clorizacion. b. Este libro tiene ms pginas que el otro. c. Si la sentencia es contra el defendido entonces el apelara el caso. d. El reconoci la obra como la de un poeta ingls del siglo diecinueve. e. La guerra no puede explicarse totalmente por una causa. f. Si dos o ms elementos se unen qumicamente para formar una nueva sustancia, entonces el producto se denomina un compuesto. g. Las proposiciones moleculares contienen trminos de enlace. h. Este problema no es correcto. i. Rosa es menor de edad y su hermano es mayor de edad. j. La atemtica no es una ciencia.

gf

1.

En las siguientes oraciones escribe en cada parntesis cuales son: proposiciones ( ) no proposiciones (N ) o enunciado abierto (EA). a. La semana tiene 7 dias b. Santa es un pueblo maravilloso! c. El verano es una estacin fr a, lluviosa y duradera. d. AlberthEinstenfue el creador de la teor a de la relatividad. e. Creer en esucristo nos hace salvos. f. El amor es el valor mas sublime que existe. g. Batman es un personaje mitolgico. h. El d a de maana es s bado. i. Existe vida en arte. j. a+b+c = b+a+c; para todo x : a,b R k. Quisiera que me regalen un libro l. La suma de dos nmeros impares es un nmero par m. Seoras y seores! En el escenario, el ftbol femenino n. Existe vida en el planeta ercurio o. Un cubo tiene seis caras. p. El planeta Venus, el lucero del amanecer. q. 17 es divisible por 3 r. El Papa u an Pablo II visit el Per en 1985. s. (x + y)(x 2 xy + y2)=(x 3+y3)

` U EI THI G D IPS 85 2 &$' " % '$ & !  & &"! ) 010

s s s r s d s g s

s: :

 e

d c i

XW V Y GPG R Q PE E IF GH G G G EH GF E B 5 5C B 8 75 6B A @ 98 75 65 43 ) % &!#$" & & %$ #" ! ( &$' " % '$ & ! %$ & &"! & %$ #" !  ! % &!#$" & & %$ #" !  ba a i r h q r p p r i

Lgica

I.E. Artemio del Solar Icochea

TEMA N 02: CONECTIVOS LGICOS Y TABLAS DE VERDAD

CONECTIVOS LOGICOS:Son trminos que sirven para enlazar proposiciones simples, estos son: la conjuncin, disyunciones, la negacin el condicional, bicondicional. Conectivo Lgico Conjuncin Disyuncin inclusiva Disyuncin excluyente Negacin Condicional Smbolo Lectura y .. No Si, , entonces, Si solo Ejemplo Leidy baila y canta Juan estudia ingeniera Patricia estudia medicina Fabin vive en Neiva .. Bogot 5 no es un nmero par Si trabajo entonces estudiar Si dos ngulos son congruentes si y solo si tienen la misma medida.

__

p
m

Bicondicional

Prof.: Noem M. Berrocal Prez

L i
PROPOSICIONES Y VALOR DE VERDAD

I.E.

P V F

p V V F

q V F V F 22

21

Las ta as de verdad sonrepresentaciones grficas, en forma de arreglos, que sirven para analizar los posibles valores de verdad que puede tener una proposicin simple o compuesta. En general para n proposiciones, se pueden presentar 2nposibilidades. 23

TABLA DE VERDAD PARA LAS PROPOSICIONES COMPUESTAS A cada una de estas operaciones lgicas le corresponde una tabla de verdad. 1. Conjuncin. Dos proposiciones simples p y q relacionadas por el conectivo lgico y conforman la proposicin compuesta llamada conjuncin, la cual se simboliza as: p q. NOTA: Tambin equivalen al conectivo conjuncin las palabras pero, sin embargo, aunque, adems, no obstante, etc p q pq V V V V F F F V F F F F Ejemp o 6: La proposicin compuesta: 5 es un nmero impar y es un entero positivo Esta formada por: p: 5 es un nmero impar q: entero positivo : Conjuncin

Para determinar la tabla de verdad, para la conjuncin. Analizaremos la siguiente proposicin. p: 8 es un nmero par (v) q: 5 es un nmero primo (v) q: verdadero p

p: 8 no es un nmero par (f) q: 5 es un nmero primo (v) p

q: falso

p: 8 es un nmero par (v) q: 5 no es un nmero primo (f) p q: falso

y y

Prof

oe

Berroca Pre

xw vut s

o del Solar Icochea

p V V V V F F

q V V F F V V F F

r V F V F V F V F

F F

L i

I.E. Artemio del Solar Icochea

p: 8 no es un nmero par (f) q: 5 no es un nmero primo (f) p q: falso 2. Disyuncin. Dos proposiciones simples p y q relacionadas por el conectivo lgico O conforman la proposicin compuesta llamada disyuncin, la cual se simboliza as: p q. Ejemp o 7: Simboliza y desarrolla de acuerdo a la tabla de valores: artha viajar a Brasil o Bolivia.

p V V F F

q V F V F

pq V V V F

3. Negacin. Dada una proposicin simple p, esta puede ser negada y convertirse en otra proposicin llamada negacin de p, la cual se simboliza as: b p se lee: no p p bp o tambin: no es cierto que p V F F V Ejemp o 8: Simboliza y desarrolla de acuerdo a la tabla de valores: No es cierto que lima es la capital de per. USO INADECUADO DE LA DOBLE NEGACION Es frecuente en la vida diaria utilizar la negacin dos o mas veces, hecho que genera, en algunos casos confusiones. En efecto, se presentan ambigedades, cuando se pronuncian frases como estas: y Nunca digas un nunca y Yo no miento nunca y No estoy dentro As por ejemplo, en la frase yo no miento nunca, se est utilizando dos veces la negacin: cuando se dice no y cuando se dice un nunca. En matemticas, cuando se usa dos veces la negacin, estas funcionan como los signos negativos, es decir, se eliminan mutuamente. En la frase no es cierto que no fui al cine , lo que est diciendo es que si fui al cine. Cabe advertir, que se debe tener mucho cuidado cuando se utilizan expresiones como doble negacin. Ejemp o 9: Negar las siguientes proposiciones. 1. Diana es modista 2. 12 es un nmero par 3. estas dos rectas son paralelas 4. todos los hombres son mortales 5. algunos deportistas son ciclistas 6. ningn loro vive en el polo norte 4. Condiciona o Imp icativa. Dos proposiciones simples p y q relacionadas por el conectivo lgico entonces conforman la proposicin compuesta llamada condicional o implicativa, la cual se simboliza as: p q: Ejemp o 10: Simboliza y desarrolla de acuerdo a la tabla de valores:

Si estudias dars un buen examen. 5. Bicondiciona . Dos proposiciones simples p y q relacionadas por el conectivo lgico si y slo si conforman la proposicin compuesta llamada conjuncin, la cual se simboliza as: p m q. Ejemp o 11: Simboliza y desarrolla de acuerdo a la tabla de valores:

Ir al cine si y solo si me dan permiso mis padres.

RMULA LGICA: Una frmula lgica es la representacin simblica de una proposicin compuesta, las cuales estn conformadas por proposiciones simples, conectivos lgicos y signos de agrupacin. Al evaluar una frmula se confecciona su tabla de verdad. Ejemplo: Se tiene las siguientes proposiciones: p: Abigail Alcalde Flores gana la partida de damas. q: Abigail Alcalde Flores recibe el premio. Una proposicin compuesta empleando p y q ser:

d e

p V V F F

q V F V F

pq V F V V

p V V F F

q V F V F

pq V F F V

Prof

oe

Berroca Pre

Lgica

I.E. Artemio del Solar Icochea

Si Abigail Alcalde Flores gana la partida entonces recibe el premio , la cual se representa simblicamente as: p q. Expresiones como: b p b q (p q) bq b (p q) (bp q) reciben el nombre de frmulas lgicas. Al evaluar una Frmula se confecciona su Tabla de Verdad.  Si en esta tabla todos los valores de verdad son V, tal frmula es unaTAUTOLOGA.  Si en esta tabla todos los valores de verdad son F, tal frmula es unaCONTRADICCIN.  Si en esta tabla, algunos de los valores de verdad son V y otros son , tal frmula es una F CONTINGENCIA. Al evaluar una frmula debemos tener en cuenta un orden en las operaciones lgicas a realizarse. Empezamos con las operaciones encerradas por los parntesis interiores, siguen todas las negaciones y luego se avanza de izquierda a derecha. Es recomendable identificar el conectivo principal de la frmula que representa la operacin final a realizarse. Si en el interior de un parntesis alguna proposicin simpleest precedida por una negacin, primero se opera sta.

k
7

erarqua de los conectivos lgicos:

bicondicional

condicional

Ejemplos 12: 1. Construir la tabla de verdad para: p p q  q p p

p V V F F

q V F V F

p
F F V V

q
F V F V

ppq
V F V V

ppq
V F V V

p p q  p p q
V V V V

Prof.: Noem M. Berrocal Prez

L i
2. Construir la tabla de verdad

I.E. Artemio del Solar Icochea

?r
q V V V V F F F F

sA

? s

r V V F F V V F F

s V F V F V F V F

q
F F F F V V V V

r
F F V V F F V V

sq sq p r r s r s p q
V F F F V F F F V V V V F V V V F F F F V F V F V V V V F V V V

ACTIVIDADES PARA CLASE N 0 3 1. Sean p, q y r las proposiciones siguientes: p: est lloviendo q: el sol esta brillando r: hay nubes en el cielo Traduciremos las siguientes oraciones a notacin simblica utilizando las letras asignadas y los conectivos lgicos: 1 Est lloviendo y el Sol brillando 2 Si est lloviendo, entonces hay nubes en el cielo 3 Si no est lloviendo, entonces el Sol no est brillando y hay nubes en el cielo 4 El Sol est brillando si, y slo si, no est lloviendo 5 Si no hay nubes en el cielo, entonces el Sol est brillando 6 Est lloviendo o el sol est brillando 2. Sean p, q y r del ejercicio 1,traducir las siguientes proposiciones simblicas a oraciones en espaol:

lq po n ml

Prof

u v t u

oe

t v

rA

V V V V V V V V

Berroca Pre

L i

I.E. Artemio del Solar Icochea

3. Selecciona un artculo de peridico o de una revista: identifica, proposiciones simples, conjunciones, disyunciones e implicaciones. 4. Sean p, q y r proposiciones tales que p es verdadera (v), q es falsa (F) y r es falsa (F). Indique el valor de verdad de la proposicin: ? ( b p b q ) ( b r q ) A ( p b r ) 5. De las siguientes proposiciones Cules son tautologas a. ( p q ) ? ( b p ) q A b. ?b ( p q ) ( b q q ) A p c. ? ( p q ) ( b q ) Ab p 6. Sabiendo que las proposiciones p y r son proposiciones verdaderas y las proposiciones q y s son proposiciones falsas; indicar cuantas de las siguientes proposiciones son falsas: ii. ( p q ) (r s ) ii. ( p q ) ( r s ) iii. b p (rq) iv. b q ( p s ) v. b s ( p q ) 7. Si se sabe que la proposicin p q es verdadera, entonces cuantas de las proposiciones dadas son falsas: a. b. c. d. e. 8. (p q) (pq)q ? ( p q ) ( p q ) A ( p b q ) (bp)(pq) ( b q ) ( p b p )

Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradiccin, una tautologa o contingencia: 1. p q 2. (p q) r 3. (p q) (p q) 4. [ (p q) v (p q)] [ (p q) v p ] 5. (p q) (p q 6. (p q p v r) (q v r) r

w| {z y xw

Prof

oe

Berroca Pre