PROPOSICIONES

-1

No comments posted yet

Comments

Slide 1

Elementos de lógica U. Diego Portales Prof. Haroldo Cornejo O.

Slide 2

Objetivos generales Presentar intuitivamente los principios del razonamiento lógico e introducir los conceptos de teorema y demostración matemática en ámbitos variados; particularmente en: la lógica simbólica (o modelo de los enunciados), la teoría de conjunto (o modelo cualitativo del universo), y en los conjuntos numéricos conocidos.

Slide 3

INTRODUCCION La matemática estudia las propiedades de ciertos objetos, tales como números, operaciones, conjuntos, etc. Es necesario por lo tanto contar con un lenguaje apropiado para expresar estas propiedades de manera precisa. Desarrollaremos aquí un lenguaje que cumpla estos requisitos, al cuál llamaremos lenguaje matemático.

Slide 4

LENGUAJE MATEMATICO El lenguaje matemático está formado por una parte del lenguaje natural, al cuál se le agregan variables y símbolos lógicos que permiten una interpretación precisa de cada frase.

Slide 5

Proposiciones. Llamaremos proposiciones a aquellas frases del lenguaje natural, las cuales podamos afirmar que son verdaderas o falsas. Ejemplos de proposiciones: Dos es par Tres es mayor que diez Tres más cuatro es nueve

Slide 6

Se usan letras minúsculas p, q, r, s,...etc., para denotar proposiciones simples o atómicas. Una proposición es simple o atómica, si ninguna parte de ella es a su vez una proposición. Ejemplos de proposiciones simples o atómicas: “Dos es un número par". "Tres es mayor que cuatro". "Tres más cinco es mayor que cuatro".

Slide 7

La propiedad fundamental de una proposición, es que ella puede ser verdadera o falsa, pero no ambas cosas a la vez. El valor de verdad de una proposición simple depende exclusivamente del enunciado de la proposición. “Dos es un número par". "Tres es mayor que cuatro". "Tres más cinco es mayor que cuatro". Es verdadero. Es Falso. Es verdadero.

Slide 8

Algunos enunciados o proposiciones son compuestos, es decir, están formados de proposiciones simples y de conectivos que los unen. 2 es un número entero y es positivo Si llueve, el piso se moja Si es un entero, entonces es real Si estudio y hago los ejercicios, entonces apruebo y paso de curso

Slide 9

El valor de verdad de una proposición compuesta depende completamente del valor de verdad de cada proposición simple y del modo como se les reúne o conecta para formar la proposición compuesta.

Slide 10

Conectivos Negación. Es aquel conectivo que niega la proposición, y normalmente se utiliza anteponiendo “no”, o anteponiendo la frase es falso que. Simbólicamente la negación se puede representar en lenguaje matemático, de tres formas diferentes:   I.- Anteponiendo el símbolo “” . “ p” significa “no p”. II.- Sobreponiéndole una barra “ p “ III.- Anteponiendo el símbolo “” . “ p” significa “no p”.

Slide 11

Conjunción. Es aquel conectivo que une dos proposiciones, incluyéndolas obligatoriamente a ambas. Se utiliza “y” como conectivo de conjunción. "dos es par y tres es impar Simbólicamente la conjunción “y” se representa en lenguaje matemático con el símbolo  y  

Slide 12

Disyunción. Es aquel conectivo que une dos proposiciones ofreciendo una alternativa entre una proposición o la otra, así como también ofrece la posibilidad que sean ambas. "dos es mayor que siete o siete es mayor que dos". La proposición está compuesta por las proposiciones simples "dos es mayor que siete" junto con " siete es mayor que dos", conectadas por la palabra "o“, que constituye el conectivo de disyunción, y su símbolo es “”

Slide 13

DISYUNCIÓN EXCLUYENTE Es la disyunción pero que su valor de verdad acepta una sola proposición como verdadera. No pueden ocurrir las dos proposiciones al mismo tiempo. Ejemplo: Me caso con Rosita o con Doris Hoy a las 3 voy al Parque Arauco o al Alto Las Condes. Su notación es: p q

Slide 14

