TRABAJO INDIVIDUAL LOGICA MATEMATICA
Enviado por elopezgua • 10 de Marzo de 2020 • Informe • 535 Palabras (3 Páginas) • 190 Visitas
UNIDAD 1 PASO 2
TRABAJO INDIVIDUAL
LOGICA MATEMATICA
JHOSUA ANTONIO ROBLEDO
GRUPO: 90004_640
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD.
ADMINISTRACIÓN DE EMPRESAS
CIENCIAS ADMINISTRATIVAS, CONTABLES, ECONÓMICAS Y DE NEGOCIOS
2017
- Escriba la proposición compuesta propuesta en lenguaje natural y determine su valor de verdad, a partir del valor de verdad de cada proposición simple:
C. [pic 1]
[pic 2]
[pic 3]
[pic 4]
Lenguaje natural
Colombia es un estado unitario social, democrático de derecho, por lo tanto, la actual constitución fue la establecida de 1886 o la actual constitución fue la establecida en 1991 y Colombia es un estado unitario social, democrático de derecho.
r | p | q | (r Ʌ p) | q V (r Ʌ p) | r →(q V (r Ʌ p)) |
v | v | v | v | v | v |
v | v | f | v | v | v |
v | f | v | f | v | v |
v | f | f | f | f | f |
f | v | v | f | v | v |
f | v | f | f | f | v |
f | f | v | f | v | v |
f | f | f | f | f | v |
A partir de la tabla de verdad tenemos una contingencia, por lo tanto, el valor de verdad es Falso.
Valor de verdad.
[pic 5]
[pic 6][pic 7]
Por lo tanto
r | p | q | (r Ʌ p) | q V (r Ʌ p) | r →(q V (r Ʌ p)) |
v | f | f | f | f | f |
[
Tarea 2: Tablas de verdad
- Cada solución de los siguientes enunciados debe contar con las siguientes etapas:
- Expresión en lenguaje simbólico.
- Desarrollo mediante tablas de verdad
- Uso del simulador Truth Table.
C. Soy organizado con mi tiempo y desarrollo las actividades de lógica matemática. Apruebo el curso de lógica matemática. Por lo tanto, soy organizado con mi tiempo o no apruebo el curso de lógica matemática.
Preposiciones
Soy organizado con mi tiempo.
Desarrollo las actividades de lógica matemática.
Apruebo el curso de lógica matemática.
Ternemos 3 variables por lo tanto [pic 8]
Lenguaje simbólico
P=Soy organizado con mi tiempo.
Q=Desarrollo las actividades de lógica matemática.
R=Apruebo el curso de lógica matemática.
[pic 9]
Representación de tabla de verdad
P | Q | R | _R | (P n Q) | (P n Q)nR | (P u -R) | ((P n Q)nR)->(P U -R)) |
v | v | v | f | v | v | v | v |
v | v | f | v | v | f | v | v |
v | f | v | f | f | f | v | v |
v | f | f | v | f | f | v | v |
f | v | v | f | f | f | f | v |
f | v | f | v | f | f | v | v |
f | f | v | f | f | f | f | v |
f | f | f | v | f | f | v | v |
Comprobación en simulador
[pic 10]
...