Lógica

Lógica formal. Predicados. Tabla de la verdad. Conectivas. Tautología. Contingencia. Contradicción. Falacia. Inducción matemática

  • Enviado por: Uriel Ortega
  • Idioma: castellano
  • País: México México
  • 3 páginas
publicidad

UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR

ÁREA INTERDISCIPLINARIA DE CIENCIAS DEL MAR

LICENCIATURA EN SISTEMAS COMPUTACIONALES

LÓGICA EXÁMEN UNIDAD I

Alumno:

  • ¿Cuál de las siguientes proposiciones es la negación de la proposición “2 es par y -3 es negativo”?

  • 2 es par y -3 no es negativo

  • 2 es impar y 3 no es negativo

  • 2 es par o -3 es no negativo

  • 2 es impar o -3 es no negativo

  • p= 2 es par = 2 no es par 2 es impar y -3 no es negativo

    q= -3 es negativo = -3 no es negativo

  • Siendo las siguientes proposiciones p: Hoy es lunes; q: El pasto está mojado; y r: El plato se fue con la cuchara,

  • Escriba cada una de las siguientes proposiciones en términos de p, q, r y conectivos lógicos:

  • i. Hoy es lunes y el plato se fue con la cuchara

    ii. El pasto está mojado u hoy es lunes

    iii. Hoy no es lunes y el pasto está seco

    iv. El plato se fue con la cuchara, pero el pasto esta mojado

  • Escriba una oración que corresponda a cada una de las siguientes proposiciones:

  • i. El plato no se fue con la cuchara y el pasto esta mojado

    ii. El pasto no esta mojado o hoy es lunes

    iii. Hoy no es lunes o el pasto no esta mojado

    iv. Hoy es lunes o el plato no se fue con la cuchara

  • Haga la tabla de verdad para cada una de las siguientes proposiciones:

  • a.

    b.

  • p q r

    v v v

    v v f

    v f v

    v f f

    f v v

    f v f

    f f v

    f f f

    v

    v

    v

    v

    v

    v

    f

    f

    v

    f

    v

    f

    v

    f

    f

    f

    b.

    p q r

    v v v

    v v f

    v f v

    v f f

    f v v

    f v f

    f f v

    f f f

    f

    f

    f

    f

    v

    v

    v

    v

    f

    v

    f

    v

    f

    v

    f

    v

    v

    v

    f

    v

    v

    v

    f

    v

    f

    v

    f

    v

    f

    v

    f

    v

  • Sean p, q y r las siguientes preposiciones: p: Estudiaré estructuras discretas; q: Iré a un cine; y r: estoy de buen humor.

  • Escriba las siguientes proposiciones en términos de p, q , r y conectivos lógicos:

  • Si no estoy de buen humor, entonces iré a un cine

  • ii. No iré a un cine y estudiaré estructura discretas

    iii. Iré a un cine sólo si no estudio estructura discretas

    iv. Si no estudio estructura discretas, entonces no estoy de buen humor

  • Escriba oraciones que correspondan a las siguientes proposiciones:

  • i. Si no estudiaré estructuras discretas e iré a un cine entonces estoy de buen humor

    ii. Si estoy de buen humor entonces estudiaré estructura discretas o iré a un cine

    iii. Si no estoy de buen humor entonces iré a un cine o estudiaré estructuras discretas

    iv. Si y solo si iré a un cine y no estudiaré estructuras discretas si estoy de buen humor

  • Construya tablas de verdad para determinar si cada una de las siguientes proposiciones son una tautología, una falacia o una contingencia:

  • a. Falacia

    b. Contingencia

    c. Contingencia

    d. Contingencia

    a. b.

    p

    v

    f

    f

    v

    f

    f

    p q

    v v

    v f

    f v

    f f

    v

    f

    f

    v

    v

    f

    v

    f

    c. d.

    p q

    p q

    v v

    v f

    f v

    f f

    f

    v

    f

    v

    f

    v

    f

    f

    v

    v

    v

    f

    v v

    v f

    f v

    f f

    v

    f

    f

    f

    f

    f

    v

    v

    f

    f

    v

    f

    v

    f

    v

    f

  • Demuestre que la suma de dos numeros pares es par

  • n=2r p= n+s= (2r+2t)= = 2x

    s= 2t

  • Por inducción matemática, establezca un modelo y pruébelo, para Sn= 0,3,8,15,24,....

  • (1)2-1= 1-1= 0 (4)2-1= 16-1= 15

    (2)2-1= 4-1= 3 (5)2-1= 25-1= 24

    (3)2-1= 9-1= 8