Guía de actividades y rúbrica de evaluación – Tarea 1 – Proposiciones y Tablas de Verdad
Enviado por Jhon Seth • 26 de Febrero de 2020 • Trabajos • 892 Palabras (4 Páginas) • 295 Visitas
Guía de actividades y rúbrica de evaluación – Tarea 1 – Proposiciones y Tablas de Verdad
Jabir Andres Suarez Sabogal
Diciembre 2019
Nombre de la institución.
Nombre del departamento.
Nombre de la asignatura
Introduccion
Ejercicio 1: Conceptualización de Cuantificadores
Ejercicio 2: Proposiciones y Tablas de verdad
- Si estudio en la UNAD entonces podré cumplir mis sueños, si y sólo si soy dedicado con mis estudios y aprovecho el acompañamiento académico en los centros.
P: estudio en la UNAD entonces podré cumplir mis sueños
q: soy dedicado con mis estudios
r: aprovecho el acompañamiento académico en los centros.
[(p → q) ↔ r]
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico:
[pic 1]
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción
[pic 2]
- Si pertenezco a la Escuela de Ciencias Básicas de la UNAD, entonces podré graduarme con un proyecto aplicado o un proyecto de investigación
P: Si pertenezco a la Escuela de Ciencias Básicas de la UNAD
Q: entonces podré graduarme con un proyecto aplicado
R: un proyecto de investigación
[(p → q) v r]
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico:
[pic 3]
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción
[pic 4]
- Este periodo matriculé Pensamiento Lógico y Matemático y podré ganar puntos adicionales, si y sólo si, asisto a los Blearning y realizo los talleres bien
p: periodo matriculé Pensamiento Lógico y Matemático
q: podré ganar puntos adicionales
r: asisto a los Blearning y realizo los talleres bien
[(p ^ q ) ↔ r.]
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico:
[pic 5]
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción
[pic 6]
- Los trabajos del curso no se pueden dejar para último momento, entonces los trabajos se deben presentar a tiempo y con eso puedo obtener la retroalimentación del tutor
p: Los trabajos del curso no se pueden dejar para último momento.
q: entonces los trabajos se deben presentar a tiempo.
r: y con eso puedo obtener la retroalimentación del tutor.
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico:
[(~p → q) ^ r]
[pic 7]
Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción
[pic 8]
- Si los cursos en la UNAD se aprueban con 300 puntos, entonces se debe realizar la participación oportuna y realizar a tiempo las actividades o Si no se realizan a tiempo las actividades, entonces no se debe realizar la participación oportuna.
p: Si los cursos en la UNAD se aprueban con 300 puntos
q: entonces se debe realizar la participación oportuna
r: realizar a tiempo las actividades
s: Si no se realizan a tiempo las actividades.
t: no se debe realizar la participación oportuna.
(p → q) ^ r (s v → t)
Ejercicio 3: Problemas de aplicación
A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:
- [(p ⟶ q) ∧ (∼ p ⟶ r)] ⟶ (∼ r ⟶ p)
Si Juan estudia ingles entonces puede pasar el semestre y si no pierde el semestre entonces no puede salir de viajes con sus amigos.
p: Si Juan estudia ingles entonces puede pasar el semestre.
q: si no pierde el semestre entonces
r: puede salir de viajes con sus amigos.
[pic 9]
[pic 10]
- {(p ⟶ q) ∧ (r ⟶ p)} ⟶ ( p ⟶ q)
Si compramos el equipo de sonido entonces podremos escuchar la música de fin de año y entonces podríamos bailar con la familia.
p: compramos el equipo de sonido
q : podremos escuchar la música de fin de año
r: podríamos bailar con la familia.
p | q | r | ((p→q)∧(r→p))→(p→q) |
v | v | v | V |
v | v | f | V |
v | f | v | V |
v | f | f | V |
f | v | v | V |
f | v | f | V |
f | f | v | V |
f | f | f | V |
[pic 11]
- [(p ⟶ q) ∧ (∼ q) ∧ (r ⟶ q)] ⟶ r
Andres viaja a Medellín y no puede comprar automóviles entonces el desea regresarse a New York.
[pic 12]
p | q | r | ((p→q)∧(~q)∧(r→q))→r |
v | v | v | V |
v | v | f | V |
v | f | v | V |
v | f | f | V |
f | v | v | V |
f | v | f | V |
f | f | v | V |
f | f | f | F |
- {[p → (q ∨ r)] ∧ (p →∼ r) ∧ r} → q
p | q | r | ((p→(q∨r))∧(p→~r)∧r)→q |
v | v | v | V |
v | v | f | V |
v | f | v | V |
v | f | f | V |
f | v | v | V |
f | v | f | V |
f | f | v | F |
f | f | f | V |
[pic 13]
...