Ley de las proposiciones bicondicionales

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

Hay proposiciones condicionales cuya relación entre el antecedente y el consecuente es especialmente estrecha:  si sucede X, entonces ocurre Y, del mismo modo que si sucede Y, ocurre X.  Así pues, podemos decir que X se da si y sólo si ocurre Y.  El conectivo "si y sólo si" se representa con una línea con dos flechas  ( ßà   ) o bien con tres líneas horizontales paralelas  ( | ).
No en todos los casos que sucede el consecuente "Y", también sucede su antecedente "X". Ejemplo:

El Record Mundial se rompe si y sólo si se supera el lapso de 30 segundos;
            O sea:

A ßà  B
Aquí se dan una relación tan íntima que da igual poner:

Si el Record Mundial se rompe, entonces se supera el lapso de 30 s.
Es decir:

A à B
O:

Si se supera el lapso de 30 s, entonces el Record Mundial se rompe.

Vaya:
B à A

De lo anterior se puede concluir que:

(1)  A ßà B
(2)  A à B    LB 1
y:
(1) A ßà B
(2) B à A     LB 1
            y:
(1)  A ßà B
(2) (A à B) & (B à A) LB 1
             y:
(1)               A à B
(2)               B à A
(3)               A ßà B   LB 1,2

"LB" es la abreviatura de Ley de las proposiciones bicondicionales.

Ejercicio

Transforma las siguientes proposiciones en sus equivalentes de acuerdo a la regla de las bicondicionales:

1) A ßà B
2) ¬C ßà D
3) E ßà ¬F
4) ¬G ßà ¬H

5) I à J

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