ALGEBRA I UNIDAD I INTRODUCCION A LA LOGICA SIMBOLICA

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

INDICE: Prologo Introduccin Proposicin Valor de verdad de una proposicin Trminos de enlace o conectivos lgicos Clases de proposiciones Operaciones proposicionales Formulas proposicionales Formulas lgicamente equivalentes Propiedades de las operaciones proposicionales Aplicacin a la teora de circuitos elctricos Inferencia lgica Tablas de inferencia Mtodos para deducir la validez de razonamientos Esquemas proposicionales Cuantificadores Razonamiento deductivo con el uso de cuantificadores Bibliografa 2 4 4 5 6 6 7 13 13 14 16 18 19 21 25 26 30 32

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

UNIDAD N 1 INTRODUCCIN A LA LOGICA SIMBLICA PROLOGO.La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemtica, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En la matemtica para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones. En la computacin para elaborar y revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos. El orden en que se presenta el documento es el siguiente: Primeramente se establece la importancia de la lgica matemtica, despus definimos el concepto de proposicin. Se establece el significado y utilidad de conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y contingente, as mismo explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de tablas de verdad. Luego; abordamos los mtodos de demostracin: directo, indirecta, de la demostracin condicional y el abreviado, en donde incluye reglas de inferencia. En la ultima parte abordamos los
Autor: Elio Romero Cullar Pgina 3

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

esquemas proposicionales, en una y dos variables y los cuantificadores.

Consideramos que s el alumno aprende lgica matemtica no tendr problemas para aprender ciencias exacta y ser capaz de programar computadoras, ya que un programa de computadora no es otra cosa que una secuencia de pasos lgicos, que la persona establece para resolver un problema determinado. Es importante mencionar que en las demostraciones no hay un solo camino para llegar al resultado. El camino puede ser mas largo o ms corto dependiendo de las reglas de inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y frmulas. De tal manera que cuando llegue a poner en practica esto, el sea capaz de inventar su propia solucin, porque en la vida cada quien resuelve sus problemas aplicando las reglas de inferencia para relacionar los conocimientos y obtener el resultado

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

INTRODUCCION.Todo desarrollo matemtico exige razonar en forma vlida acerca de cosas trascendentes y particularmente abstractas. Hay que comenzar por eliminar, las ambigedades del lenguaje ordinario, introduciendo smbolos y conectivos cuyo uso adecuado descarte las contingencias, aporte claridad y economa de pensamiento. En esta unidad introducimos el concepto de proposicin, las operaciones proposicionales y sus propiedades, reglas de inferencia y la cuantificacin de esquemas proposicionales cuyo uso estar presente en todas las unidades posteriores. PROPOSICION.La proposicin es un elemento fundamental de la lgica matemtica. DEFINICIN.Una proposicin es una oracin declarativa de la cual podemos decir que es verdadera o falsa, pero no ambas a la vez. Tambin una proposicin es toda expresin verbal o escrita de la cual tenga sentido afirmar es verdadera o falsa. Una proposicin es una coleccin de palabra, nmeros o smbolos, de las cules tiene sentido afirmar si es verdadera o falsa. Las oraciones interrogativas e imperativas no son proposiciones. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Ejemplo.Indicar cules de las siguientes expresiones son proposiciones y luego explique el porque de su respuesta. 1.- La tierra es cuadrada
Autor: Elio Romero Cullar Pgina 5

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

2.- 17 + 4. log (10) = 21 3.- x > y - 9 4.- Oriente Petrolero es el campen del apertura 5.- Como estas? 6.- Llvame en coche por favor! 7.- Psame el marcador! Solucin.Las expresiones de los incisos 1.- y 2.- sabemos que pueden tomar un valor de verdad, falso o verdadero; por lo tanto son proposiciones. La expresin del inciso 3.- puede ser falsa o verdadera depende del valor asignado a las variables x y y en determinado momento, por ello esta clase de expresiones se denominan proposiciones abiertas. La expresin del inciso 4.tambin es una proposicin ya que puede ser falsa o verdadera. Sin embargo las expresiones 5.-, 6.- y 7.- no son proposiciones, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y los otros son ordenes. NOTACIN.Las proposiciones se denotan con letras minsculas, as como: p, q, r, s, t, ..etc Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha entre comillas, como se ilustra a continuacin: p: La tierra es cuadrada q: 17 + 4. log (10) = 21 s: Oriente Petrolero es el campen del campeonato apertura VALOR DE VERDAD DE UNA PROPOSICION.Toda proposicin al ser tal, trae asociado un valor de verdad. Una proposicin puede tener un valor de verdad verdadero o falso. El valor de verdad de una proposicin p se simboliza de la siguiente manera:

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

