El documento presenta un temario sobre lógica proposicional. Cubre conceptos como proposiciones, proposiciones simples y compuestas, conectividades lógicas y tablas de verdad. También incluye diagramas de flujo y de Venn, así como lógicas del siglo XX e inteligencia artificial. El temario abarca aspectos teóricos de la lógica, conceptos de lógica proposicional clásica y métodos para verificar la corrección y validez de argumentos lógicos.
0 calificaciones0% encontró este documento útil (0 votos)
60 vistas1 página
El documento presenta un temario sobre lógica proposicional. Cubre conceptos como proposiciones, proposiciones simples y compuestas, conectividades lógicas y tablas de verdad. También incluye diagramas de flujo y de Venn, así como lógicas del siglo XX e inteligencia artificial. El temario abarca aspectos teóricos de la lógica, conceptos de lógica proposicional clásica y métodos para verificar la corrección y validez de argumentos lógicos.
El documento presenta un temario sobre lógica proposicional. Cubre conceptos como proposiciones, proposiciones simples y compuestas, conectividades lógicas y tablas de verdad. También incluye diagramas de flujo y de Venn, así como lógicas del siglo XX e inteligencia artificial. El temario abarca aspectos teóricos de la lógica, conceptos de lógica proposicional clásica y métodos para verificar la corrección y validez de argumentos lógicos.
El documento presenta un temario sobre lógica proposicional. Cubre conceptos como proposiciones, proposiciones simples y compuestas, conectividades lógicas y tablas de verdad. También incluye diagramas de flujo y de Venn, así como lógicas del siglo XX e inteligencia artificial. El temario abarca aspectos teóricos de la lógica, conceptos de lógica proposicional clásica y métodos para verificar la corrección y validez de argumentos lógicos.
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1de 1
LGICA PROPOSICIONAL Temario:
CONCEPTOS Y TIPOS La idea no es abarcar los temas
PROPOSICIONES propuestos en este orden, sino retomar PROPOSICIONES SIMPLES Y un poco de cada tema en cada sesin. COMPUESTAS CONECTIVIDADES LGICAS Y TABLAS DE I Aspectos tericos de la lgica VERDAD Historia de la disciplina CONCEPTO Y TIPOS Lgica aristotlica vs. lgica CONSTRUCCIN DE TABLAS DE proposicional VERDAD Lgica y matemticas VALIDEZ DE ARGUMENTOS POR Lgica y filosofa TABLAS DE VERDAD DIAGRAMAS II Conceptos de LPC (lgica DIAGRAMA DE FLUJO proposicional clsica) Proposicin DIAGRAMA DE VENN LGICAS DEL SIGLO XX E INTELIGENCIA Constantes lgicas ARTIFICIAL Tablas de verdad TIPO DE LGICAS DEL SIGLO XX Argumento INTELIGENCIA ARTIFICIAL Reglas de inferencia Inferencia lgica III Correcin, validez, verdad Simbolizacin e interpretacin Mtodos de verificacin Inferencia lgica IV Clculo de predicados Cuantificadores Teora de conjuntos Simbolizacin e interpretacin De Covematic Lgica proporcional Proposicin. Conectivos Lgicos Proposicin compuesta Proposiciones y valores de verdad Proposiciones compuestas bsicas Esquemas moleculares Proposiciones equivalentes. Leyes lgicas Cuantificadores universal y existencial.
Cantidad de Movimiento Lineal e Impulso. - Definición de Momento Lineal. - Teorema Del Impulso y El Momento Lineal - Impulso. Conservación Del Momento Lineal (Sesion 12 Parte 1)