Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Estudiante
Código: 1077449739
Grupo:
200611_1873
Tutor
2019
Introducción
Analizando sus componentes, las formas en las que se combinan y diferentes métodos para
realizar demostraciones básicas. Enfocándose en un tipo específico de lógica proposicional
donde el valor de verdad de las expresiones se puede determinar exclusivamente a partir de
los valores de verdad de sus componentes y donde cada proposición puede tener
únicamente dos valores posibles: verdadero o falso, pero no otros valores y solamente uno
de ellos (las proposiciones no pueden ser falsas y verdaderas al mismo tiempo).
Objetivos
. todos x – todo x
. para cada x
. cada x
. cada uno x
. siempre que x
. cualquiera x
. para todo x
Ejemplo 1: se desea representar la expresión “todas las personas tienen una ilusión “. Para
este caso se identifica el predicado “tienen una ilusión “, entonces p (x) significa que x
tiene una ilusión. La palabra “todas las personas” indica que esto se aplica para todas las x.
Representado
Ejemplo 2: para La Expresión "todos los Bogotanos, son colombianos”. En este caso
específico nuestra preposición estará representada por la letra (q). Ahora bien,
identificamos el predicado "los Bogotanos son colombianos, entonces q (x) significa que x
Bogotanos son colombianos. la palabra "todos" indica que es para todos los x.
Representado
Para las proposiciones simples, mencionadas anteriormente les asignaremos las siguientes
letras.
1. (p)
2. (q) formula:
3. (r)
. Generar una tabla de verdad con el simulador lógica UNAD a partir del lenguaje
simbólico
. Generar una tabla de verdad manual, a partir del lenguaje simbólica y determinar si el
resultado es una tautología, contingencia o contradicción.
Debido al resultado obtenido en esta tabla de verdad podemos determinar que el resultado
es una contingencia, debido a la variedad en los resultados de verdaderos y falso.
Ejercicio 3:
R/ como podemos observar en la tabla anterior, nos encontramos con una contingencia;
debido a la variedad de resultados falsos y verdaderos.
Conclusión
(s.f.). https://es.slideshare.net/ppsmatematica/cuantificadores-37426724.
(s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591.
(s.f.). https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional.
(s.f.).
(s.f.). (s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591.
(s.f.).
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=
3226457&tm=1529246259924.
(s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID
=3199701&tm=1529335849013.
(s.f.).
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docI
D=3199701&tm=1529510366591.
(s.f.). http://hdl.handle.net/10596/7961.
(s.f.). http://hdl.handle.net/10596/13871.
(s.f.). http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473069.
Cuantificadores