(p) = V, se lee valor de verdad de p verdadero, tambin se suele representar as: (p) = 1 (p) = F, se lee valor de verdad de p falso, tambin se suele representar as: (p) = . TERMINOS DE ENLACE O CONECTIVOS LOGICOS.- Los trminos de enlace o conectivos lgicos son: y, o, no, si .., entonces , .. si y solo si .. CLASES DE PROPOSICIONES.- Las proposiciones se clasifican en simples o atmicas y compuestas o moleculares. PROPOSICIONES SIMPLES O ATOMICAS.- Son proposiciones que no se pueden descomponer en otras ms sencillas. Son proposiciones completas sin trminos de enlace o conectivos lgicos. PROPOSICIONES COMPUESTAS O MOLECULARES.- Las combinaciones de las proposiciones simples mediante los trminos de enlace o conectivos lgicos, conforman las proposiciones compuestas Ejemplo.- Identificar cules de las siguientes proposiciones son simples y cules son compuestas. Justificar su respuesta. 1.- Juan es estudioso 2.- Todo alumno estudia 3.- Algunos nmeros son primos 4.- Hoy no es jueves 5.- 25 = 5 si y solo si 52 = 5 6.- La Luna es redonda y de queso 7.- Maana estudiamos o trabajamos Respuesta.La proposicin 1.- es una proposicin simple, pues no tiene trmino de enlace. La proposicin 2.- es una proposicin simple, pues tampoco tiene el trmino de enlace. (Es una proposicin universal) La proposicin 3.- es una proposicin simple ya que no tiene trmino de enlace. (Es una proposicin existencial). La proposicin 4.- es una proposicin compuesta, ya que tiene el conectivo no. La proposicin 5.- es una proposicin compuesta, pues tiene el termino de enlace si y solo si. La proposicin 6,- es una proposicin compuesta, ya que tiene el termino de enlace y.
Autor: Elio Romero Cullar Pgina 7

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

La proposicin 7.- es una proposicin compuesta, pues tiene el trmino de enlace o. OPERACIONES PROPOSICIONALES.LA NEGACION.- Se llama negacin de la proposicin p a la proposicin obtenida enunciando p a continuacin de la palabra no. Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica esta operacin se obtendr su complemento o negacin (falso). NOTACION.- La negacin de la proposicin p, se simboliza de la siguiente manera: p, y se lee no p VALOR DE VERDAD DE LA NEGACION.- Si el valor de verdad de p es verdadero, el valor de verdad de p es falso. Si el valor de verdad de p es falso, el valor de verdad de p es verdadero. O sea que simblicamente tenemos: (p) = V (p) = F si si (p) = F (p) = V

TABLA DE VERDAD.- La tabla de verdad de una proposicin compuesta nos presenta el valor de verdad de esta, considerando todas las combinaciones de valores de verdad de las proposiciones simples componentes. Si la proposicin compuesta esta formada por n proposiciones simples, el nmero de combinaciones de valores de verdad de las proposiciones simples componentes es 2n. (Esta expresin ser demostrada posteriormente en la unidad III). Para determinar cada una de las combinaciones de valor de verdad se puede seguir del siguiente modo. Supongamos que la proposicin compuesta esta integrada por tres proposiciones simples, entonces n=3 y el nmero de combinaciones de valores de verdad ser 23, es decir ocho.

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

Del nmero de combinaciones se asignan la mitad verdaderas y la otra mitad falsas en la primer columna, en la segunda columna de la mitad la mitad verdadero y la mitad falso y en la tercer columna la mitad de la mitad verdaderos y la mitad de la mitad falsos y as sucesivamente, siempre la ltima columna queda intercalando uno verdadero y otro falso. Esta es una forma prctica de obtener todas las combinaciones de los valores de verdad de las proposiciones simples que la componen. TABLA DE VERDAD DE LA NEGACION.- n=1. 2n= 21= 2 combinaciones de valores de verdad de las proposiciones componentes.

Autor: Elio Romero Cullar

Pgina

ALGEBRA I

La matemtica honra el espritu humano Leibnitz p V F p F V

UNIDAD N 1

Ejemplo.- Negar las proposiciones siguientes simblica y verbalmente y luego determinar su valor de verdad. t: Hoy hace fro u: La aceleracin de la gravedad es de 9.81 m/seg2 r: 15 no es multiplo de 2 Solucin.Para la proposicin t: t : Hoy no hace fro (t) = V Para la proposicin u: u : La aceleracin de la gravedad no es 9.81 m/seg 2 Para la proposicin r: r : no, 15 no es mltiplo de 2 (r) = F

(u) = F

Ejemplo.- Hacer la tabla de verdad de (p), es decir de la doble negacin. LA CONJUNCION O PRODUCTO LOGICO.La conjuncin de las proposiciones p, q es la proposicin obtenida enunciando q a continuacin de p, unidas ambas por la letra y. Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. NOTACION.- La conjuncin de la proposicin p, q; se simboliza de la siguiente manera: p q, y se lee p y q VALOR DE VERDAD DE LA CONJUNCION.- (p q) = V, cuando ambas proposiciones son verdaderas. (p q) = F, cuando al menos una de las proposiciones es falsa. TABLA DE VERDAD DE LA CONJUNCION.p
Autor: Elio Romero Cullar

p q
Pgina 10

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

V V F F

V F V F

V F F F

