ensayo

Regla de introducción de la conjunción.
Si tenemos como premisas dos fórmulas, podemos inferir como conclusión la conjunción de ambas. Es una regla que tiene una base intuitiva, ya que siconsideramos afirmamos un enunciado y luego otro, se puede afirmar la conjunción de ambos.
Por ejemplo:
si se afirma que
Saramago escribió  Ensayo sobre la ceguera,
y posteriormente se afirma que
Saramagoganó el Premio Nobel.
puedo afirmar la conjunción de ambos.
La estructura de la regla es:
A
B
A B
 
B
A
B A
                        
 
Se designa como I C (introducción de laconjunción) y Prod (producto)
- 1 p
-2  q
 3 p q         I C (1,2)
Regla de eliminación de la conjunción.
Es la regla inversa a la anterior, permite pasar del todo a la parte: si disponemos de laconjunción de dos enunciados, por ejemplo:
Platón fundó la Academia y Aristóteles fundó el Liceo.
se puede inferir como conclusión la afirmación de cualquiera de sus enunciados por separado:
Platón fundóla Academia.
Aristóteles fundó el Liceo.
La estructura de la regla es:
 AB                                                    A                                                                     
AB
B
 


La conjunción (que es la y) la podemos crear fácilmente:




Entiende bien el funcionamiento de los dibujitos como éste. Cuando se pone una raya horizontal larga, normalmente es para separar las premisas (arriba) y la conclusión (abajo).Las premisas son las condiciones que tienen que cumplirse para aplicar la regla, y la conclusión (o resolvente) el resultado de la aplicación de la regla.
Esta regla dice que si en una línea tenemosescrita una cosa cierta, y en otra tenemos otra, también cierta, podemos dejar escrito en una sola línea que las dos cosas son ciertas. Tendremos que anotar a la derecha las líneas de las que hemossacado la primera y la segunda fórmula.
Esto es bastante lógico, ¿no? Si sabemos que es verdad que llueve, y que es verdad que hace...