ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Tablas de verdad. Pensamiento Lógico y Matemático


Enviado por   •  24 de Noviembre de 2018  •  Tarea  •  489 Palabras (2 Páginas)  •  804 Visitas

Página 1 de 2

Tarea 1 - Proposiciones y Tablas de Verdad

Estudiante

Ferney Roa Rondón

Docente

Juan Pablo Yaguara

Curso

Pensamiento Lógico y Matemático

Grupo

1056

Yopal - Casanare

Septiembre 23 de 2018

INTRODUCCIÓN

El presente trabajo se desarrolla con el fin de dar solución a los problemas planteados para la unidad 1, que comprenden lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones y contingencias, proposiciones categóricas y cuantificadores.

Se iniciará con la revisión de los contenidos del curso para llevar a cabo la elaboración de una presentación que contenga los temas apropiados sobre la lógica matemática para ingeniería de sistemas y computación, específicamente sobre el tema “Cuantificador Universal”.

Por último, se llevará a cabo la solución de ejercicios de proposiciones, tablas de verdad y problemas de aplicación.

OBJETIVOS

  • Conceptualizar y adquirir conocimientos, así como habilidades para la comprensión y el manejo de las tablas de verdad, silogismos y proposiciones lógicas.

  • Alcanzar destreza operativa en temas básicos de Álgebra y Trigonometría, como aplicación de conceptos teóricos.
  • Resolver problemas con procedimientos específicos.

Actividades a Desarrollar

Ejercicio 1: Conceptualización de Cuantificadores  

Cuantificador Universal.

[pic 3]

Link de acceso:

https://prezi.com/p/vixnpsytqsh7/        

Ejercicio 2: Proposiciones y Tablas de verdad

Voy de vacaciones a San Bernardo del Viento o Voy a Capurgana o viajo a Amazonas.

  • Proposiciones Simples:

p = Voy de vacaciones a San Bernardo del Viento

          q = Voy a Capurgana

r = Viajo a Amazonas

  • Lenguaje Simbólico:

         p ˅ q ˅ r

  • Tabla de la verdad:

p

q

r

p ˅ q

(p ˅ q ) ˅ r

V

V

V

V

V

V

V

F

V

V

V

F

V

V

V

V

F

F

V

V

F

V

V

V

V

F

V

F

V

V

F

F

V

F

V

F

F

F

F

F

  • Simulador Truth Table:

[pic 4]

Ejercicio 3: Problemas de aplicación

{(𝑝⟶𝑞)(𝑟⟶p)}( 𝑝⟶𝑞)  .

  • Definición de las proposiciones simples

p = Juego Fútbol

q = Pateo un balón

r =  Hago goles

  • Lenguaje natural de la expresión formal

Si juego fútbol entonces pateo un balón. Y si hago goles entonces juego fútbol. Por lo tanto, juego futbol entonces pateo un balón

  • Generar la tabla de verdad manualmente

p

q

r

(𝑝⟶𝑞)

(𝑟⟶p)

(𝑝⟶𝑞)(𝑟⟶p)

{(𝑝⟶𝑞)(𝑟⟶p)}( 𝑝⟶𝑞)

V

V

V

V

V

V

V

V

V

F

V

V

V

V

V

F

V

F

V

F

V

V

F

F

F

V

F

V

F

V

V

V

F

F

V

F

V

F

V

V

V

V

F

F

V

V

F

F

V

F

F

F

V

V

V

V

  • Generar la tabla de verdad con el simulador Truth Table

[pic 5]

CONCLUSIONES

  • Cada renglón de la tabla que hace verdadero al enunciado en cuestión determina una condición suficiente para su verdad. En cada renglón, los valores asignados a cada variable proposicional determinan una condición necesaria del renglón.

  • Las tablas de verdad nos ayudan a establecer el valor de verdad de diferentes razonamientos lógicos construidos a partir de la combinación de dos o más enunciados.
  • Los enunciados se identifican con las letras del alfabeto, usualmente las de la segunda mitad del alfabeto: p, q, r, s, t etc.

REFERENCIAS BIBLIOGRÁFICAS

  • Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Recuperado de

  • Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
  • Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado de

...

Descargar como (para miembros actualizados) txt (5 Kb) pdf (409 Kb) docx (193 Kb)
Leer 1 página más »
Disponible sólo en Clubensayos.com