Lógica de Predicados (Capitulo II)

¡Buenas a todos!

Hoy continuaré con el tutorial sobre Lógica de Predicados que comencé hace unas semanas. Después de averiguar cómo  poder obtener conclusiones de dos predicados  expuestos… hoy lo pasaremos a la  simbología de Lógica de Predicados.

Tenemos dos tipos de cuantificadores en la lógica de predicados:

∀: Cuantificador universal: TODO

∃: Cuantificador existencial: ALGUN

Y nos ayudaremos con los símbolos de la lógica proposicional

→: Si… entonces, por lo tanto

∧ : Y

∨ : O

¬ : NO

A partir de los símbolos descritos  vamos a pasar las sentencias a predicados:

“Algunos múltiplos de 3 son múltiplos de 4”

• ∃x(Px→Qx)

“Todo múltiplo de 4 es múltiplo de 3”

• ∀x(Qx→Px)

“Todos los leones son felinos”

• ¬∃x(Lx∧¬Fx)

“Algún león es gato”

• ¬∀x(Lx→¬Gx)

Podemos observar que introduciendo negaciones creamos nuevas combinaciones para el uso de los cuantificadores Todo y Algun. Hay que practicar mucho este tipo de ejercicios para poder  coger un dominio sobre ellos.

¡Un saludo!

Ocultar avisos de warning en PHP

¡Hola a todos!

Hoy os voy a  enseñar una funcionalidad de PHP muy sencilla: ocultar los warning en el propio código fuente del php;

Esta funcionalidad  es sumamente sencilla y nos puede sacar de avisos que son feos de ver  en el acabado final de nuestra página web.

Comprobaremos en que línea del código nos da el aviso, y  en la línea que nos marque el código php le pondremos delante una “@”  de este modo

@session_start( );

Otro ejemplo puede ser :

@$fp = fopen($archivo,"r");

Seguro que esta herramienta la acabáis usando en algún momento.

¡Un saludo!