SlideShare une entreprise Scribd logo
1  sur  29
DESARROLLO TEMÁTICO LÓGICA  PROPOSICIONAL Para expresar sus ideas, el hombre ha utilizado fundamentalmente los signos orales y escritos. El lenguaje corriente a veces se presta a confusiones y a falsas interpretaciones. Este es uno de los problemas que ha tenido el hombre en el estudio de las matemáticas y de las ciencias en general. Por ello, se hace necesario construir un lenguaje claro y preciso que nos permita llegar a una correcta interpretación en la comunicación.  El tema de esta unidad está orientado a sustentar teóricamente la aplicación de la lógica en la tecnología moderna. La lógica es el sistema de comunicación entre las personas, y entre éstas y los dispostivos electrónicos; consiste en el estudio de los métodos y principios utilizados para distinguir el razonamiento correcto o válido del incorrecto. Se conoce además como la ciencia de las formas del pensamiento, de su estructura y de las leyes del conocimiento inferido(causado), las cuales permiten obtener conclusiones partiendo de  proposiciones.
DESARROLLO TEMÁTICO PROPOSICIÓN Es una expresión u oración declarativa de la que puede decirse que es  verdadera  o  falsa  pero no ambas situaciones a la vez; es decir, es un enunciado del que puede decirse con  exactitud  que es  verdadero  o  falso .  Dichos enunciados o proposiciones se representan mediante letras minúsculas tales como: p,q,r,s,t… A la verdad o falsedad de dicha proposición se le llama “ su valor de verdad ”. Ejemplo:  -En este salón hay solamente 5 alumnos. -10 + 3 = 13   -¿Cómo estás? - 5  = 5
DESARROLLO TEMÁTICO PROPOSICIÓN En el  Álgebra Proposicional  decimos que proposición es un enunciado o frase a la cual puede asignársele inequívocamente uno de los valores de verdad :  “ 1 ”, si es verdadera ó “ 0 ”, si es falsa. A este tipo de situaciones las denominamos  Lógica Bivalente o Lógica Binaria . TIPOS DE PROPOSICIONES .- En el estudio de las matemáticas encontramos 2 tipos de proposiciones:  1.  PROPOSICIONES SIMPLES O ATÓMICAS .- Son aquellas que constan de un solo enunciado, en ella no interviene ningún enlace o conector.  Ejemplos: p: “Paris está en Francia” q: “2 es menor que 3”. r: “7 es un número par” s: “3 es un número primo” t: “2 + 2 = 4”
DESARROLLO TEMÁTICO PROPOSICIÓN 2.  PROPOSICIONES COMPUESTAS O MOLECULARES .- Son las que constan de dos o más enunciados o proposiciones simples, entrelazadas por partículas lógicas  llamadas  Conectores Lógicos  (operadores lógicos).  Ejemplos: p: “Paris está en Francia  Y   2 es un número  impar”. q: “3 es un número primo  O  1 es un número par”. s: “Si hoy es domingo  entonces  no hay que laborar”. r: “Hoy es martes  Y  hay clase de matemáticas”.
DESARROLLO TEMÁTICO 1. Para una proposición simple(una proposición o una variable p), sólo existen  2 1  posibilidades o combinaciones posibles.  POSIBILIDADES LÓGICAS .- p Posibilidades Total de posibilidades V Verdadero F Falso 2 1  = 2
DESARROLLO TEMÁTICO 2. Para una proposición compuesta(dos proposiciones o dos variables p,q),  existen  2 2   posibilidades o combinaciones posibles.  POSIBILIDADES LÓGICAS .- Total posibilidades Posibilidades Verdadera - Verdadera p q V V V F F F V F Verdadera - Falsa Falsa - Verdadera Falsa  - Falsa 2 2  =  4
DESARROLLO TEMÁTICO 3. Para una proposición compuesta(tres proposiciones o tres variables p,q,r),  existen  2 3   posibilidades o combinaciones posibles.  POSIBILIDADES LÓGICAS .- Total posibilidades Posibilidades p q V V V V F V F V Verdadero - Falso – Verdadera   Verdadero - Falso  - Falso 2 3   =  8 V F r V F V F V Verdadero – Verdadero - Verdadero Verdadero – Verdadero - Falso F F  F V F  F F V F Falso – Verdadero - Verdadero Falso – Verdadero - Falso  Falso – Falso - Verdadero  Falso – Falso - Falso 4. En general, podemos concluir que para una proposición compuesta de  n  variables, existen  2 n   posibilidades o combinaciones posibles.
DESARROLLO TEMÁTICO Son los símbolos que empleamos en el lenguaje para relacionar o conectar proposiciones simples, permitiéndonos formar proposiciones compuestas.  CONECTORES LÓGICOS U OPERADORES LÓGICOS  ,[object Object],- Símbolo gramatical  .-  Y  (AND). - Símbolo lógico.-  Λ   (Representa el producto lógico).  Es una proposición compuesta que se obtiene al unir dos proposiciones simples entrelazadas mediante el conectivo  Y ( Λ ).   VALOR DE VERDAD DE LA CONJUNCIÓN .- Esta proposición sólo es verdadera, cuando las dos proposiciones simples que la formen son verdaderas, en los demás casos será falsa.
DESARROLLO TEMÁTICO Ejemplo:  1.  p: “1 es un número impar”  TABLA  DE  VERDAD  DE  LA  CONJUNCIÓN p q p  Λ   q V V F F V F V F V F F F q: “3 es un número primo”  p  Λ   q:  “1 es un número impar  Y  3 es un número primo”   2.  p: “Bogotá está en Colombia”  q: “6 es un número impar”  p  Λ   q: “ Bogotá está en Colombia  Y  6 es un número impar”   (V) (V) (V) (V) (F) (F)
DESARROLLO TEMÁTICO 3.  p: “Cali es la capital de Colombia”  En una empresa determinada, se tiene un archivo maestro de nómina, que contiene el registro de cada trabajador  .  Se requiere un informe que contenga los nombres de las damas que tengan más de 40 años de edad para hacerles un homenaje especial en el día de la mujer.  q: “3 + 3  =  6”  (F) (V) p  Λ   q:  “Cali es la capital de Colombia  Y  3 + 3  =  6” (F) 4.  Una interpretación de la conjunción, desde el punto de vista de la programación de computadores, puede hacerse con la ejecución del siguiente programa. En el programa a realizar debo incluir 2 proposiciones: p: “Sexo” q: “Edad” p  Λ   q: “Si sexo = F  Λ   Edad > 40”  V  Λ   V  ( Imprimo  nombre de dama  y leo otro registro.) V  Λ   F  ( Leo  otro  registro.) F  Λ   V  ( Leo  otro  registro.) F  Λ   F  (Leo  otro  registro.)
DESARROLLO TEMÁTICO Notaremos que la lámpara sólo se enciende en caso de que ambos interruptores  estén cerrados, o sea cuando  p = 1 y q = 1;  p  Λ  q = 1  (Es una operación que depende de la simultaneidad de dos eventos). Veamos:  Una interpretación  de la conjunción desde el mundo físico, puede hacerse con un circuito o red de interruptores en  serie  , para controlar el encendido de una lámpara . Θ О Circuito  AND  con interruptores conectados en  SERIE  Pila p = 0 q = 0 Lámpara apagada Θ O   Pila Circuito  AND  con interruptores conectados en  SERIE Lámpara encendida p = 1  q = 1 La  compuerta  que representa  la conjunción  recibe el nombre de  AND  tiene el siguiente símbolo: Entradas Salida p q p  Λ   q
DESARROLLO TEMÁTICO 2. LA DISYUNCIÓN.-  - Símbolo gramatical  .-  O (OR). - Símbolo lógico.- V   (Representa la suma lógica).  Es una proposición compuesta que se obtiene al unir dos proposiciones simples entrelazadas mediante el conectivo O  (V).   VALOR DE VERDAD DE LA DISYUNCIÓN .- Esta proposición es falsa únicamente cuando las dos proposiciones simples que la forman son falsas, en caso contrario es verdadera.  En matemáticas se emplea la letra “O” en el sentido Inclusivo, como el término (Y/O), es decir p ó q ó ambas.
DESARROLLO TEMÁTICO Ejemplo:  1.  p: “2 es un número impar”  TABLA  DE  VERDAD  DE  LA  DISYUNCIÓN p q p  V  q V V F F V F V F V V V F q: “3 es un número par”  p  V  q:  “2 es un número impar  O  3 es un número par”   2.  p: “Bogotá está en Colombia”  q: “6 es un número impar”  p  V  q: “ Bogotá está en Colombia  O  6 es un número impar”   (F) (F) (F) (V) (F) (V)
DESARROLLO TEMÁTICO 3.  p: “Cali es la capital de Colombia”  La administración municipal necesita cobrarle un 50% de recargo sobre las utilidades, a los establecimientos públicos que tengan avisos comerciales o juegos al azar o ambos.  q: “3 + 3  =  6”  (F) (V) p  V  q:  “Cali es la capital de Colombia  O  3 + 3  =  6” (V) 4.  Una interpretación de la disyunción, desde el punto de vista de la programación de computadores, puede hacerse con la ejecución del siguiente programa. En el programa a realizar debo incluir 2 proposiciones: p: “Avisos comerciales” q: “Juegos al azar” p  V q: “Si avisos comerciales V   juegos al azar”  V  V  V  ( cobro 50% y leo otro registro.) V  V  F  ( cobro 50% y Leo  otro  registro.) F  V  V  ( cobro 50% y Leo  otro  registro.) F  V  F  (Leo  otro  registro.)
DESARROLLO TEMÁTICO Obsérvese que la lámpara permanece apagada sólo cuando ambos interruptores  estén abiertos, o sea cuando  p = 0 , q = 0;  p V q = 0,  veamos:  Una interpretación  de la disyunción desde el mundo físico, puede hacerse con un circuito de interruptores en  paralelo , para controlar el encendido de una lámpara . Θ О Circuito  OR  con interruptores conectados en  paralelo  Pila p = 0 q = 0 Lámpara apagada Θ O Pila Circuito  OR  con interruptores conectados en  paralelo Lámpara encendida p = 1  q = 1 La  compuerta  que representa  la disyunción  recibe el nombre de  OR  y  tiene el siguiente símbolo: Entradas Salida p q p  V  q
DESARROLLO TEMÁTICO 3. LA NEGACIÓN.-  - Símbolo gramatical  .-  NO (NOT). (No es verdad que). - Símbolo lógico.-  (   ~ )   La conectiva “NO” es la que se antepone a una proposición para cambiar su valor de verdad.  VALOR DE VERDAD DE LA NEGACIÓN .- Si una proposición  sea simple o compuesta es  verdadera  , su negación es  falsa  y viceversa.
DESARROLLO TEMÁTICO Ejemplo:  1.  p: “12 es un número par”  TABLA  DE  VERDAD  DE  LA  NEGACIÓN p ~ p V F F V 2.  q: “15 es un número primo”  (V) (F) (F) ~ p: “12 no es un número par” ~ q: “15 no es un número primo” (V)
DESARROLLO TEMÁTICO 3.  r: “Colombia se encuentra en Suramérica”  En la frontera Nororiental de Colombia, se tiene un archivo maestro que contiene los registros de los vehículos colombianos y extranjeros que pasan por allí, marcados con los distintivos, Placa  C  , si es colombiano y placa  E  , si es extranjero. Se quiere saber, ¿Cuántos vehículos colombianos han pasado por allí?  (V) ~ r: “Colombia no se encuentra   en Suramérica”  (F) 4.  Una interpretación de la negación, desde el punto de vista de la programación de computadores, puede hacerse con la ejecución del siguiente programa. En el programa a realizar genero la proposición: p: “Placa  E ” Si es (F) ( leo registro). ~ p: “La placa no es  E “  Si es (V) (sumo 1 a acumulador y leo registro).
DESARROLLO TEMÁTICO Obsérvese que la lámpara se enciende cuando el interruptor está cerrado,  v eamos:  Una interpretación  de la negación desde el mundo físico, puede hacerse con un circuito de interruptores  simple  , para controlar el encendido de una lámpara . Θ O Pila Circuito con interruptores  simple Lámpara encendida p = 0  ~p = 1 La  compuerta inversora  que representa  la negación  recibe el nombre de  NOT  y  tiene el siguiente símbolo: Entrada Salida p p  NOT
DESARROLLO TEMÁTICO 4. LA PROPOSICIÓN CONDICIONAL O IMPLICACIÓN.-  - Forma gramatical  .- Si…Entonces… - Símbolo lógico.-  La condicional o implicación  es la combinación de dos proposiciones unidas por la conectiva, “Si…Entonces…” .   VALOR DE VERDAD DE LA CONDICIONAL O IMPLICACIÓN .- Sólo es falsa cuando su  Antecedente  es Verdadero y el  Consecuente  falso, en los demás casos la condicional es verdadera.  La proposición que aparece entre las palabras, “Si y Entonces”, se denomina  Antecedente o Hipótesis  y la que aparece después de la palabra “Entonces”, se llama  Consecuente o Conclusión .   NOTA.-  Esta proposición condicional, juega un papel muy importante en las demostraciones matemáticas en cuanto a teoremas y demás.
DESARROLLO TEMÁTICO Ejemplo :  TABLA  DE  VERDAD  DE  LA  CONDICIONAL O IMPLICACIÓN p q p   q V V F F V F V F V F V V Un candidato a la  presidencia de la República promete : Si salgo electo presidente, recibirán un 50% de aumento en su sueldo. Proposiciones: p:”Salgo electo presidente”. q:“Recibirán un 50% de aumento en su sueldo”. Condicional : p  q:”Si salgo electo presidente entonces recibirán un 50% de aumento en su sueldo”. De acuerdo a este ejemplo, la interpretación que le damos a la tabla de verdad es la siguiente:
DESARROLLO TEMÁTICO TABLA  DE  VERDAD  DE  LA  CONDICIONAL O IMPLICACIÓN p q p   q V V F F V F V F V F V V Si p = V (Salió electo) y  q = V (Reciben un 50% de aumento) ; por lo tanto p  q = V (significa que el candidato dijo la verdad en la campaña). Si p = V (Salió electo) y q = F (No reciben un 50% de aumento) ; Por lo tanto p  q =  F (significa que el candidato mintió).  Si p = F (No salió electo) y  q = V (Reciben un  50% de aumento); por lo tanto  p  q = V (Significa que aunque no salió electo, hubo un aumento del 50% en sueldos, por lo tanto, tampoco mintió. Es trivialmente verdadero).  Si p = F (No salió electo)  y  q = F (No reciben un 50% de aumento); por lo tanto p  q = V ( significa  que tampoco mintió  porque no salió electo).
DESARROLLO TEMÁTICO Ejemplos:  p: “Resolvemos la tarea “.  p: “La demanda crece”.  p  q: “Si la demanda crece entonces las compañías se expanden”. p  q: “Si resolvemos la tarea entonces aprenderemos la lección”. p: “Vamos a la fiesta”. q: “Las compañías se expanden”.  q: “Aprenderemos la lección”. q: “No nos acostaremos temprano”. p  q: “Si vamos a la fiesta entonces no nos acostaremos temprano”.   Recíproca y Contrarecíproca de un Condicional.-  A partir de la  proposición p -> q, podemos obtener otras dos condicionales de gran aplicación.   a).  q  ->  p  , la cual se denomina la  Recíproca  de  p -> q. b).  ~ q -> ~ p  , la cual se denomina la  Contrarecíproca  de p -> q.
DESARROLLO TEMÁTICO 5. PROPOSICIÓN BICONDICIONAL O DOBLE IMPLICACIÓN.-  - Forma gramatical  .-  - Símbolo lógico.-  La Bicondicional o Doble Implicación   es una proposición que se obtiene al unir dos proposiciones simples mediante el conectivo, “Si y Sólo Si”.  VALOR DE VERDAD DE LA BICONDICIONAL .- Esta es sólo verdadera  cuando las dos proposiciones que la forman tienen el mismo valor de verdad.  … Si y Sólo Si… ↔
DESARROLLO TEMÁTICO Ejemplos :  TABLA  DE  VERDAD  DE  LA  BICONDICIONAL p q V V F F V F V F V F F V p: “x es par”. p ↔ q:”x es par si  sólo si x es divisible por 2”. p:”Es buen estudiante”. q:“Tiene promedio de 4”. p ↔ q:“Es buen estudiante si y sólo si tiene promedio de 4”. p ↔ q:”Londres está en Inglaterra si y sólo si Paris está en Francia”. p:” Londres está en Inglaterra”. p   ↔  q q:”x es divisible por 2”. q:” Paris está en Francia”.
DESARROLLO TEMÁTICO NOTA.-  Toda Bicondicional puede descomponerse en dos condicionales de de la siguiente manera:   p  ↔ q  (p -> q)  Λ   (q -> p)  Ejemplo: “ Si x es Par entonces x es divisible por 2” Y “ Si x es divisible por 2 entonces x es par”.  “ Si es un buen estudiante entonces tiene promedio de 4” Y  “ Si tiene promedio de 4 entonces es un buen estudiante”.  “ Si Londres está en Inglaterra entonces Paris está en Francia” Y  “ Si Paris está en Francia entonces Londres está en Inglaterra”.
DESARROLLO TEMÁTICO LOS SIGNOS DE AGRUPACIÓN.-  Dentro de la lógica proposicional  los signos de agrupación como:  (  ) , [  ] , {  } sirven para separar una proposición de otra, permitiendo identificar en una proposición compuesta el  Conector Dominante   o  Conector  Principal  o conector determinante .  En la proposición compuesta  p  Λ  (q V r)  el conector principal es  Λ .  En la proposición compuesta  (p -> q)  ↔  (~q -> ~p)  el conector principal es  ↔ .   Ejemplo: En la proposición compuesta  p ->(p V r)  el conector principal es  -> .  En la proposición compuesta  {[(p  Λ  q) V r ]  Λ  ~ q}  V  q  el conector principal es  V .
DESARROLLO TEMÁTICO VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS  .-  Determinar el valor de verdad de la siguiente proposición compuesta:  (~ p  Λ   q)  ↔  (p -> ~ r) ,  teniendo en cuenta que ,“  p  ” es falsa, “  q  “ es verdadera y “  r  “ es verdadera.   En la determinación de valores de verdad de proposiciones compuestas, se nos puede presentar el caso de plantearnos la proposición  y  luego darnos a conocer el valor de verdad de cada una de las proposiciones simples que la componen. Ejemplo: (~ p  Λ   q)  ↔  (p  ->  ~ r)  V V V F F V V
DESARROLLO TEMÁTICO Ejemplo: Elabore la tabla de verdad para:  (~p  Λ  q)  ↔  (p -> ~ r)  El otro caso, es el de elaborar  una tabla de verdad, que nos indique todas las diferentes combinaciones de valores de verdad, que puedan presentarse, de acuerdo al número de variables contenidas por la proposición dada. p q r ( ~  p  Λ   q  )  ↔ (  p  ->  ~  r  ) V V V F F F F V V F F V V F F V V F V F V F V F F F F F V V V V V V F F V V F F V V V V F F F F F V F V F V F V F F F F V V F F F V F V V V V V F V F   V V F F V

