Resumiendo:
****Quedó claro que la Disyunción y la Conjunción en PHP necesitan un Universo del Discurso bien definido y la función es que hemos creado.
****Vemos que PHP maneja la misma tablas de disyunción que nosotros. Reconoce los juicios como afirmativos y negativos y opera la conjunción y la disyunción correctamente.
****No pone los 0 si no se lo pedimos expresamente. Pero está bien así. Es más fácil de leer.

*******Ni bien la vemos, la interpretamos: La disyunción es falsa solamente cuando las dos sentencias son falsas.
*******La conjunción es verdadera solamente cuando las dos proposiciones son verdaderas.
Seguimos insistiendo en las tres conectivas vistas hasta ahora: disyunción conjunción y negador. Son las más importantes y una vez que las dominen, los teoremas y leyes les parecerán fáciles.
*******Además en este práctico daremos las distintas perspectivas de la lógica, como un sistema integrado, que cobra especial importancia en un texto de Prácticas como éste.
*******Y por favor lean de nuevo, ahora, la primer página de este libro: Alfredo Deaño
*******Ya volveremos a la lógica proposicional pero vamos a pasear estas tres conectivas por otros lares.
*******Los teoremos fundamentales del Algebra de Boole
*******Mientras tengamos solo estas tres conectivas no verán diferencia con la Lógica Proposicional. Pero la forma de simbolizar las fórmulas es muchísimo más cómoda:
*******Las letras para los juicios ya no son p, q, r, s etc. sino A, B, C, D, etc.
*******La disyunción se llama SUMA y se simboliza con el signo +
*******Si en L.P. decíamos p V q, en álgebra de Boole decimos A + B.

ir al índice página anterior estás en página 10 página 11