Implicación o Condicional Es aquél conectivo en el que se establece una condición para que se cumpla la otra proposición. normalmente se establece como: “Si se cumple p, entonces se cumple q” p  q

Slide 15

Bicondicional o doble implicancia. Es aquel conectivo de la forma: “se cumple p si y solamente si se cumple q”. Esto significa que también se cumple la situación inversa, es decir que como se cumple q, también se cumple p p  q”.

Slide 16

Valores de verdad de la negación: V F V F

Slide 17

Valores de verdad de la conjunción: V F V F F V F V V F F F

Slide 18

Valores de verdad de la disyunción: V F V V F F F V V V V F

Slide 19

Valores de verdad Disyunción excluyente V F V V F F F V F V V F

Slide 20

Valores de verdad de la implicancia: F V V V F V F F V F V V

Slide 21

Valores de verdad de la bicondicional: F V V V F V F F V F F V

Slide 22

Verdad lógica o Tautología. Son aquellas proposiciones que siempre son verdad, sin importar los valores de verdad de las proposiciones que la componen.

Slide 23

Consideremos la proposición ((p  q)  p) F V V V F V F F V F F F V V V V

Slide 24

Contingencia Son aquellas proposiciones que pueden ser verdad o falso, dependiendo de los valores de verdad de las proposiciones que le componen.

Slide 25

Contradicciones. Son aquellas proposiciones que siempre son falsas, sin importar los valores de verdad de las proposiciones que la componen.

Slide 26

Álgebra de proposiciones

Slide 27

Verdades lógicas usuales. Ley de Idempotencia p  p  p p  p  p Ley Asociativa (p  q )  r  p  (q  r) (p  q)  r  p  (q  r) Ley Conmutativa p  q  q  p p q  q  p

Slide 28

Ley Distributiva Ley de Identidad p  F p  V p  V p  F Leyes de DeMorgan  (p  q)  (p  r)  (a  b) + (a  c) a  (b + c ) p  (q  r) p  (q  r)  (p  q)  (p  r)  F  p  V  p Implicancia

Slide 29

Ley de Absorción p  (p  q)  p p  (p  q)  p Leyes del Complemento

Slide 30

Utilizando las equivalencias lógicas Implicancia Negación DeMorgan

Slide 31

Utilizando las equivalencias lógicas Implicancia distribución distribución F q q    ( ) V q F  q  ( )  q  q F  q

Slide 32

((p  q)  p)  q ((p  q)  (q  r))  (p  r) ((p  q)  (q  r))  (p  r) (p  q)  (  q) (p  q)  (p  q)  (q  p) ((p  q)  (q  r)  (r  p))  ((p  q)  (q  r)) ((p  q)  (  q))  q ((p  q)  (r  q))  ((p  q)  q) ((p  (q  r))  ((p  q)  (p  r)) ((p  (q  r))  ((p  q)  (p  r)) ((p  r)  q))  (p  (r  q)) Proposiciones lógicamente verdaderas

Slide 33

Modus Ponendo Ponens p∧ (p  q)  q Si llueve la calle se moja. Llovió, entonces la calle se mojó Si el impuesto a la bencina baja, gastamos menos dinero en transportarnos. El impuesto bajó, entonces gasto menos dinero. El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa, “afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q).

Slide 34

Modus Tollendo Tollens (p  q) ∧  q   p             ‘Tollendo tollens’ significa “negando, niego”, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar. Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse. Si aumenta el I.V.A. los presios suben. Los precios no han subido, por lo tanto el I.V.A. no ha aumentado.

Slide 35

MODUS TOLLENDO PONENS (TP) si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado, ya que uno de los términos de la elección ha sido descartado. Si ( p  q )   q  p Fue al cine o de compras. No fue de compras, entonces fue al cine

Summary: En este trabajo de realiza una descripción de las partes de las proposiciones y los cuantificadores en las proposiciones.

Tags: proposiciones - partes cuantificadores

URL:
More by this User
Most Viewed
Previous Page Next Page
PROPOSICIONES
PROPOSICIO...
 
 
 
Previous Page Next Page