LÓGICAMENTE

Cabe destacar que en la definición del condicional sólo se considera la forma de la proposición, el valor de verdad del antecedente y del consecuente, pero nada se dice de la vinculación entre el significado de uno y de otro. Se considera el caso en el que: El condicional es verdadero y El antecedente es verdadero y Los significados de ambos están relacionados. Bajo estas condiciones: El significado del consecuente será  necesariamente  verdadero. La verdad del consecuente está expresada en la verdad del antecedente. No puede ocurrir que el antecedente se verifique sin que se verifique el consecuente. Por ejemplo, en la oración  "Si la luz se enciende entonces el foco funciona" , el antecedente  "la luz se enciende"  no puede ser verdadero si el foco no funcionara o estaría quemado. Es decir, que el consecuente obligatoriamente debe ser verdadero. En este caso se establecen relaciones denominadas  condición necesaria  y  condición suficiente ...

Se hace un recordatorio para aquella persona que ingresa por primera vez a este blog, o a algún posteo del mismo, que este tema se comenzó a desarrollar en unos posteos anteriores: Acciones con proposiciones Tablas de verdad: negación, conjunción, disyunción Tabla de verdad de la operación lógica: condicional Los elementos del condicional p ⇒ q se denominan antecedente (p) y consecuente (q) . la tabla de valores de verdad es: El condicional es falso cuando su antecedente es verdadero y su consecuente es falso , en todo otro caso es verdadero . Ejemplo: Sean p: curso el Profesorado en Informática , q: estoy entusiasmado . p⇒q: Si curso el Profesorado en Informática entonces estoy entusiasmado. p⇒q: Si curso el Profesorado en Informática , estoy entusiasmado. p⇒q: Cursar el Profesorado en Informática implica estar entusiasmado. p⇒q: Curso el Profesorado en Informática solo si estoy entusiasmado. p⇒q: Estoy entusiasmado  si curso el Profesorado en Informática. p⇒q: Para estar e...

Se hace un recordatorio para aquella persona que ingresa por primera vez a este blog, o a algún posteo del mismo, que este tema se comenzó a desarrollar en el posteo anterior: Acciones con proposiciones Tabla de verdad de la operación lógica: negación La negación de una proposición sustituida por la variable  p  es la proposición  no p ,  ~p  cuya tabla de valores de verdad es: Se trata de una operación  unitaria  o  monádica , pues a partir de  una  proposición se obtiene otra, que es su negación. Ejemplos:   La negación de Hoy es martes , se puede escribir: Hoy no es martes. Es falso que , hoy sea martes. No es cierto que , hoy sea martes. No ocurre que , hoy es martes. Tabla de verdad de la operación lógica: conjunción La conjunción de las proposiciones p y q , es la proposición "p^q" . Las proposiciones atómicas que la forman se denominan conjuntivos . Es una operación binaria o diádica porque a partir de dos proposiciones...

Operaciones lógicas Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas dos proposiciones cuyos valores de verdad se conocen, se trata de caracterizar (conocer la verdad o falsedad) la proposición resultante, a través de su valor de verdad. Si se conocen los valores de verdad de las proposiciones atómicas dentro de las moleculares, entonces es posible dar los valores de verdad de éstas. en consecuencia, la verdad o falsedad de una proposición molecular, depende de la verdad o falsedad de las atómicas que la componen y de los términos de enlace que las ligan. Definición semántica de conectivas Intuitivamente  podemos afirmar que la semántica nos informa el significado de las proposiciones en el mundo real. Las conectivas generan un significado de las frases compuestas a partir de las proposiciones componentes que conectan. Para ello se utilizarán tablas de relación entre significados de las proposiciones componentes y de la compuesta por cada conectiva, e...