Contenu connexe

Tendances

Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Ejercicios de conjuntos
Ejercicios de conjuntosEjercicios de conjuntos
Ejercicios de conjuntosIsrael Ortiz
 
Diapositivas de contabilidad
Diapositivas de contabilidadDiapositivas de contabilidad
Diapositivas de contabilidadarlinferdinan
 
Circuitos LóGicos
Circuitos LóGicosCircuitos LóGicos
Circuitos LóGicosrafael felix
 
Marcas de la Favorita
Marcas de la FavoritaMarcas de la Favorita
Marcas de la FavoritaShirley Solis
 
LA PARTIDA DOBLE
LA PARTIDA DOBLELA PARTIDA DOBLE
LA PARTIDA DOBLEAna CY
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADjuniorfernandoo
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfKelvinLopez24
 
Epistemologia contable
Epistemologia contableEpistemologia contable
Epistemologia contableyarilis ustate
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaDairo Estrada Talaigua
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO Jomar Burgos Palacios
 
Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....
Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....
Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....JAVIER SOLIS NOYOLA
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestiónYanina C.J
 

Tendances (20)

Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Ejercicios de conjuntos
Ejercicios de conjuntosEjercicios de conjuntos
Ejercicios de conjuntos
 
Diapositivas de contabilidad
Diapositivas de contabilidadDiapositivas de contabilidad
Diapositivas de contabilidad
 