Ejemplo.Dada la proposicin Pedro es estudioso y Mara es no es casada, expresarla simblicamente. Solucin.p: Pedro es estudioso q: Mara es no es casada Expresin simblica: p (q) Ejemplo.Determine el valor de verdad de cada una de las siguientes proposiciones compuestas. a) log 100=2 y 102=100 b) -3-7=-10 y 3/2 es nmero irracional c) todo nmero divido por cero es cero y cinco es cuadrado perfecto LA DISYUNCION O SUMA LOGICA.Para la disyuncin se presentan dos clases: la inclusiva y la exclusiva LA DISYUNCION INCLUSIVA.La disyuncin inclusiva de las proposiciones p, q es la proposicin obtenida enunciando q a continuacin de p, unidas ambas por la letra o, en el sentido inclusivo (la una, la otra o ambas). Con esta operacin se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. NOTACION.- La disyuncin inclusiva de la proposicin p, q; se simboliza de la siguiente manera: p q, y se lee p o q, en el sentido inclusivo, es decir p o q o ambas. VALOR DE VERDAD DE LA DISYUNCION INCLUSIVA.(p q) = F , cuando ambas proposiciones son falsas. (p q) = V, cuando al menos una de ellas es verdadera. TABLA DE VERDAD DE LA DISYUNCION INCLUSIVA.p V V
Autor: Elio Romero Cullar

q V F

p q V V
Pgina 11

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

F F

V F

V F

DISYUNCION EXCLUSIVA.La disyuncin exclusiva de las proposiciones p, q es la proposicin obtenida enunciando q a continuacin de p, unidas ambas por la letra o, en el sentido exclusivo (la una, la otra pero no ambas). Con esta operacin se obtiene un resultado verdadero cuando ambas tienen valores de verdad diferentes. NOTACION.- La disyuncin exclusiva de la proposicin p, q; se simboliza de la siguiente manera: p q, y se lee p o q, en el sentido exclusivo, es decir p o q, pero no ambas VALOR DE VERDAD DE DISYUNCION EXCLUSIVA.(p q) = F, cuando ambas proposiciones simples son falsas. (pq) = V, cuando al menos una de ellas es verdadera. TABLA DE VERDAD DE LA DISYUNCION EXCLUSIVA.p V V F F q V F V F p q F V V F

Ejemplo.Expresar simblicamente las siguientes proposiciones y determinar luego su valor de verdad. a) Hoy es jueves o viernes b) 5+9 es una suma o 14 c) El beb es hombre o mujer d) Te regalo rosas o claveles LA CONDICIONAL.La condicional de dos proposiciones p, q dadas en ese orden, es la proposicin condicional de la forma: Si p, entonces q p es condicin suficiente para q q es condicin necesaria para p Si p tambin q q cuando p q cada vez que p
Autor: Elio Romero Cullar Pgina 12

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

A fin de que q basta que p NOTACION.La condicional de las proposiciones p, q se simboliza de la siguiente manera: p q La proposicin p, se denomina antecedente o hiptesis La proposicin q, se denomina tesis o consecuente. VALOR DE VERDAD DE LA CONDICIONAL.(p q) = F, cuando el antecedente es verdadero y el consecuente falso, en todas las dems opciones es verdadero. TABLA DE VERDAD DE LA CONDICIONAL.p V V F F q V F V F p q V F V V

Ejemplo.- Determinar el valor de verdad de la siguiente proposicin compuesta: [(p q) r], si (p) = V IMPLICACIONES ASOCIADAS.- Las condicionales asociadas son: La Reciproca: La Reciproca de (p q) es (q p) La Contraria: La Contraria de (p q) es (p q) La Contra-reciproca: La contra-reciproca de (p q) es (q p) PROPOSICIONES EQUIVALENTES.- Dos proposiciones son equivalentes si tienen la misma tabla de verdad. Es decir si tienen el mismo valor de verdad para las mismas opciones de valor de verdad de las proposiciones simples que la componen. Ejemplo.- Establecer cuales de las condicionales asociadas son lgicamente equivalentes. LA BICONDICIONAL.La bicondicional de dos proposiciones p, q es la proposicin de la forma p si y solo si q NOTACION.La bicondicional de las proposiciones p, q se simboliza de la siguiente manera: pq y se lee: p si y solo si q
Autor: Elio Romero Cullar Pgina 13

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

p es condicin suficiente y necesaria par q q es condicin necesaria y suficiente para p VALOR DE VERDAD DE LA BICONDICIONAL.- La bicondicional tiene un valor de verdad falso, cuando el valor de verdad de ambas proposiciones es falso y el valor de verdad de la bicondicional es verdadero, cuando el valor de verdad de ambas proposiciones es verdadero. (pq) = F, cuando (p) (q) (pq) = V, cuando (p) = (q) TABLA DE VERDAD DE LA BICONDICIONAL.p V V F F q V F V F p q V F F V

