Professional Documents
Culture Documents
Facultad de biologa
Lic. Biologa
Bitcora
BITACORA:
Una persona casada se le puede considerar soltero
Reglas de inferencia
La adjuncin: si representamos con A la proposicin un casado es soltero y con B
soltero es casado, es evidente que si son ciertas por separado tambin lo sern
unidas o conjuntamente; es decir, la conjuncin de ambas, que en forma lineal se
representara: lo cual en forma lineal da origen a la frmula A, B (AB).
Verticalmente sera
B
----AB
La simplificacin: es la contraria de la adjuncin; esto es, "si un casado no se
considera soltero
diferente o dependiente; que en forma lineal se representa por las frmulas: lo cual en
forma lineal da origen a la frmula (AB) A y (AB) B.
Verticalmente sera
AB
-----A
AB
------B