Tabla de contenido
¿Qué es la condicional y su símbolo lógico?
Conectivas Lógicas : Proposición Condicional. Si se conectan dos enunciados colocando la palabra “si” antes de la condición – llamada antecedente – y después de la palabra “entonces” , el consecuente; la proposición compuesta resultante se llama un condicional, proposición hipotética o implicación.
¿Cuáles son los simbolos lógicos?
41 Símbolos Lógicos
Símbolo | Leer como | Ejemplos |
---|---|---|
Categoría | ||
⇒ → ⊃ | lógica proposicional, álgebra de Heyting | x = 2 ⇒ x2 = 4 es verdadero, pero x2 = 4 ⇒ x = 2 es, considerando todas las posibilidades falso (considerando que el x podría ser también −2). |
⇔ ≡ ↔ | si y solamente si (sse) | x + 5 = y + 2 ⇔ x + 3 = y |
si y solo si; sse |
¿Cuál es el símbolo de la condicional lógica?
El símbolo de la condicional lógica no es más que una flecha ( rightarrow ) que apunta a la derecha con el significado que le acabamos de asignar en la definición anterior. Una proposición que tenga como conectivo lógico dominante a la condicional lógica, lo llamaremos proposición condicional.
¿Cuáles son los diferentes tipos de condicionales?
En vista de este pequeño detalle, se diferenció dos tipos condicionales, una de ellas ya la estudiamos y la llamamos condicional material, la otra, la que vamos a referirnos a continuación es la implicación.
¿Cuál es la propiedad de la condicional material?
La condicional material tiene una propiedad débil, ya que si bien es cierto que el antecedente no se cumple (Del ejemplo anterior: « Si ella no se porta bien «), es posible que el consecuente se cumpla (« entonces de todas maneras la llevaré de paseo «).
¿Cuáles son las dos primeras proposiciones condicionales?
Las dos primeras proposiciones condicionales como la recíproca, la inversa no siempre existen y no pueden derivarse de la condicional material cosa que ya explicamos en ejemplos anteriores.