La bicondicional se define tambin como la conjuncin de la condicional y la reciproca, es decir: pq (pq) (qp) FORMULAS PROPOSICIONALES.DEFINICIN.- Una formula proposicional es la combinacin de letras y conectivos lgicos de manera tal que al sustituir las letras por proposiciones se obtiene una proposicin. Ejemplo.(pq) (qp) (pq) (qp) CLASIFICACION DE LAS FORMULAS PROPOSICIONALES.- Se clasifican en Tautolgicas, antitautologicas y contingencias. TAUTOLOGICAS.- Son formulas proposicionales que siempre son verdaderas cualquiera sea la combinacin de valores de verdad de las proposiciones componentes, es decir tienen su tabla de verdad llena de verdades y solo de verdades. ANTITAUTOLOGICAS.- Son formulas proposicionales que siempre son falsas cualquiera sea la combinacin de valores de verdad de las proposiciones componentes, es decir tienen su tabla de verdad llena de falsedades y solo de falsedades.
Autor: Elio Romero Cullar Pgina 14

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

CONTINGENCIAS.- Son formulas proposicionales que no son tautolgicas ni antitautologicas. Ejemplo.- Determinar la tabla de verdad de las formulas proposicionales siguientes y luego clasificarlas. 1.- ((pq)p) 2.- [(pq) (qp)]((qr) 3.- [q(pq](p) FORMULAS LOGICAMENTE EQUIVALENTES.Dos formulas son lgicamente equivalentes si toman los mismos valores de verdad cualquiera sea la combinacin de los valores de verdad de las proposiciones simples componentes. Dos formulas son lgicamente equivalentes si y solamente si la bicondicional entre ellas es una verdad lgica (Tautolgica). Ejemplo.- Demostrar la equivalencia lgica de las siguientes formulas proposicionales (pq) y (pq)

PROPIEDADES DE OPERACIONES PROPOSICIONALES.PROPIEDAD 1.- IDEMPOTENCIA pp p PROPIEDAD 2.- CONMUTATIVA pq qp pq qp pq qp PROPIEDAD 3.- ASOCIATIVA [(pq)r] [p(qr)] [(pq)r] [p(qr)] PROPIEDAD 4.- DISTRIBUTIVA p(qr) (pq)(pr) p(qr) (pq)(pr) p(qr) (pq)(pr) p(qr) (pq)(pr)
Autor: Elio Romero Cullar Pgina 15

pp p

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

PROPIEDAD 5.- DOBLE NEGACION (Involucin) (p) p PROPIEDAD 6.- NEGACION DE LAS OPERACIONES BASICAS (pq) p q (pq) p q (pq) p q (pq) p q (pq) p q (pq) p q PROPIEDAD 7.- IMPLICACION MATERIAL pq p q PROPIEDAD 8.- CONTRARECIPROCA pq q p PROPIEDAD 9.- LEY DE BICONDICIONAL pq (p q) (qp) PROPIEDAD 10.- IDENTIDAD pT p pT T pF F pF p

Donde: T es una Tautolgica F es una Antitautolgica

PROPIEDAD 11.- COMPLEMENTACION pp F pp T T F Ejemplo.- Usando las propiedades de las proposiciones demostrar que las siguientes formulas son lgicamente equivalentes. a) [(p q) q] (p q) q b) { [ p (p q) ] } F Solucin.Para demostrar la equivalencia lgica de las formulas dadas, vamos ha partir del miembro de la izquierda para llegar al de la derecha usando en forma sucesiva propiedades de las operaciones proposicionales que sean pertinentes. a) [(p q) q] ( p q) (q) Ley de Morgan
Autor: Elio Romero Cullar Pgina 16

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

( p q) q ( p q ) q [( p ) (q )] q (p q ) q (lqqd)

Doble negacin Implicacin material Ley de Morgan

Doble negacin dos veces

a) { [ p (p q) ] }

p (p q) p [ p(q)] p (pq) (p p) q F q F (lqqd)

Doble negacin Neg. de condicional Doble negacin Asociativa de la Complementacin Identidad

Ejemplo.- Usando las propiedades de las proposiciones demostrar la ley de absorcin. (p q) p p Solucin.(p q) p (p q) (pT)] p (q T) pT p (lqqd)

Identidad Distributiva en sentido inverso Identidad Identidad

APLICACIN A LA TEORIA DE CIRCUITOS ELECTRICOS.Cada formula proposicional se puede representar por un circuito elctrico. Para ello primero estableceremos las componentes del circuito. Los interruptores: (o llaves) Representan las proposiciones de las formulas proposicionales. La proposicin es verdadera cuando el interruptor esta cerrado y es una proposicin falsa cuando el interruptor esta abierto. Se representa grficamente de la siguiente forma: Si (p) = F Si (q) = V La bombilla elctrica.Representa el valor de verdad de la formula proposicional asociada al circuito, es verdadera cuando la bombilla se enciende y es falsa cuando la bombilla se apaga. Se representa de la siguiente manera:
Autor: Elio Romero Cullar Pgina 17

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Los cables elctricos.Permiten las conexiones entre los interruptores, se representan por lneas. La fuente de energa.Da vida al circuito, y se representa por:

