Formalismo de primer orden

Asignatura: Sistemas Expertos

Nombre: ……………………………………..

Fecha: ………………………………………

TAREA : FORMALIZAR LOS SIGUIENTES HECHOS, SEGÚN LA LOGICA DE PRIMER ORDEN

1) En los paísesdemocráticos no hay delito de opinión, tampoco prisión por deudas.
2) Ni Juan ni Pedro ni Felipe te darán la razón.
3) A nadie quiso escribir, ni a sus más íntimos amigos.
4) Tanto Carlos comoFederico son ateos porque son materialistas.
5) Si hay ley, razón y justicia en el mundo, no sucederá lo que temes.
6) Las declaraciones obtenidas por la violencia carecen de valor.
7) El dinerohace ricos a los hombres, pero no dichosos.
8) Los actos del Presidente de la República son nulos siempre que no tengan refrendación ministerial.
9) Sin su libre consentimiento, sin la debidaretribución, no se le puede obligar a prestar trabajo.
10) Se te enviará el diploma, bien por el correo de hoy, bien por el de mañana.
11) Los yacimientos y restos arqueológicos son patrimoniocultural de la Nación, están bajo el amparo del Estado y la ley regula su conservación.
12) Osama es un fundamentalista religioso y Hitler es un fundamentalista político. Luego, Hitler es unfundamentalista político.
13) Esta figura no es un cuadrilátero, puesto que es un triángulo. Es un triángulo. En consecuencia, no es un cuadrilátero.
14) Si la suma de dos números naturales esconmutativa, entonces si cambiamos el orden de los sumandos, se obtiene la misma suma.
15) La suma de dos números naturales es conmutativa. Por tanto, se obtiene la misma suma si cambiamos el ordende los sumandos.
16) Un cuerpo está en estado neutro y no presenta ningún fenómeno eléctrico en su conjunto siempre que su carga eléctrica positiva esté en estado igual a la negativa. Pero esfalso que el cuerpo esté en estado neutro y no presente ningún fenómeno eléctrico en su conjunto. En consecuencia, la carga eléctrica positiva de un cuerpo está en estado igual a la negativa....