Taller logica matematica
-La implicación directa
Es el hecho de que algo esta plegado o doblado en algo que se oculta, de esta forma no es perceptible pero esta allí.
-La implicación reciproca
Es tan solo llegar a una conclusión verdadera, factible y conveniente por un método mas extenso con una respuesta que indica que la conclusión es correcta .
-La implicación contra reciproca
Establece la negación de un consecuente por ello implica la negación de su antecedente es decir si una primera premisa implica una segunda premisa, se puede concluir que la negación de la segunda premisa implica la negación de la primera premisa.
-La implicación inversa
Sea f una función real invectiva, cuyo dominio sea el conjunto i, es decir, creciente o decreciente en el conjunto i, y cuya imagen sea el conjunto j. Entonces la función reciproca o inversa de f, denotada f-1, es la función de dominio j e imagen i.
-Tautología
Es una formula bien formada que resulta verdadera para cualquier interpretación
*Ya ejecuté, gran señor, tu justicia justa y recta
*Bésame con besos de tu boca
*Rió con risas estridentes
-Satisfactibilidad
Es la capacidad de una formula o conjunto de ellas ser las verdaderas. Decimos que una formula es satisfactible cuando después de analizarla bajo una interpretación dada afirmamos que tiene valor 1.
*Verla con mis propios ojos.
*Quien tiene un amigo, tiene un tesoro.
*Temprano madrugó la madrugada
-Consistencia
Es una propiedad que pueden tener los conjuntos de formulas lógicas. Intuitivamente, un conjunto de formulas A es consistente cuando no tiene una contradicción.
*Si a trecientos sesenta y cinco le restamos uno es: trecientos sesenta y cuatro
*Si vamos a mirar hacia arriba, giramos nuestra cabeza hacia arriba
*Nuestra mente decide lo que hace el cuerpo
-Insatisfactibilidad
Es cuando no hay ninguna posible interpretación que la haga verdadera.
-Metodo abreviado
Este metodo se usa cuando queremos ahorrar tiempo, ya el numero de variables es superior a 3 y el algoritmo de la tabla de verdad se torna engorroso
1.Se supone verdadero el consecuente y falso el consecuente
2.
Es el hecho de que algo esta plegado o doblado en algo que se oculta, de esta forma no es perceptible pero esta allí.
-La implicación reciproca
Es tan solo llegar a una conclusión verdadera, factible y conveniente por un método mas extenso con una respuesta que indica que la conclusión es correcta .
-La implicación contra reciproca
Establece la negación de un consecuente por ello implica la negación de su antecedente es decir si una primera premisa implica una segunda premisa, se puede concluir que la negación de la segunda premisa implica la negación de la primera premisa.
-La implicación inversa
Sea f una función real invectiva, cuyo dominio sea el conjunto i, es decir, creciente o decreciente en el conjunto i, y cuya imagen sea el conjunto j. Entonces la función reciproca o inversa de f, denotada f-1, es la función de dominio j e imagen i.
-Tautología
Es una formula bien formada que resulta verdadera para cualquier interpretación
*Ya ejecuté, gran señor, tu justicia justa y recta
*Bésame con besos de tu boca
*Rió con risas estridentes
-Satisfactibilidad
Es la capacidad de una formula o conjunto de ellas ser las verdaderas. Decimos que una formula es satisfactible cuando después de analizarla bajo una interpretación dada afirmamos que tiene valor 1.
*Verla con mis propios ojos.
*Quien tiene un amigo, tiene un tesoro.
*Temprano madrugó la madrugada
-Consistencia
Es una propiedad que pueden tener los conjuntos de formulas lógicas. Intuitivamente, un conjunto de formulas A es consistente cuando no tiene una contradicción.
*Si a trecientos sesenta y cinco le restamos uno es: trecientos sesenta y cuatro
*Si vamos a mirar hacia arriba, giramos nuestra cabeza hacia arriba
*Nuestra mente decide lo que hace el cuerpo
-Insatisfactibilidad
Es cuando no hay ninguna posible interpretación que la haga verdadera.
-Metodo abreviado
Este metodo se usa cuando queremos ahorrar tiempo, ya el numero de variables es superior a 3 y el algoritmo de la tabla de verdad se torna engorroso
1.Se supone verdadero el consecuente y falso el consecuente
2.
Comentarios
Publicar un comentario