Los circuitos se pueden conectar en serie o en paralelo y combinaciones de ambos.

CIRCUITO EN SERIE.- (Conjuncin) p q p V V F F q V F V F p q V F F F

(pq)

Los interruptores conectados en serie representan la conjuncin de las proposiciones p, q CIRCUITO EN PARALELO.- (Disyuncin inclusiva) p V V F F p qq) (p
Autor: Elio Romero Cullar Pgina 18

q V F V F

p q V V V F

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Los interruptores conectados en paralelo representan la disyuncin inclusiva de las proposiciones p, q Ejemplo.- Construir el circuito lgico de la disyuncin exclusiva. (p q) Ejemplo.- Construir el circuito lgico mas simple asociado a la siguiente formula proposicional. q [ (p q) q] Solucin.q [ (p q) q] q [(pq) (q)] q [(pq)q] q [(pq)q] q q

INFERENCIA LOGICA.El proceso de inferir una proposicin t de las proposiciones dadas S1, S2, S3,, Sn, se llama razonamiento y se representa mediante el esquema siguiente:

Autor: Elio Romero Cullar

Pgina 19

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

s1 s2 s3 . premisas . . sn t } conclusin
Con esto queremos significar que como las proposiciones s 1, s2, s3, .., sn son verdaderas, por lo tanto t es verdadera. A las proposiciones s1, s2, s3, .., sn se las denomina premisas del razonamiento y a t conclusin. Se dice que tal razonamiento es valido si y solamente si: (s1 s2 s3 .. sn) t es una formula tautolgica. Ejemplo.- Sean las proposiciones p: Jos es responsable q: Jos form en la Gabriel

s2 : p q s1 : p q

Este razonamiento es valido si la conjuncin de las premisas condicional la conclusin es una formula tautolgica. p V V F F q V F V F p q V F V V (p q) p V F F F [(p q) p] q V V V V es una

Como podemos observar la formula [(p q)p]q tautologa. Por lo tanto el razonamiento es valido. TABLAS DE INFERENCIA.REGLA 1.- Modus ponendo ponens.- PP
Autor: Elio Romero Cullar

Pgina 20

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Mtodo que afirma el consecuente afirmando el antecedente p q p q REGLA 2.- Modus Tollendo Tollens.- TT Mtodo que niega el antecedente negando el consecuente p q q p REGLA 3.- Modus Tollendo Ponens.- TP p q p q q p REGLA 4.- Regla de simplificacin.- S p q p q p q REGLA 5.- Regla de Adjuncin.- A p q p q p q

p q q p

REGLA 6.- Ley del silogismo hipottico.- SH p q q r p r REGLA 7.- Ley de adicin.- LA p q p q p q REGLA 8.- Ley del silogismo disyuntivo.- SD p q p q p r p r q s q s r s s r REGLA 9.- Ley de simplificacin disyuntiva.- LSD
Autor: Elio Romero Cullar Pgina 21

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

p p p

REGLA 10.- Ley de doble negacin.- DN ( p ) p p ( p) REGLA 11.- Leyes de Morgan.- LDM p q (p q) (p q) p q p q (p q)
p q (p q)

REGLA 12.- Leyes conmutativas.- LC

p q q p p q q p

REGLA 13.- Leyes de las proposiciones bicondicionales.- LPB p q (p q) (p q) q p p q q p p q p q (p q) ( q p) REGLA 14.- Regla de las premisas.- P Una premisa se puede introducir en cualquier punto de la deduccin. Ejercicio.- Demostrar la ley del silogismo disyuntivo. METODOS PARA DEDUCIR LA VALIDEZ DE RAZONAMIENTOS.Vamos ha estudiar cuatro mtodos o formas para deducir la validez de un razonamiento. El mtodo Directo, el mtodo indirecto, el mtodo de la demostracin condicional y el abreviado. METODO DIRECTO.- Este mtodo consiste en llegar a la conclusin usando reglas de inferencia en forma sucesiva con las premisas iniciales y las intermedias que se van determinando en el proceso deductivo.
Autor: Elio Romero Cullar Pgina 22

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Ejemplo.- Esquematizar el razonamiento y deducir su validez usando el mtodo directo. Si Javier gano la carrera, entonces Jos fue el segundo o Abel fue el tercero Si Jos fue el segundo, entonces Javier no gano la carrera Si Marcos fue el segundo, entonces Abel no fue el tercero Javier gan la carrera Por tanto: Marcos no fue el segundo Solucin.Primero damos nombre a cada una de las proposiciones simples que constituyen el razonamiento. p: Javier gano la carrera q: Jos fue el segundo r: Abel fue el tercero t: Marcos fue el segundo Luego simbolizamos cada una de las premisas y tambien la conclusin del razonamiento. Lo que llamamos esquema del razonamiento. s1: p (qr) s2: q p s3: t r s4: p t Partimos de las premisas para llegar a la conclusin usando en forma sucesiva las reglas de inferencia. s1: p (qr) s2: q p s3: t r r t s4: p s5: q r s6: p t s7: t El razonamiento es valido. Ejemplo.- Esquematizar el razonamiento y demostrar su validez usando el mtodo directo. Si dos es mayor que uno, entonces tres es mayor que uno
Autor: Elio Romero Cullar Pgina 23

