MARTES 22 MARZO

El profesor ha empezado la clase con un ejercicio de tabla de verdad, que ha explicado que la proposición que va antes del conector ser llama antecedente y la proposición que va después es la consecuencia. El ejercicio era el siguiente:
[[(p ^ q) --> r]^ [(r --> s) ^ (q ^¬ s)]] --> r
El enunciado era tautológico, ya que, el resultado salía verdadero.
El profesor ha empezado a explicar qué es el cálculo de deducción natural (CDN). El CDN consiste en pasar de las premisas a la conclusión, opera con una derivación, que mediante una serie de pasos correctamente formalizados nos lleva a la conclusión.
ESQUEMA DE INFERENCIA
p^q --> premisa
r^s --> premisa
__ --> barra de inferencia
p^s -->conclusión
El profesorha explicado la regla de eliminación y de introducción del conjuntor con el ejemplo p^q; r^s;T("tumbado" hacia el lado izquierdo, es el simbolo de la derivación)p^s
Los pasos para realizar correctamente las reglas son:
1. Se coloca la primera premisa p^q pr(por premisa).
2. Se coloca la segunda premisa r^s pr.
3. p regla de eliminación(RE)^ en la línea 1.
4. s Regla de eliminación(RE)^ en la línea 2.
5. p^s Regla de introducción^ en las líneas 3;4.
Por último querría dejar un problema de lógica que no he sabido hacer y es el siguiente:

" Había un tren cuyo personal estaba formado por tres personas: el guardafrenos el fogonero y el maquinista. Sus nombres por orden alfabético, eran Jones, Robinson y Smith. En el tren viajaban también tres pasajeros que tenían los mismos nombres: el señor Jones, el señor Robinson y el señor Smith. Se conocen los siguientes datos:
a. El señor Robinson vive en Detroit.
b. El guardafrenos vive a mitad de camino entre Detroit y Chicago.
c. El señor Jones gana exactamente 20.000 dólares al año.
d. Smith en cierta oportunidad derrotó al fogonero jugando al billar.
e. Un vecino del guardafrenos, que vive en una casa junto a la de éste y es uno de los tres pasajeros mencionados gana exactamente tres veces lo que gana el guardafrenos.
f. El pasajero que vive en Chicago tiene el mismo nombre que el guardafrenos.
¿Cuál es el nombre del maquinista?"

ELENA MONTES PÉREZ.