Lógica matemática y digital, cálculo proposicional
Enviado por 102390 • 31 de Enero de 2021 • Exámen • 1.531 Palabras (7 Páginas) • 113 Visitas
Calculo proposicional
Yohn Cortes O
Lógica matemática y digital
IACC
16/11/2020
Desarrollo:
Teniendo en cuenta las siguientes proposiciones en lenguaje natural, es necesario construir contra parte en lenguaje simbólico:
- Utilice los símbolos de agrupación necesarios según sea su caso.
- p = soy inteligente B. p = aprendo logística
q = aprendo lógica q = soy inteligente
r = estudio lógica r = estudio lógico
s = me gusta lógica ( p → q ) ˄ [ (r →p) →q]
(p → q) ˄ [ (r →s)
C. p = estudio logístico D. p = prestas dinero
q = aprendo lógica q = vamos al cine
r = soy inteligente r = vamos al beisbol
s = me gusta lógica p → (q v r)
(p˄¬ q) → (¬r v ¬ s)
- Verifique si alguna de dicha formula es equivalente lógico de otra, es decir, si dos de estas fórmulas son lógicamente equivalente
A = (p → q) ˄ (r →s)
p | q | r | s | (p→q) | ˄ | (r→s) |
1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 1 | 1 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 | 1 |
1 | 0 | 1 | 1 | 0 | 0 | 1 |
1 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 1 |
1 | 0 | 0 | 0 | 1 | 0 | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 1 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 0 | 1 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 1 |
0 | 0 | 0 | 0 | 1 | 1 | 1 |
B = (p → q) ˄ [ (r →p) →q]
p | q | r | (p→ q) | ˄ | [(r → p) | → | q] |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
C = (p˄¬ q) → (¬r v ¬ s)
p | q | r | s | (¬ q) | (p ˄ ¬ q) | → | ¬ r | ¬ s | (¬ r v ¬ s) |
1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 |
1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 |
|
1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 |
1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 |
0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 |
|
0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
...