PP(s1,s4) SD(s5,s2,s3) TP(s6,s4)

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Si tres es mayor que uno, entonces tres es mayor que cero Dos es mayor que uno Por lo tanto: Tres es mayor que cero Solucin.Primero damos nombre a cada una de las proposiciones simples que constituyen el razonamiento. t: Dos es mayor que uno s: Tres es mayor que uno r: Tres es mayor que cero Luego simbolizamos cada una de las premisas y tambin la conclusin del razonamiento. Lo que llamamos esquema del razonamiento. s1: t s s2: s r s3: t r Partimos de las premisas para llegar a la conclusin usando en forma sucesiva las reglas de inferencia. s1: t s s2: s r s3: t s4: t r s5: r El razonamiento es valido. Ejemplo.- Deducir la validez del siguiente razonamiento, usando el mtodo directo. s1: h j s2: h s3: j g g METODO INDIRECTO.- Segn este mtodo para probar que: (s1 s2 s3 .. sn) t es una formula tautolgica se incluye la negacin de la conclusin (t) como premisa y la formula proposicional (s1 s2 s3 .. sn t) debe ser una falsedad para que el razonamiento sea vlido.
Autor: Elio Romero Cullar Pgina 24

SH(s1,s2) PP(s4,s3)

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Ejemplo.- Deducir la validez del siguiente razonamiento, usando el mtodo indirecto. s1: p (s j) s2: s s3: p sj Solucin.s1: p (s j) s2: s s3: p s4: (s j) (Negacin de la conclusin) s5: s j LM(s4) s6: j S(s6) s7: s j PP(s1,s3) s8: s TP(s7,s6) s9: s s A(s2,s2) s10: F El razonamiento es vlido. METODO DE LA DEMOSTRACION CONDICIONAL.Para utilizar este mtodo la conclusin del razonamiento debe ser una condicional, y consiste en introducir el antecedente de la conclusin como premisa (verdadera) y con ello se debe establecer la verdad del consecuente de la conclusin, para que el razonamiento sea vlido. Ejemplo.- Deducir la validez del siguiente razonamiento, usando el mtodo de la demostracin condicional. s1: p (q r) s2: q p s3: s r p s Solucin.s1: p (q r) s2: q p s3: s r s4: p (antecedente de la conclusin) s5: q r s6: q s7: r s8: s
Autor: Elio Romero Cullar

PP(s1,s2) TT(s2,s4) TP(s5,s6) TT(s3,s7)

Pgina 25

ALGEBRA I

El razonamiento es vlido.

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

METODO ABREVIADO.Para deducir la validez de un razonamiento por su definicin es necesario construir la tabla de verdad de la formula proposicional (s1 s2 s3 .. sn) t , este mtodo nos libera de esta tarea. El mtodo consiste en lo siguiente: Se asigna valor de verdad verdadero a cada una de las premisas y valor de verdad falso a la conclusin. Con estas condiciones, se determina el valor de verdad de las proposiciones simples que componen el razonamiento. Comenzando por aquella condicin que asigna un valor de verdad nico a las proposiciones que la componen, y con estos valores y las dems condiciones vamos determinando los valores nicos de las proposiciones componentes del razonamiento. Si alguna proposicin toma dos valores de verdad diferentes para que se cumplan las condiciones impuestas, entonces el razonamiento es vlido. Si todas las proposiciones toman un nico valor de verdad para el cumplimiento de las condiciones impuestas, entonces el razonamiento no es vlido. Ejemplo.- Deducir la validez del siguiente razonamiento, usando el mtodo abreviado. s1: p q s2: pr s3: r q p r Solucin. (p q)=V (1) (pr)=V (2) (r q)=V (3) (p r)=F (4) De la 4 tenemos como nicos valores de verdad de (p)=V y (r)=F De la 3 tenemos que (q)=F La 2 se cumple con los valores de p y r ya asignados. En la 1 con los valores asignados a p y q no se cumple, es necesario que (p)=F, es decir para que se cumplan las condiciones, es necesario que p tome valores de verdad diferentes. Por lo tanto el razonamiento es vlido.
Autor: Elio Romero Cullar Pgina 26

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

