Hola, en esta oportunidad me gustaría compartir con ustedes un trabajo dinámico y divertido que relaciona la parte de lógica con la de programación en PHP, para comenzar tenemos que definir que es la lógica, bien como vemos en la primera imagen la lógica, no es un cerebro, no es nada intrincado y mucho menos es algo de que tenerle miedo; la lógica es una ciencia formal (junto con la matemática), lo que quiere decir que no estudia un objeto concreto, sino objetos abstractos, cosas que no podemos tocar o apreciar en la realidad, sino que sus ideas llegan a nosotros a través de la razón, porque nadie puede decir que traerá un numero 3, puede traer un dibujo del número 3 o representaciones de la idea del número 3 (como traer a tres niños…), es porque el número 3 no existe en la realidad como un objeto palpable, así de la misma forma la lógica estudia la manera correcta de pensar a través de proposiciones bivalentes (verdaderas o falsas).
Dentro de la segunda imagen notaremos que se ha adaptado la lógica a los diferentes campos en los que se la requería, como en el ámbito informático (bit) en la que 0 equivale a diferentes valores como: apagado, vacío (en el caso de conjuntos), falso (en el caso de la lógica) entre otros; y a su vez el 1 equivaldría a valores como: encendido, universal (lógica de nuevo), o verdadero (adicionalmente en la lógica verdadero por obvias razones equivale a V ) apreciado en la siguiente imagen.
Dentro de la lógica no solo encontramos a algunas proposiciones también existen conectores lógicos y cuantificadores (los que veremos en otra entrada también orientada a PHP), los conectores lógicos más conocidos y por ello más implementados son por ejemplo: conjunción (˄), disyunción inclusiva (˅), condicional (→), bicondicional (↔), negación (~), disyunción exclusiva (∆); los cuales fácilmente pueden ser representados en PHP a través de sus equivalencias.
La conjunción (˄) expresada en PHP como AND se expresa por la multiplicación de los conjuntos o los valores; siendo así que la única posibilidad de obtener verdadero es cuando ambos valores sean verdaderos (por que como ya hemos mencionado anteriormente true, verdadero equivale a 1) teniendo que en la lógica V ˄ V = V, su representación se daría en programación como 1 * 1 = 1, en caso que se quiera modificar el valor de alguno no se conseguiría otro valor diferente de False (0).
La disyunción (˅) expresada de manera más significativa en PHP como OR se expresa por la suma de los conjuntos; siendo que la única posibilidad de obtener 0 (falso) es sumar 0 + 0 = 0, lo que en proposiciones es F V F = F.
Adicionalmente a esto hay que aclarar que los valores booleanos son solo 0 y 1 por lo que no se puede argumentar que V ˅ V = 2, queriendo indicar que 1 + 1 = 2, además de ello cabe mencionar que la negación (~) representada a través del símbolo ! en PHP cambia el valor de la proposición de true a false y también inversamente, es así que todos los conectores lógicos pueden ser reducidos a conjunción, negación y disyunción, al igual que todas las operaciones matemáticas a la suma y resta.
Además de esto, como se puede apreciar en la imagen anterior existe una jerarquía de conectores, la cual nos indica la fuerza desde donde se comienza a operar en caso no exista un símbolo de agrupamiento.
Ejemplo:
Siendo que se tenga $p ↔ $q (nota al agregar $ en PHP lo definimos como una variable) por leyes propias de la lógica lo podríamos expresar como:
$p ↔ $q
($p → $q) ˄ ($q → $p)
(~$p ˅ $q) ˄ (~$q ˅ $p)
{[( ! $p) or $q,] and [( ! $q) or $p]}
Además de ello podríamos simplemente simplificar la anterior expresión como una negación de algo ya existente en PHP seria:
$p ↔ $q
~ ($p ∆ $q)
! ($p Xor $q)
Existe hoy en día mucha gente en el mercado que maneja y conoce a profundidad los temas o cuestiones teóricas entorno a diferentes temas, sin embargo no todas ellas pueden ocupar el mismo puesto de trabajo, mientras nos volvemos cada vez más competitivos, se deja muchas veces de ganar por lo que uno sabe hacer y comienza a ganar por como uno desea hacerlo, un trabajo de mayor calidad es el que es más eficaz, eficiente en el manejo de recursos, se nos paga por el criterio que empleemos como personas, toda forma de hacer las cosas esta bien siempre y cuando sea mas efectiva para nosotros mismos, y cuando esta no sea para hacer el mal ...
コメント