Circuitos LóGicos
Circuitos LóGicosCircuitos LóGicos
Circuitos LóGicos
 
Conjuntos numericos
Conjuntos numericosConjuntos numericos
Conjuntos numericos
 
Marcas de la Favorita
Marcas de la FavoritaMarcas de la Favorita
Marcas de la Favorita
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
LA PARTIDA DOBLE
LA PARTIDA DOBLELA PARTIDA DOBLE
LA PARTIDA DOBLE
 
Conectivos lógicos silviacardozo
Conectivos lógicos silviacardozoConectivos lógicos silviacardozo
Conectivos lógicos silviacardozo
 
PRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDADPRESENTACION DE TABLAS DE VERDAD
PRESENTACION DE TABLAS DE VERDAD
 
Implicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdfImplicacion Logica y Argumentos .pdf
Implicacion Logica y Argumentos .pdf
 
Epistemologia contable
Epistemologia contableEpistemologia contable
Epistemologia contable
 
Guía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño cartaGuía proposiciones simples y compuestas. tamaño carta
Guía proposiciones simples y compuestas. tamaño carta
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
VALIDEZ DE UNA INFERENCIA: MÉTODO ABREVIADO
 
Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....
Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....
Antecedentes al álgebra lineal y matrices. Presentación diseñada por el MTRO....
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
LÓGICA MATEMATICA
LÓGICA MATEMATICALÓGICA MATEMATICA
LÓGICA MATEMATICA
 
