El condicional (diferencia entre el comando if y la operación lógica)
*** Comentemos la diferencia entre el condicional if de PHP (como todos los sistemas informáticos ) y la operación lógica.
 
p
-->
q
*** ejemplo: Si nació en Montevideo, es uruguayo
0)
0
1
0
*nació en Buenos Aires y es argentino (p falsa, q falsa. no invalida el condicional del ejemplo)
1)
0
1
1
*nació en Tacuarembó y es uruguayo (p falsa, q verdad no invalida el condicional)
2)
1
0
0
*nació en Montevideo y no es uruguayo falso, no puede ser p verdad y q falsa.
3)
1
1
1
*Coincide con el condicional propuesto.
*** Debemos tener presente la tabla del condicional, cuando pretendemos hacer las funciones.
*** En la línea 1) tenemos 0 1 es decir, no hay condición, pero hay consecuencia. Y sin embargo con esos valores, el resultado es verdadero. Dicho de otro modo: en la operación lógica, el condicional es verdadero en las dos primeras líneas donde la condición está ausente, y además puede darse la consecuencia, como vemos en la línea 0 1.
*** Eso jamás puede pasar con un comando. En un comando le hemos dicho a PHP: Si (la operación resulta 1) entonces escriba "verdad". Esto es una orden, un comando, y PHP, ni corto, ni perezoso la cumple, derechito y de buen modo. Pero si la condición no existe, no hay peligro de que escriba verdad. Según el contexto, escribirá 0 o true, pero nunca verdad.
Condicional para tres variables.

*** Para tres variables siguiendo el ejemplo anterior decimos:
*** Si nació montevideano entonces es uruguayo entonces es americano

*** Dentro del paréntesis hay un condicional que ya hemos visto que equivale a (-Q v R)
*** Este paréntesis es ahora la condición para la variable S
*** Entonces lo tenemos que negar, para lograr una fórmula donde un condicional, es condición de la última variable. Nos queda: -(-Q v R) v S
*** Pero, siguiendo con el paréntesis, ahora negado, sabemos por de De Morgan (página 13, ejercicios 17 y 18 ) que una disyunción negada equivale a una conjunción de cada uno de los términos negados.
*** Llegamos a la última fórmula equivalente.
*** Con las tablas de verdad verificamos su equivalencia, ya comprobada en la deducción de fórmulas.
*** Conviene que tomes esta página como ejercicio, y trates de hacerlo tú mismo. Por cualquier duda, por favor pregunta.
ir al índice página anterior estás en página 31 página 32