0 calificaciones0% encontró este documento útil (0 votos)
117 vistas1 página
El documento explica la diferencia entre consistencia e inconsistencia en lógica matemática. Un sistema es consistente si de él no se deduce una contradicción, mientras que es inconsistente si se puede demostrar una misma fórmula como verdadera y falsa al mismo tiempo o si de él se deduce una contradicción. Un conjunto de premisas es consistente si es posible asignar valores de verdad a las proposiciones de forma que todas las premisas sean verdaderas a la vez.
El documento explica la diferencia entre consistencia e inconsistencia en lógica matemática. Un sistema es consistente si de él no se deduce una contradicción, mientras que es inconsistente si se puede demostrar una misma fórmula como verdadera y falsa al mismo tiempo o si de él se deduce una contradicción. Un conjunto de premisas es consistente si es posible asignar valores de verdad a las proposiciones de forma que todas las premisas sean verdaderas a la vez.
El documento explica la diferencia entre consistencia e inconsistencia en lógica matemática. Un sistema es consistente si de él no se deduce una contradicción, mientras que es inconsistente si se puede demostrar una misma fórmula como verdadera y falsa al mismo tiempo o si de él se deduce una contradicción. Un conjunto de premisas es consistente si es posible asignar valores de verdad a las proposiciones de forma que todas las premisas sean verdaderas a la vez.
En el vídeo se explica que un sistema de proposiciones es
consistente si de él no se deduce una contradicción. La inconsistencia es la propiedad en la que una misma fórmula puede ser a la vez demostrada y rechazada. Además, un sistema de proposiciones es inconsistente si de él se deduce una contradicción. Un conjunto de premisas es consistente si y sólo si es posible asignar valores de verdad a las proposiciones simples de tal forma que las premisas sean todas verdaderas simultáneamente.