simplificación inferencias gestión
simplificación inferencias gestiónsimplificación inferencias gestión
simplificación inferencias gestión
 

Similaire à matematicas para la informatica

Similaire à matematicas para la informatica (20)

[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones[Maths] 6.1.2 logica. algebra proposiciones
[Maths] 6.1.2 logica. algebra proposiciones
 
11 LóGica Proposicional
11  LóGica Proposicional11  LóGica Proposicional
11 LóGica Proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01Lgicaproposicional 100308193042-phpapp01
Lgicaproposicional 100308193042-phpapp01
 
Logica proposiciones
Logica   proposicionesLogica   proposiciones
Logica proposiciones
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Logica
LogicaLogica
Logica
 
Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168Trabajo colaborativo-2-grupo-168
Trabajo colaborativo-2-grupo-168
 
LOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.pptLOGICA PROPOSICIONAL TEMA 1.ppt
LOGICA PROPOSICIONAL TEMA 1.ppt
 
Universidad fermin toro esctructura discreta
Universidad fermin toro esctructura discretaUniversidad fermin toro esctructura discreta
Universidad fermin toro esctructura discreta
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Logica matematica experiencia 2
Logica matematica experiencia 2Logica matematica experiencia 2
Logica matematica experiencia 2
 
Carloshernandez
CarloshernandezCarloshernandez
Carloshernandez
 
Logica y conjuntos
Logica y conjuntosLogica y conjuntos
Logica y conjuntos
 
Blog logica matematica
Blog logica matematicaBlog logica matematica
Blog logica matematica
 
La lógica matemática
La lógica matemáticaLa lógica matemática
La lógica matemática
 
Lógica+pr..
Lógica+pr..Lógica+pr..
Lógica+pr..
 

Dernier

Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOluismii249
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024IES Vicent Andres Estelles
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfRosabel UA
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioELIASAURELIOCHAVEZCA1
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalJonathanCovena1
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptxdeimerhdz21
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Juan Martín Martín
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docxEliaHernndez7
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOluismii249
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...jlorentemartos
 
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxRESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxpvtablets2023
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Katherine Concepcion Gonzalez
 
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfPlan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfcarolinamartinezsev
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfpatriciaines1993
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfMercedes Gonzalez
 

Dernier (20)

Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 2º de la ESO
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
activ4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdfactiv4-bloque4 transversal doctorado.pdf
activ4-bloque4 transversal doctorado.pdf
 
Power Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptxPower Point E. S.: Los dos testigos.pptx
Power Point E. S.: Los dos testigos.pptx
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
INSTRUCCION PREPARATORIA DE TIRO .pptx
INSTRUCCION PREPARATORIA DE TIRO   .pptxINSTRUCCION PREPARATORIA DE TIRO   .pptx
INSTRUCCION PREPARATORIA DE TIRO .pptx
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESOPrueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
Prueba de evaluación Geografía e Historia Comunidad de Madrid 4ºESO
 
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
TEMA 14.DERIVACIONES ECONÓMICAS, SOCIALES Y POLÍTICAS DEL PROCESO DE INTEGRAC...
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptxRESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
RESULTADOS DE LA EVALUACIÓN DIAGNÓSTICA 2024 - ACTUALIZADA.pptx
 
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
Procedimientos para la planificación en los Centros Educativos tipo V ( multi...
 
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdfPlan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
Plan-de-la-Patria-2019-2025- TERCER PLAN SOCIALISTA DE LA NACIÓN.pdf
 
Lecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigosLecciones 06 Esc. Sabática. Los dos testigos
Lecciones 06 Esc. Sabática. Los dos testigos
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
Proyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdfProyecto de aprendizaje dia de la madre MINT.pdf
Proyecto de aprendizaje dia de la madre MINT.pdf
 
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdfFeliz Día de la Madre - 5 de Mayo, 2024.pdf
Feliz Día de la Madre - 5 de Mayo, 2024.pdf
 

matematicas para la informatica

  • 1. DESARROLLO TEMÁTICO LÓGICA PROPOSICIONAL Para expresar sus ideas, el hombre ha utilizado fundamentalmente los signos orales y escritos. El lenguaje corriente a veces se presta a confusiones y a falsas interpretaciones. Este es uno de los problemas que ha tenido el hombre en el estudio de las matemáticas y de las ciencias en general. Por ello, se hace necesario construir un lenguaje claro y preciso que nos permita llegar a una correcta interpretación en la comunicación. El tema de esta unidad está orientado a sustentar teóricamente la aplicación de la lógica en la tecnología moderna. La lógica es el sistema de comunicación entre las personas, y entre éstas y los dispostivos electrónicos; consiste en el estudio de los métodos y principios utilizados para distinguir el razonamiento correcto o válido del incorrecto. Se conoce además como la ciencia de las formas del pensamiento, de su estructura y de las leyes del conocimiento inferido(causado), las cuales permiten obtener conclusiones partiendo de proposiciones.
  • 2. DESARROLLO TEMÁTICO PROPOSICIÓN Es una expresión u oración declarativa de la que puede decirse que es verdadera o falsa pero no ambas situaciones a la vez; es decir, es un enunciado del que puede decirse con exactitud que es verdadero o falso . Dichos enunciados o proposiciones se representan mediante letras minúsculas tales como: p,q,r,s,t… A la verdad o falsedad de dicha proposición se le llama “ su valor de verdad ”. Ejemplo: -En este salón hay solamente 5 alumnos. -10 + 3 = 13 -¿Cómo estás? - 5 = 5
  • 3. DESARROLLO TEMÁTICO PROPOSICIÓN En el Álgebra Proposicional decimos que proposición es un enunciado o frase a la cual puede asignársele inequívocamente uno de los valores de verdad : “ 1 ”, si es verdadera ó “ 0 ”, si es falsa. A este tipo de situaciones las denominamos Lógica Bivalente o Lógica Binaria . TIPOS DE PROPOSICIONES .- En el estudio de las matemáticas encontramos 2 tipos de proposiciones: 1. PROPOSICIONES SIMPLES O ATÓMICAS .- Son aquellas que constan de un solo enunciado, en ella no interviene ningún enlace o conector. Ejemplos: p: “Paris está en Francia” q: “2 es menor que 3”. r: “7 es un número par” s: “3 es un número primo” t: “2 + 2 = 4”
  • 4. DESARROLLO TEMÁTICO PROPOSICIÓN 2. PROPOSICIONES COMPUESTAS O MOLECULARES .- Son las que constan de dos o más enunciados o proposiciones simples, entrelazadas por partículas lógicas llamadas Conectores Lógicos (operadores lógicos). Ejemplos: p: “Paris está en Francia Y 2 es un número impar”. q: “3 es un número primo O 1 es un número par”. s: “Si hoy es domingo entonces no hay que laborar”. r: “Hoy es martes Y hay clase de matemáticas”.
  • 5. DESARROLLO TEMÁTICO 1. Para una proposición simple(una proposición o una variable p), sólo existen 2 1 posibilidades o combinaciones posibles. POSIBILIDADES LÓGICAS .- p Posibilidades Total de posibilidades V Verdadero F Falso 2 1 = 2
  • 6. DESARROLLO TEMÁTICO 2. Para una proposición compuesta(dos proposiciones o dos variables p,q), existen 2 2 posibilidades o combinaciones posibles. POSIBILIDADES LÓGICAS .- Total posibilidades Posibilidades Verdadera - Verdadera p q V V V F F F V F Verdadera - Falsa Falsa - Verdadera Falsa - Falsa 2 2 = 4
  • 7. DESARROLLO TEMÁTICO 3. Para una proposición compuesta(tres proposiciones o tres variables p,q,r), existen 2 3 posibilidades o combinaciones posibles. POSIBILIDADES LÓGICAS .- Total posibilidades Posibilidades p q V V V V F V F V Verdadero - Falso – Verdadera Verdadero - Falso - Falso 2 3 = 8 V F r V F V F V Verdadero – Verdadero - Verdadero Verdadero – Verdadero - Falso F F F V F F F V F Falso – Verdadero - Verdadero Falso – Verdadero - Falso Falso – Falso - Verdadero Falso – Falso - Falso 4. En general, podemos concluir que para una proposición compuesta de n variables, existen 2 n posibilidades o combinaciones posibles.
  • 8.
  • 9. DESARROLLO TEMÁTICO Ejemplo: 1. p: “1 es un número impar” TABLA DE VERDAD DE LA CONJUNCIÓN p q p Λ q V V F F V F V F V F F F q: “3 es un número primo” p Λ q: “1 es un número impar Y 3 es un número primo” 2. p: “Bogotá está en Colombia” q: “6 es un número impar” p Λ q: “ Bogotá está en Colombia Y 6 es un número impar” (V) (V) (V) (V) (F) (F)
  • 10. DESARROLLO TEMÁTICO 3. p: “Cali es la capital de Colombia” En una empresa determinada, se tiene un archivo maestro de nómina, que contiene el registro de cada trabajador . Se requiere un informe que contenga los nombres de las damas que tengan más de 40 años de edad para hacerles un homenaje especial en el día de la mujer. q: “3 + 3 = 6” (F) (V) p Λ q: “Cali es la capital de Colombia Y 3 + 3 = 6” (F) 4. Una interpretación de la conjunción, desde el punto de vista de la programación de computadores, puede hacerse con la ejecución del siguiente programa. En el programa a realizar debo incluir 2 proposiciones: p: “Sexo” q: “Edad” p Λ q: “Si sexo = F Λ Edad > 40” V Λ V ( Imprimo nombre de dama y leo otro registro.) V Λ F ( Leo otro registro.) F Λ V ( Leo otro registro.) F Λ F (Leo otro registro.)
  • 11. DESARROLLO TEMÁTICO Notaremos que la lámpara sólo se enciende en caso de que ambos interruptores estén cerrados, o sea cuando p = 1 y q = 1; p Λ q = 1 (Es una operación que depende de la simultaneidad de dos eventos). Veamos: Una interpretación de la conjunción desde el mundo físico, puede hacerse con un circuito o red de interruptores en serie , para controlar el encendido de una lámpara . Θ О Circuito AND con interruptores conectados en SERIE Pila p = 0 q = 0 Lámpara apagada Θ O Pila Circuito AND con interruptores conectados en SERIE Lámpara encendida p = 1 q = 1 La compuerta que representa la conjunción recibe el nombre de AND tiene el siguiente símbolo: Entradas Salida p q p Λ q
  • 12. DESARROLLO TEMÁTICO 2. LA DISYUNCIÓN.- - Símbolo gramatical .- O (OR). - Símbolo lógico.- V (Representa la suma lógica). Es una proposición compuesta que se obtiene al unir dos proposiciones simples entrelazadas mediante el conectivo O (V). VALOR DE VERDAD DE LA DISYUNCIÓN .- Esta proposición es falsa únicamente cuando las dos proposiciones simples que la forman son falsas, en caso contrario es verdadera. En matemáticas se emplea la letra “O” en el sentido Inclusivo, como el término (Y/O), es decir p ó q ó ambas.
  • 13. DESARROLLO TEMÁTICO Ejemplo: 1. p: “2 es un número impar” TABLA DE VERDAD DE LA DISYUNCIÓN p q p V q V V F F V F V F V V V F q: “3 es un número par” p V q: “2 es un número impar O 3 es un número par” 2. p: “Bogotá está en Colombia” q: “6 es un número impar” p V q: “ Bogotá está en Colombia O 6 es un número impar” (F) (F) (F) (V) (F) (V)
  • 14. DESARROLLO TEMÁTICO 3. p: “Cali es la capital de Colombia” La administración municipal necesita cobrarle un 50% de recargo sobre las utilidades, a los establecimientos públicos que tengan avisos comerciales o juegos al azar o ambos. q: “3 + 3 = 6” (F) (V) p V q: “Cali es la capital de Colombia O 3 + 3 = 6” (V) 4. Una interpretación de la disyunción, desde el punto de vista de la programación de computadores, puede hacerse con la ejecución del siguiente programa. En el programa a realizar debo incluir 2 proposiciones: p: “Avisos comerciales” q: “Juegos al azar” p V q: “Si avisos comerciales V juegos al azar” V V V ( cobro 50% y leo otro registro.) V V F ( cobro 50% y Leo otro registro.) F V V ( cobro 50% y Leo otro registro.) F V F (Leo otro registro.)
  • 15. DESARROLLO TEMÁTICO Obsérvese que la lámpara permanece apagada sólo cuando ambos interruptores estén abiertos, o sea cuando p = 0 , q = 0; p V q = 0, veamos: Una interpretación de la disyunción desde el mundo físico, puede hacerse con un circuito de interruptores en paralelo , para controlar el encendido de una lámpara . Θ О Circuito OR con interruptores conectados en paralelo Pila p = 0 q = 0 Lámpara apagada Θ O Pila Circuito OR con interruptores conectados en paralelo Lámpara encendida p = 1 q = 1 La compuerta que representa la disyunción recibe el nombre de OR y tiene el siguiente símbolo: Entradas Salida p q p V q
  • 16. DESARROLLO TEMÁTICO 3. LA NEGACIÓN.- - Símbolo gramatical .- NO (NOT). (No es verdad que). - Símbolo lógico.- ( ~ ) La conectiva “NO” es la que se antepone a una proposición para cambiar su valor de verdad. VALOR DE VERDAD DE LA NEGACIÓN .- Si una proposición sea simple o compuesta es verdadera , su negación es falsa y viceversa.
  • 17. DESARROLLO TEMÁTICO Ejemplo: 1. p: “12 es un número par” TABLA DE VERDAD DE LA NEGACIÓN p ~ p V F F V 2. q: “15 es un número primo” (V) (F) (F) ~ p: “12 no es un número par” ~ q: “15 no es un número primo” (V)
  • 18. DESARROLLO TEMÁTICO 3. r: “Colombia se encuentra en Suramérica” En la frontera Nororiental de Colombia, se tiene un archivo maestro que contiene los registros de los vehículos colombianos y extranjeros que pasan por allí, marcados con los distintivos, Placa C , si es colombiano y placa E , si es extranjero. Se quiere saber, ¿Cuántos vehículos colombianos han pasado por allí? (V) ~ r: “Colombia no se encuentra en Suramérica” (F) 4. Una interpretación de la negación, desde el punto de vista de la programación de computadores, puede hacerse con la ejecución del siguiente programa. En el programa a realizar genero la proposición: p: “Placa E ” Si es (F) ( leo registro). ~ p: “La placa no es E “ Si es (V) (sumo 1 a acumulador y leo registro).
  • 19. DESARROLLO TEMÁTICO Obsérvese que la lámpara se enciende cuando el interruptor está cerrado, v eamos: Una interpretación de la negación desde el mundo físico, puede hacerse con un circuito de interruptores simple , para controlar el encendido de una lámpara . Θ O Pila Circuito con interruptores simple Lámpara encendida p = 0 ~p = 1 La compuerta inversora que representa la negación recibe el nombre de NOT y tiene el siguiente símbolo: Entrada Salida p p NOT
  • 20. DESARROLLO TEMÁTICO 4. LA PROPOSICIÓN CONDICIONAL O IMPLICACIÓN.- - Forma gramatical .- Si…Entonces… - Símbolo lógico.- La condicional o implicación es la combinación de dos proposiciones unidas por la conectiva, “Si…Entonces…” . VALOR DE VERDAD DE LA CONDICIONAL O IMPLICACIÓN .- Sólo es falsa cuando su Antecedente es Verdadero y el Consecuente falso, en los demás casos la condicional es verdadera. La proposición que aparece entre las palabras, “Si y Entonces”, se denomina Antecedente o Hipótesis y la que aparece después de la palabra “Entonces”, se llama Consecuente o Conclusión . NOTA.- Esta proposición condicional, juega un papel muy importante en las demostraciones matemáticas en cuanto a teoremas y demás.
  • 21. DESARROLLO TEMÁTICO Ejemplo : TABLA DE VERDAD DE LA CONDICIONAL O IMPLICACIÓN p q p q V V F F V F V F V F V V Un candidato a la presidencia de la República promete : Si salgo electo presidente, recibirán un 50% de aumento en su sueldo. Proposiciones: p:”Salgo electo presidente”. q:“Recibirán un 50% de aumento en su sueldo”. Condicional : p q:”Si salgo electo presidente entonces recibirán un 50% de aumento en su sueldo”. De acuerdo a este ejemplo, la interpretación que le damos a la tabla de verdad es la siguiente:
  • 22. DESARROLLO TEMÁTICO TABLA DE VERDAD DE LA CONDICIONAL O IMPLICACIÓN p q p q V V F F V F V F V F V V Si p = V (Salió electo) y q = V (Reciben un 50% de aumento) ; por lo tanto p q = V (significa que el candidato dijo la verdad en la campaña). Si p = V (Salió electo) y q = F (No reciben un 50% de aumento) ; Por lo tanto p q = F (significa que el candidato mintió). Si p = F (No salió electo) y q = V (Reciben un 50% de aumento); por lo tanto p q = V (Significa que aunque no salió electo, hubo un aumento del 50% en sueldos, por lo tanto, tampoco mintió. Es trivialmente verdadero). Si p = F (No salió electo) y q = F (No reciben un 50% de aumento); por lo tanto p q = V ( significa que tampoco mintió porque no salió electo).
  • 23. DESARROLLO TEMÁTICO Ejemplos: p: “Resolvemos la tarea “. p: “La demanda crece”. p q: “Si la demanda crece entonces las compañías se expanden”. p q: “Si resolvemos la tarea entonces aprenderemos la lección”. p: “Vamos a la fiesta”. q: “Las compañías se expanden”. q: “Aprenderemos la lección”. q: “No nos acostaremos temprano”. p q: “Si vamos a la fiesta entonces no nos acostaremos temprano”. Recíproca y Contrarecíproca de un Condicional.- A partir de la proposición p -> q, podemos obtener otras dos condicionales de gran aplicación. a). q -> p , la cual se denomina la Recíproca de p -> q. b). ~ q -> ~ p , la cual se denomina la Contrarecíproca de p -> q.
  • 24. DESARROLLO TEMÁTICO 5. PROPOSICIÓN BICONDICIONAL O DOBLE IMPLICACIÓN.- - Forma gramatical .- - Símbolo lógico.- La Bicondicional o Doble Implicación es una proposición que se obtiene al unir dos proposiciones simples mediante el conectivo, “Si y Sólo Si”. VALOR DE VERDAD DE LA BICONDICIONAL .- Esta es sólo verdadera cuando las dos proposiciones que la forman tienen el mismo valor de verdad. … Si y Sólo Si… ↔
  • 25. DESARROLLO TEMÁTICO Ejemplos : TABLA DE VERDAD DE LA BICONDICIONAL p q V V F F V F V F V F F V p: “x es par”. p ↔ q:”x es par si sólo si x es divisible por 2”. p:”Es buen estudiante”. q:“Tiene promedio de 4”. p ↔ q:“Es buen estudiante si y sólo si tiene promedio de 4”. p ↔ q:”Londres está en Inglaterra si y sólo si Paris está en Francia”. p:” Londres está en Inglaterra”. p ↔ q q:”x es divisible por 2”. q:” Paris está en Francia”.
  • 26. DESARROLLO TEMÁTICO NOTA.- Toda Bicondicional puede descomponerse en dos condicionales de de la siguiente manera: p ↔ q (p -> q) Λ (q -> p) Ejemplo: “ Si x es Par entonces x es divisible por 2” Y “ Si x es divisible por 2 entonces x es par”. “ Si es un buen estudiante entonces tiene promedio de 4” Y “ Si tiene promedio de 4 entonces es un buen estudiante”. “ Si Londres está en Inglaterra entonces Paris está en Francia” Y “ Si Paris está en Francia entonces Londres está en Inglaterra”.
  • 27. DESARROLLO TEMÁTICO LOS SIGNOS DE AGRUPACIÓN.- Dentro de la lógica proposicional los signos de agrupación como: ( ) , [ ] , { } sirven para separar una proposición de otra, permitiendo identificar en una proposición compuesta el Conector Dominante o Conector Principal o conector determinante . En la proposición compuesta p Λ (q V r) el conector principal es Λ . En la proposición compuesta (p -> q) ↔ (~q -> ~p) el conector principal es ↔ . Ejemplo: En la proposición compuesta p ->(p V r) el conector principal es -> . En la proposición compuesta {[(p Λ q) V r ] Λ ~ q} V q el conector principal es V .
  • 28. DESARROLLO TEMÁTICO VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS .- Determinar el valor de verdad de la siguiente proposición compuesta: (~ p Λ q) ↔ (p -> ~ r) , teniendo en cuenta que ,“ p ” es falsa, “ q “ es verdadera y “ r “ es verdadera. En la determinación de valores de verdad de proposiciones compuestas, se nos puede presentar el caso de plantearnos la proposición y luego darnos a conocer el valor de verdad de cada una de las proposiciones simples que la componen. Ejemplo: (~ p Λ q) ↔ (p -> ~ r) V V V F F V V
  • 29. DESARROLLO TEMÁTICO Ejemplo: Elabore la tabla de verdad para: (~p Λ q) ↔ (p -> ~ r) El otro caso, es el de elaborar una tabla de verdad, que nos indique todas las diferentes combinaciones de valores de verdad, que puedan presentarse, de acuerdo al número de variables contenidas por la proposición dada. p q r ( ~ p Λ q ) ↔ ( p -> ~ r ) V V V F F F F V V F F V V F F V V F V F V F V F F F F F V V V V V V F F V V F F V V V V F F F F F V F V F V F V F F F F V V F F F V F V V V V V F V F V V F F V