CONSEJOS G+ PARA LA FORMALIZACIÓN DE LOS EJERCICIOS PRESENTES EN ESTA

SECCIÓN
Os presentamos información acerca de la formalización y derivación de los
Ejercicios presentes en esta sección:
Primero:
SE USAN LAS CONECTIVAS SIGUIENTES:
• Para la conjunción: (A . B)
• Para la disyunción: (A+B)
• Para la implicación:(A>B)
• Para la equivalencia:(A=B)
• Para la negación: ~A
Segundo:
PRESENTACIÓN DE LOS EJERCICIOS:
• Todos los ejercicios se presentan con sus premisas numeradas
(1,2,3...) La Conclusión se simboliza con el siguiente deductor: /
• La simbolización de las conectivas sigue la formalización señalada
más arriba.
• En la solución de los ejercicios se muestra primeramente la
proposición derivada por la aplicación de la regla, a continuación
los números de las premisas que intervienen en tal aplicación, y, por
último, el nombre abrevidado de la regla aplicada.
Tercero:
ACERCA DEL TUTORIAL
• Si quieres información sobre la aplicación de las Reglas, pulsa AQUI
• Si quieres información rápida sobre funcionamiento de G+, pulsa AQUI
GPLUS
Mundo Lógica