Académique Documents
Professionnel Documents
Culture Documents
Instituto IACC
19 de Diciembre de 2018
1 Desarrollo Control
p : Soy inteligente
q : aprendo lógica
r : estudio lógico
s : me gusta la lógica
Si p entonces q y si r entonces s
FORMULA Filas
A : (p → q) ^ (r → s) 8
(2) = 16 filas
P q r S (p → q) ^ (r → s)
1 1 1 1 1 1 1 1 1 1 1
1 1 1 0 1 1 1 0 1 0 0
1 1 0 1 1 1 1 1 0 1 1
1 1 0 0 1 1 1 1 0 1 0
1 0 1 1 1 0 0 0 1 1 1
1 0 1 0 1 0 0 0 1 0 0
1 0 0 1 1 0 0 0 0 1 1
1 0 0 0 1 0 0 0 0 1 0
0 1 1 1 0 1 1 1 1 1 1
0 1 1 0 0 1 1 0 1 0 0
0 1 0 1 0 1 1 1 0 1 1
0 1 0 0 0 1 1 1 0 1 0
0 0 1 1 0 1 0 1 1 1 1
0 0 1 0 0 1 0 0 1 0 0
0 0 0 1 0 1 0 1 0 1 1
0 0 0 0 0 1 0 1 0 1 0
Es contingencia
1.2 Formula B:
Si aprendo lógica entonces soy inteligente, y si estudio lógica entonces aprendo lógica, por
lo tanto, soy inteligente
P : Aprender lógica
Q : Soy Inteligente
R : Estudio lógica
Si p entonces q, y si r entonces p, por lo tanto, q
FORMULA Filas
B : [(p → q) ^ (r → p)] → q 3
(2) = 8 filas
P Q R [(p → q) ^ (r → p)] → q
1 1 1 1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 0 1 1 1 1
1 0 1 1 0 0 0 1 1 1 1 0
1 0 0 1 0 0 0 0 1 1 1 0
0 1 1 0 1 1 0 1 0 0 1 1
0 1 0 0 1 1 1 0 1 0 1 1
0 0 1 0 1 0 0 1 0 0 1 0
0 0 0 0 1 0 1 0 1 0 0 0
Es contingencia
1.3 Formula C:
Si estudio lógica y no aprendo, entonces no soy inteligente o no me gusta la lógica
P : Estudio lógica
Q : Aprender lógica
r : Soy inteligente
S : Me gusta la lógica
Si p y no q, entonces no r o no s
FORMULA Filas
C : (p ^ ⌐ q)→(⌐r v ⌐s) 4
(2) = 16 filas
1.4 Formula D:
Si me prestas dinero, entonces vamos al cine o al béisbol
P : Prestar dinero
q : Ir al cine
R : Ir al béisbol
Si p, entonces q o r
FORMULA Filas
D : p → (q v r) 3
(2) = 8 filas
P Q R P → (q V R)
1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 0
1 0 1 1 1 0 1 1
1 0 0 1 0 0 0 0
0 1 1 0 1 1 1 1
0 1 0 0 1 1 1 0
0 0 1 0 1 0 1 1
0 0 0 0 1 0 0 0
Es contingencia