Logica Proposicional y PHP
*******Necesitamos tener en PHP predicados para adjudicarlos a sujetos. Cuando se trate de algo grande tendremos que hacernos de una Base de Datos. Pero por ahora con dos listas de predicados nos basta. Y lo haremos a la manera de Lógica de Conjuntos que estudiaremos después.
*******Para esas listas crearemos arrays.
Código para crear en PHP un array con nombres de sujetos que son artistas.
$artista = array("Juan", "Pedro");
Y también creamos otra lista de sujetos a quienes conviene el predicado bailarin $bailarin = array("Juan", "Maria");
*******Ahora buscamos si PHP nos provee de alguna función con la que podemos preguntar si un sujeto determinado es artista o bailarin Esto porque queremos saber si la Tabla de Verdad de la disyunción coincide con la que estamos usando, y para eso necesitamos tener juicios verdaderos y juicios falsos.
Y encontramos ésta: in_array($sujeto, $predicado)
   
07) Cuerpo <body>  
08) tienes que aclar que usas PHP  
09) Creamos array de artistas  
10)Creamos array de bailarin 1
11) preguntamos si Juan es artista  
12)Preguntamos si Maria es artista 1
13)Preguntamos si Juan es bailarin 1
14)Preguntamos si Pedro es arttista  
 
 
Vemos que reconoce los juicios verdaderos. Contestó 1 en los tres juicios verdaderos (líneas 11, 13 y 14) pero no se arriesgó en el falso. Y PHP tiene razón porque el hecho que María no figure en la lista no es razón para asegurar que no es artista. Tenemos que especificar que el Universo del Discurso comienza y termina en los array.
Ver este script en PHP ir al índice página anterior estás en página 8 página 9