Lógica Clase 1

es el estudio del razonamiento, se centra en la relación entre las afirmaciones y no en el contenido de una afirmación en particular, se refiere a:

• Lógica

• Argumentos

• Aritmética

• Valor de verdad

Se usan en la ciencias de la computación para, probar que los programas hacen lo que deben hacer.

• Métodos lógicos

• Operaciones aritméticas

• Teoremas

• Demostración

Suponga el siguiente planteamiento: se asigna a un estudiante el desarrollo de un programa para calcular las trayectorias más cortas entre ciudades. El estudiante empieza a realizar el cálculo de las ciudades una por una manualmente, empieza a enumerar las posibilidades y encontrar la más corta; este método usado es el:

• Lógica

• Fuerza bruta

• Discretización de datos

• Programación

Cuáles son proposiciones:

• x+1=5 si x= 1

  No pasar

  4 +x = 5

• 1 + 1=2

  No pasar

  Responde a esta pregunta

• 4 +x = 5

  ¿Qué hora es?

  x+ y = y + z si = z.

• 1 + 1=2

  2 + 2 = 3

  x+1=5 si x= 1

es Es una oración declarativa que es verdadera o falsa, pero no ambas cosas a la vez:

• Lógica

• Declaraciones

• Proposición

• Métodos

Seleccione el lenguaje simbólico que corresponde a las siguientes proposiciones dada: Me voy a estudiar o me voy a la playa

p: Me voy a estudiar

q: Me voy a la playa

• p o q

Dentro del orden de precedencia que debemos tener presente para aplicar los operadores lógicos, si tengo una negación y una conjunción, se resuelve primero:

• Negación

• Conjunción

• Disyunción

• Implicación

La tabla de verdad que se muestra en la imagen corresponde a:

• Tautología

• Contingencia

• Contradicción

• Proposiciones simples

• La elección se decide y se han contado los votos

• La elección no se decide y no se han contado los votos

• Si la elección se decide entonces se han contado los votos

• La elección se decide si y solo si se han contado los votos