Logica y pensamiento
Enviado por Yoselyndealba • 1 de Noviembre de 2018 • Tarea • 2.255 Palabras (10 Páginas) • 108 Visitas
Corporación Unificada Nacional de Educación Superior
Hernando Barros
Isabela Molina Álvarez
Santa marta
- ( a ˄ b ) -> c A: falso
f v f C: falso
D: verdadero[pic 1][pic 2][pic 3]
f B: verdadero[pic 4]
v
- ~ b ↔ ( c → d ) 3. ~( b ˄ d) ˅ - c 4. ~ a → (a ↔ b)
v f v v v f f f v[pic 5][pic 6][pic 7][pic 8][pic 9][pic 10][pic 11][pic 12][pic 13]
v v[pic 14][pic 15][pic 16]
f v v f[pic 17][pic 18]
[pic 19][pic 20]
f[pic 21]
f f
v
5. (a ˅ d) → ~ (b ˄ c) 6. ~ (a → ~ (c ˄ ~ d))
f v v f f f v[pic 22][pic 23][pic 24][pic 25][pic 26][pic 27][pic 28]
v f f[pic 29][pic 30][pic 31]
v f[pic 32][pic 33]
v v[pic 34]
f
7. b → ~ ((a ˅ c) ˄ (d ↔ a)) 8. ~ (a ˄ b) ↔ ~ (c → d)
v f f v f f v f v[pic 35][pic 36][pic 37][pic 38][pic 39][pic 40][pic 41][pic 42][pic 43]
f f f v[pic 44][pic 45][pic 46][pic 47]
f v f[pic 48][pic 49][pic 50]
v f [pic 51]
v
- (p ˄ ¬ q) ↔ (¬ p ˅ q)
p | q | ¬p | ¬q | p ˄¬q | ¬p˅q | (p ˄ ¬ q)→ (¬p ˅ q) |
v | v | f | f | f | v | v |
v | f | f | v | v | f | f |
f | v | v | f | f | v | v |
f | f | v | v | f | v | v |
- (p ˅ q) ↔ (p ˅ q)
p | q | p ˅ q | p ˅ q | (p ˅ q) ↔ (p ˅ q) |
v | v | f | v | f |
v | f | v | v | v |
f | v | v | v | v |
f | f | f | f | v |
- ¬ (p ˄ q) → (¬p ˅ ¬q)
p | q | ¬p | ¬q | p ˄ q | ¬(p ˄ q) | (¬p ˅ ¬q) | ¬(p ˄q) → (¬p ˅¬q) |
v | v | f | f | v | f | f | v |
v | f | f | v | f | v | f | f |
f | v | v | f | f | v | f | f |
f | f | v | v | f | v | v | v |
...