1.) Identifica las proposiciones simples, y expresa nuevamente en lenguaje simbólico, identifica las premisas y determina de ser posible los valores de verdad de las proposiciones simples.
Enviado por samandres24 • 11 de Abril de 2016 • Tarea • 336 Palabras (2 Páginas) • 299 Visitas
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
LOGICA MATEMATICA
natural de tres proposiciones simples:
1.) Identifica las proposiciones simples, y expresa nuevamente en lenguaje simbólico, identifica las premisas y determina de ser posible los valores de verdad de las proposiciones simples.
Expresión:
“Si el piso esta mojado y resbaloso es porque ha llovido”.
Proposiciones:
p = el piso esta mojado
q = el piso esta resbaloso
r = ha llovido
Lenguaje simbólico:
(p Λ q)→r
Premisas:
El piso esta mojado y el piso esta resbaloso.
Ha llovido.
Tabla de verdad
p[pic 1] | q | r | (p Λq) | (p Λ q)→ r |
1 | 1 | 1 | 1 | 1 |
1[pic 2] | 1 | 0 | 1 | 0 |
1[pic 3] | 0 | 1 | 0 | 1 |
1[pic 4][pic 5] | 0 | 0 | 0 | 1 |
0 | 1 | 1 | 0 | 1 |
0[pic 6][pic 7] | 1 | 0 | 0 | 1 |
0 | 0 | 1 | 0 | 1 |
0[pic 8] | 0 | 0 | 0 | 1 |
[pic 9][pic 10][pic 11][pic 12][pic 13][pic 14][pic 15]
[pic 16]
2.) Construye una tabla de verdad función lógica f = (p v ~q) v (p → r)
p[pic 17][pic 18] | q[pic 19] | r[pic 20][pic 21] | ~q | (p v ~q)[pic 22] | (p → r)[pic 23][pic 24] | (p v ~q) v (p → r)[pic 25] |
1[pic 26] | 1 | 1 | 0 | 1 | 1 | 1 |
1[pic 27] | 1 | 0 | 0 | 1 | 0 | 1 |
1[pic 28] | 0 | 1 | 1 | 1 | 1 | 1 |
1[pic 29] | 0 | 0 | 1 | 1 | 0 | 1 |
0[pic 30] | 1 | 1 | 0 | 0 | 1 | 1 |
0[pic 31] | 1 | 0 | 0 | 0 | 1 | 1 |
0[pic 32][pic 33] | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 0 | 0 | 1 | 1 | 1 | 1 |
[pic 34]
...