ESQUEMAS PROPOSICIONALES.- (E. P.) ESQUEMAS PROPOSICIONALES EN UNA VARIABLE.DEFINICION.- Un E. P. en una variable es una expresin en la que aparece una letra generalmente designada con x con la siguiente propiedad Hay por lo menos un nombre o constante que al reemplazar la variable x la expresin se convierte en una proposicin. Ejemplo.1.- x es el libertador de Amrica 2.- x+3 = 9 3.- Que estudia x? 4.- Viva x! NOTACION.- Los E. P. en una variable se simbolizan de la siguiente manera: F(x), G(x), H(x), y se leen F de x, G de x, H de x, Ejemplo.1.- F(x): x es el libertador de Amrica 2.- G(x): x+3 = 9 3.- H(x): x estudia 4.- P(y): y-2 > 5 VALOR DE UN E. P. EN UNA VARIABLE.DEFINICION.- El valor de un E. P. en la variable x, para x=a es la expresin obtenida al reemplazar la variable x por la constante a. El valor del E. P. F(x) para x=a se simboliza por F(a). Ejemplo.- Dado el E. P. G(x): x+3 = 15. Determine 3 valores para G(x) de manera que el primer valor resulte una proposicin verdadera, el segundo valor una proposicin falsa y el tercer una expresin carente de sentido. RAIZ O SOLUCION DE UN E. P. EN UNA VARIABLE.DEFINICION.- Se dice que a es una raz o solucin del E. P. en una variable, si el valor que toma el E. P. para x=a es una proposicin verdadera. Simblicamente: a es raz de F(x) si y solo si [F(a)]= V Ejemplo.- Determine la raz de cada uno de los E. P. siguientes:
Autor: Elio Romero Cullar Pgina 27

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

1 1 y =3 3 2 H(z): z tiene 15 provincias G(x): x es un numero par

F(y):

CUANTIFICADORES.Existen dos tipos de cuantificadores, el universal y el existencial. CUANTIFICADOR UNIVERSAL.Un cuantificador universal en la variable x es la expresin para todo x, cuya notacin simblica es: x,. La expresin x, F(x) se llama proposicin universal y se lee: para todo x, F(x) para cada x, F(x) para cualquier x, F(x) Ejemplo.- Dado el E. P. F(x): x2- 4 = 0. Determine simblica y verbalmente una proposicin universal y halle su valor de verdad. Solucin.Simblicamente: x, F(x) x, x2-4 = 0 Para todo x, x2-4 = 0 Para cualquier x, x2- 4 = 0 Para cada x, x2- 4 = 0 El cuadrado de todo nmero disminuido en 4 es igual a cero [x, F(x)]= F

Verbalmente:

Su valor de verdad:

CUANTIFICADOR EXISTENCIAL.El cuantificador existencial en la variable x es la expresin existe x, tal que, (Con el significado que existe por lo menos un x dado que). Su notacin simblica es: x:. La expresin x: F(x), se llama proposicin existencial y se lee de la siguiente forma: Existe x talque F(x) Existe algn x talque F(x)
Autor: Elio Romero Cullar Pgina 28

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Hay un x talque F(x) Ejemplo.- Dado el E. P. G(x) determinar una proposicin existencial y su valor de verdad. Si G(x): x es nmero primo. Solucin.Simblicamente: Verbalmente: x: G(x) x: x es nmero primo Existe x talque, x es nmero primo Hay un x talque, x es nmero primo Existe algn x talque, x es nmero primo Hay nmeros que son primos [x: G(x)] = V

Su valor de verdad:

NEGACION DE PROPOSICIONES CUANTIFICADAS.Negacin de una proposicin universal: [x, F(x)] = x: F(x) Negacin de una proposicin existencial: [x: F(x)] = x, F(x) Ejemplo.- Dada la proposicin Existen nmeros enteros cuyo cubo aumentado en uno es igual cubo del siguiente. a) Simbolizarla b) Negarla simblica y verbalmente. Solucin.a) Simbolizarla El esquema proposicional es: F(x): x3 + 1 = (x + 1)3, x Z Expresin simblica de la proposicin: x: F(x) b) Negacin simblica: [x: F(x)] = x, F(x) Para todo x Z, x3 + 1 (x + 1)3 Negacin verbal: Todo nmero entero elevado al cubo incrementado en uno no es igual al cubo del siguiente Ejemplo.- Dada la proposicin Todo nmero entero elevado al cuadrado aumentado en uno es igual cubo del siguiente. a) Simbolizarla b) Negarla simblica y verbalmente. Ejercicio.- Negar simblica y verbalmente cada una de las siguientes proposiciones: 1.- Ningn nmero natural es divisible por 3
Autor: Elio Romero Cullar Pgina 29

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

2.- Nadie es poltico 3.- Nada es absolutamente malo ESQUEMAS PROPOSICIONALES EN DOS VARIABLES.Definicin.- Un E. P. en dos variables es una expresin en la que aparecen dos letras generalmente x, y de manera que haya por lo menos un par de nombres o constantes que la reemplazar las variables x, y convierta la expresin en una proposicin. Ejemplo.1.- x es provincia de y 2.- y es hermano de z 3.- x+y 10 Notacin.- Los esquemas proposicionales en dos variables se simbolizan del modo siguiente F(x,y); G(x,y); H(x,y); . Se leen F de x,y; G de x,y; H de x, y; Ejemplo.1.- F(x,y) = x es libertador de y 2.- G(y,z)= y alumbra a z 3.- H(x,y)= x+y 10 VALOR DE UN E. P. EN DOS VARIABLES.El valor de un E. P. en dos variables F(x,y), para x=a es la expresin obtenida al reemplazar la variable x, por la constante a cuyo resultado no es una proposicin si no un E. P. en la variable y. Ejemplo.- Si P(x,y): x+y = 7, entonces el valor de P(x,y) para x=5 es P(5,y): 5+y = 7 El valor de un E.P. en dos variables F(x,y) para x=a, y=b es la expresin que se obtiene al sustituir la variable x por a y la variable y por b. El valor de F(x,y) para x=a, y=b se designa con F(a,b) y es una proposicion. Ejemplo.- Determinar dos valores de los esquemas proposicionales siguientes de manera que el primer valor sea proposicion verdadera y el segundo una proposicion falsa. F(x,y): x destruye y G(y,z): y + 8 = z
Autor: Elio Romero Cullar Pgina 30

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

