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