Lógica matemática
Enviado por raxody • 13 de Noviembre de 2022 • Informe • 1.195 Palabras (5 Páginas) • 75 Visitas
Maracay 01-06-2022
UNEFA
Lógica matemática
Profesora: Osneyda Mujica
Estudiante: Raxody Cedeño CI 26866539
Comprobar las siguientes afirmaciones o premisas a través de tablas de verdad, utilizando los operadores lógicos y los modelos: Modus Ponens, Modus Tollens
- No esta lloviendo
-p : no esta lloviendo
P : esta lloviendo
P | -P | -(-P) |
V | F | V |
F | V | F |
- –P P (1) P [pic 1] -P [pic 2]
- -P (2)-P
- -P (MTT 1,2) (3) -P
- Esta lloviendo y esta nublado
P: esta lloviendo
q: esta nublado[pic 3]
P | q | p q |
V | V | V |
V | F | F |
F | V | F |
F | F | F[pic 4] |
[pic 5]
- P q (1) P q
- P (2) ⌐p
- G (MPP 1,2) (3) ⌐g (MTT 1,2)
- Esta soleado
P: esta soleado
⌐p: no esta soleado
P | ⌐P | ⌐(⌐P) |
V | F | V |
F | V | F |
(1)P ⌐P (1)P [pic 6] ⌐P[pic 7]
(2) P (2) ⌐P
(3) P (MPP 1.2) (3)⌐p (MTT 1.2)
4)Si esta soleado; entonces es de dia
P: esta soleado
Q:es de dia
p | q | p͢͢͢ ͢ q[pic 8] |
V | V | V |
V | F | F |
F | V | v |
F | F | V |
(1)P q (1) P q [pic 9][pic 10]
(2) q (2) ⌐q
(3) q (MPP 1,2) (3) ⌐q (MTT 1,2)
5)Esta nublado pero no hay nubes visibles
P: esta nubldo
Q:no hay nubes
p | q | p q[pic 11] |
v | v | V |
V | F | V |
F | v | F |
F | F | V |
- P ⌐Q (1) P ⌐Q[pic 12][pic 13]
- G (2)⌐G
- G (MPP 1,2) (3) ⌐G (MTT 1,2)
6)Esta soleado, esta nublado
...