Regla de la exportación

Género: material didáctico.
Autor: Ricardo Mazón Fonseca.

En una proposición condicional donde el antecedente es una conjunción y el consecuente una proposición atómica, tenemos que todo esto equivale a una proposición molecular donde el antecedente es uno de los dos miembros de la mencionada conjunción  y  el consecuente, es una proposición condicional con el otro miembro de la conjunción como antecedente y el consecuente constituido por la proposición atómica antes citada:

(A & B) à C   equivale a  A à (B à C)

“Si estudio y entiendo, paso el examen” equivale a “Si estudio, (si entiendo, paso el examen). 

También podríamos ponerlo de la siguiente manera:

(A & B) à C equivale a B à (A à C)

“Si estudio y entiendo, paso el examen” equivale a “Si entiendo, (si estudio, paso el examen)”.

Exp es la abreviatura de esta regla.


Ejercicio 

Obtener el resultado de las siguientes proposiciones a partir de la ley de la exportación.

1. A & B à C
2. A & ¬D à A v B
3. A & C à ¬E
4. ¬E & ¬F à ¬R
5. Demostrar E
1) B & Z
2) (B & K) à E
3) K
6. Demostrar  G à E
1) F & G à D

2) (F à D) à E

Comentarios

Publicar un comentario

Entradas populares de este blog

Proposiciones atómicas y proposiciones moleculares

Imagen
Proposiciones atómicas y proposiciones moleculares Una proposición es un enunciado en indicativo; o sea, una aseveración afirmativa o negativa que puede ser calificada como verdadera o falsa. Los enunciados  que tienen otra modalidad, no son considerados proposiciones. Es decir, los enunciados imperativos (¡Tráeme el periódico!), exclamativos (¡Qué bonito!) e interrogativos (¿A qué hora vas por el pan?) quedan fuera de este ámbito, ya que su veracidad es difícil de juzgar. [1] En otras palabras, no todo enunciado es una proposición lógica, mucho menos toda oración, ya que las oraciones no verbales o frases (como “Muy divertida la película”)  no son consideradas en la Lógica proposiciones, dado a que les falta un verbo. Para que fungieran como tales, tendrían que formalizarse, es decir, adaptarse al modelo de la oración verbal. Una oración es una unidad mínima de predicación, pero en la lógica sólo se considera una proposición a aquella que responde a la estructura sujeto-verbo-
Leer más

¿Qué son las artes menores?

Las artes menores son formas de arte que no persiguen la belleza deslindada de una utilidad práctica. Más bien, incorporan una intención estética a otra práctica. En este sentido se puede -asociar el término “arte menor” con los de arte aplicada, arte utilitaria y arte decorativa. Se opone a los conceptos de Bellas Artes o Artes Mayores. Las artes menores suelen considerarse como una forma inferior de arte, sin embargo, el interés y gusto que la gente pueda tener en éstas es bastante subjetivo. También son consideradas artes menores porque sirven para resaltar más profundamente otras manifestaciones artísticas más elevadas. Se suele señalar que en las artes menores regularmente se huele, saborea o toca el producido, mientras que en las mayores se ve y se escucha. [1] Si restringimos las artes menores a una visión muy clásica, ésta giraría en torno a la artesanía, el utillaje, la cocina y la cosmética. Existen ciertas artes tradicionales que son consideradas dentro de esta categor
Leer más

El hecho moral

El presente texto pretende reflexionar sobre el hecho moral. Para ello se recurre a su definición, tipología, estructura, valoración, etapas, planos, origen y evolución. Definición del hecho moral El hecho moral es una realidad. Es el dato básico con el que trabaja la Ética. [1]   Se muestra en un conjunto de conductas y manifestaciones humanas que son afectadas por el valor moral de lo bueno y lo malo.  El hecho moral ha existido desde que el hombre es hombre, incluso desde antes que surgiera la Ética. A los hechos morales los acompañan los juicios de valor de quienes los realizan o los observan. Comportamientos en los que entran fenómenos como el sentimiento de deber o de responsabilidad, la culpa, la obediencia y la desobediencia son expresiones del hecho moral. Pero no sólo son comportamientos o sentimientos, también se expresan en códigos: morales, jurídicos o religiosos.  Los  códigos morales  son los de interés para este texto. Ellos pueden ser entendidos como “un c
Leer más