Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 178 vistas

    Logica Basica para Programacion

    Cargado por

    Innovation45
    Este documento describe conceptos básicos de lógica, incluyendo: 1) Proposiciones como afirmaciones verdaderas o falsas; 2) Proposiciones simples y compuestas; y 3) Tablas de verdad y operadores lógicos como la negación, disyunción, conjunción, implicación y doble implicación.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd

    Logica Basica para Programacion

    Cargado por

    Innovation45
    178 vistas14 páginas
    Este documento describe conceptos básicos de lógica, incluyendo: 1) Proposiciones como afirmaciones verdaderas o falsas; 2) Proposiciones simples y compuestas; y 3) Tablas de verdad y operadores lógicos como la negación, disyunción, conjunción, implicación y doble implicación.

    Título original

    logica basica para programacion

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento describe conceptos básicos de lógica, incluyendo: 1) Proposiciones como afirmaciones verdaderas o falsas; 2) Proposiciones simples y compuestas; y 3) Tablas de verdad y operadores lógicos como la negación, disyunción, conjunción, implicación y doble implicación.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    178 vistas14 páginas

    Logica Basica para Programacion

    Cargado por

    Innovation45
    Este documento describe conceptos básicos de lógica, incluyendo: 1) Proposiciones como afirmaciones verdaderas o falsas; 2) Proposiciones simples y compuestas; y 3) Tablas de verdad y operadores lógicos como la negación, disyunción, conjunción, implicación y doble implicación.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    de 14

    Lgica

    Proposicin
    Llamaremos de esta forma a cualquier afirmacin que sea verdadera o falsa, pero no ambas
    cosas a
    la vez.
    Ejemplo 1.1 Las siguientes afirmaciones son proposiciones.
    (a) 2<5
    (b) 6 es un nmero primo.
    (c) 3+2=6
    (d) 1 es un nmero entero, pero 2 no lo es.
    Nota 1.1 Las proposiciones se denotan con letras minsculas, p, q, r . . . . . .
    p : 2 es un nmero real
    q: 7>12
    r: 12=17
    Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras.
    Las siguientes no son proposiciones.
    (a) 7
    (b) Te vas?
    (c) Compra cajas
    (d) 6-7

    Lgica
    Las proposiciones las clasificaremos en abiertas y
    cerradas
    Cuando involucra una variable diremos que es una
    proposicin abierta y dependiendo del valor que
    toma la variable ser verdadera o falsa.
    Todos los ejemplos anteriores son proposiciones
    cerradas.
    Ejemplos de proposiciones abiertas
    a) x+y<5
    b) Y-2>6
    c) 2x+2y>z

    Lgica
    proposicin Compuesta
    Si las proposiciones simples p, q, r. . . , se combinan
    para formar la proposicin P, diremos que P es una
    proposicin compuesta de p,q ,r. . . ,.
    Ejemplo
    a) x>5, y>3,z<8
    b) x+y<3 o y-x>9
    La propiedad fundamental de una proposicin
    compuesta es que su valor de verdad esta
    completamente determinado por los valores de
    verdad de las proposiciones que la componen junto
    con la forma en que estn conectadas.

    logica
    Tablas de Verdad
    La tabla de verdad de una proposicin compuesta P
    enumera todas las posibles combinaciones de los
    valores de verdad para las proposiciones p, q,r . . . ,
    Los conectivoslgicos(operadores)
    son Y (para laconjuncin) ,
    O (para ladisyuncininclusiva),
    SI ENTONCES (para la implicacin o condicional),
    SI Y SOLO SI (para la doble implicacin
    obicondicional).
    No (para la negacin )

    Negacin
    P

    ~p

    Ejemplo
    p:3 es un numero entero positivo (v)
    ~p: no es verdad que 3 sea un
    numero entero positivo(f)

    Disyuncin(v)
    p

    pvq

    Ejemplo
    p:x Q
    q:y<-5
    P:xQ o y<-5
    Para x=-1
    P:p v q
    P es V ya que V v F es V

    Conjuncin
    (^)

    Ejemplo
    p:x>3
    q:x<5
    P :x>3 y x<5
    P:p^q
    para x=6 P:v^F
    P es F

    p^ q

    Implicacin
    p

    p ENTONCES q

    Doble implicacin
    p

    p SI Y SOLO SI q

    Notacin booleana
    Otra forma de representar V y F es
    utilizando 1 y 0 respectivamente. Esta
    representacin la llamaremos notacin
    booleana.

    Tautologa
    Se entiende por proposicin
    tautolgica, o tautologa, aquella
    proposicin que en todos los casos
    posibles de su tabla de verdad su
    valor siempre es V(1)

    Contradiccin
    Se entiende por proposicin
    contradictoria, o contradiccin,
    aquella proposicin que en todos los
    casos posibles de su tabla de verdad
    su valor siempre es F(1)

    Contingencia
    Se entiende por verdad contingente,
    o verdad de hecho, aquella
    proposicin que puede ser verdadera
    o falsa, segn los valores de las
    proposiciones que la forman

    Tarea para entregar mircoles


    28/I/15

    1)Determinar el valor de las siguientes proposiciones en


    notacin booleana y determinar si es una Tautologa
    contradiccin o Contingencia
    1) ~ (~pvq)v [ ( p ~q) ]
    2)( p v r)^ ( qv r)
    3) [r ( qv p)]v (p~q)
    2)Sea p : x es un numero real positivo
    q: y < 6
    r: x es un irracional
    Determinar el valor de verdad para la proposicin
    [ r v(q^ p)]v ( ~pv~q) para dos grupos de datos:
    a) x=-2 y=5
    b) x= y=-7

    También podría gustarte