RAIZ DE UN ESQUEMA PROPOSICIONAL EN DOS VARIABLES.Definicin.- El par (a,b) es una raiz del E.P. F(x,y) si y solo si [F(a,b)] = V Ejemplos.- Determine la raiz de los siguientes E.P. F(x,y): x2+y=4 G(y,z): y +3 z H(x,y): x es una ciudad de y CUANTIFICACION SIMPLE.- Si se coloca delante de un E. P. en dos variables uno de los cuantificadores en una de las dos variables no se obtiene una proposicion si no un esquema proposicional en la variable no cuantificada. Ejemplo.- Si al E. P. F(x,y): x+y = 6 x: F(x,y) = x: x+y = 6 (Es un E. P. en la variable y) y, F(x,y) = y, x+y = 6 (Es un E. P. en la variable x) CUANTIFICACION DOBLE.- Si se coloca delante de un E. P. en dos variables, dos cuantificadores iguales o distintos, se obtiene una proposicion. Ejemplo.- Sea el E.P. F(x,y), entonces cuantificando doblemente podemos tener las siguientes proposiciones. x, y: F(x,y) x, y: F(x,y) x, y: F(x,y) x, y: F(x,y) NEGACION DE ENUNCIADOS DOBLEMENTE CUANTIFICADOS.~[x, y, F(x,y)] ~[x, y: F(x,y)] ~[x: y, F(x,y)] ~[x: y: F(x,y)] = = = = x: y: ~F(x,y) x: y, ~F(x,y) x, y: ~F(x,y) x, y, ~F(x,y)

Autor: Elio Romero Cullar

Pgina 31

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

RAZONAMIENTO DEDUCTIVO CON EL USO DE CUANTIFICADORES.Para deducir la validez de este tipo de razonamientos se siguen los siguientes pasos: 1.- Simbolizar las premisas (Esquematizar el razonamientos) 2.- Especificar los objetivos para eliminar cuantificadores. 3.- Aplicar las reglas de inferencia lgica. Ejemplo.- Demostrar la validez del siguiente razonamiento: Cada nmero entero es un nmero real El dos es nmero entero Por lo tanto, El dos es nmero real Solucin.P(x): x es numero entero F(x): x es numero real s1: x, P(x) F(x) s2: P(2) F(2) Deduccin: s1: x, P(x) F(x) s2: P(2) s3: P(2) F(2) s1 x/2 s4: F(2) P.P. (s1, s2) Por lo tanto el razonamiento es valido. Ejemplo.- Demostrar que: Juan es mortal Todo hombre es mortal Juan es hombre Ejemplo.Demostrar que: 2 > 0, siendo que: F(x,y): x>y s1: x, y, F(x, y) G(x, y) s2: F(1,0) s3: 2= 1+1 G(x,y):x+1>y

Ejemplo.Deducir la validez del siguiente razonamiento: Para todo x, si x es un numero par, entonces x+2 es numero par
Autor: Elio Romero Cullar Pgina 32

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

Para cada x, si x es un numero par, entonces x no es un numero impar 2 es numero par Por lo tanto: 2+2 no es un numero impar Ejemplo.Dar una demostracin formal de cada uno de los siguientes razonamientos: a) Todos los nmeros positivos son mayores que cero Cuatro es un numero positivo Cuatro es igual a tres mas uno Por lo tanto: Tres mas uno es mayor que cero b) Hay personas traicioneras Hay felinos traicioneros Luego, Algunas personas son felinos

Autor: Elio Romero Cullar

Pgina 33

ALGEBRA I

La matemtica honra el espritu humano Leibnitz

UNIDAD N 1

BIBLIOGRAFIA: 1.- Armando Rojo 2.- Lipschutz Seymour 3.- Lipschutz Seymour 4.- Suppes Patrik 5.- Braulio Cceres Ch. 6.- Bosch

: Algebra I : Matemticas finitas : Teora de Conjuntos y temas afines : Introduccin a la lgica simblica : Lgica y conjuntos : Introduccin al simbolismo lgico

: Editorial Ateneo : Editorial Mc. Graw Hill : Editorial Mc. Graw Hill : Editorial : Editorial El Pas : Editorial Eudeba

Autor: Elio Romero Cullar

Pgina 34