Curso de lógica de proposiciones básico

El curso gratuito de lógica de proposiciones básico te permitirá conocer cerca del lenguaje propio de las proposiciones mediante la composición de estructuras simples y la construcción de fórmulas y esquemas, de igual manera te brindara conceptos, definiciones y ejemplos para tu total comprensión del tema.

Metas de aprendizaje
Al estudiar con este curso de lógica de preposiciones básico vas a aprender o reforzar conocimientos sobre temáticas como:
• Proposiciones análisis único
• Árbol sintáctico
• Notación otros alfabetos
• Semántica
• Interpretación
• Satisfacción
• Sintaxis monadicos
• Sintaxis y cuantificadores
• Semántica cuantificadora de diadicos
• Equivalencia generación por reemplazo
• Consecuencias
• Tableaux.

Este curso de lógica de proposiciones básico esta direccionado a jóvenes en formación media y universitaria

Al culminar este curso de lógica de proposiciones básico, serás capaz de comprender los conceptos y definiciones que conforman el lenguaje de la lógica de proposiciones, y de esta manera aplicarlos a la solución de ejercicios y problemas.

Programa del curso
07:02:52
Unidad 1: Contenido
Clase 1: Intuic_lenguaje.mov
00:03:36
Clase 2: Def_generacion.mov
00:05:42
Clase 3: Propos_analisis-unico.mov
00:05:25
Clase 4: Def_arbol-sintactico.mov
00:07:06
Clase 5: Notac_otros-alfabetos.mov
00:04:15
Clase 6: Def_semantica-no.mov
00:02:58
Clase 7: Def_semantica-y-o.mov
00:04:18
Clase 8: Def_semantica-sii.mov
00:05:21
Clase 9: Def_interpretacion.mov
00:06:39
Clase 10: Notac_elim-parentesis.mov
00:06:51
Clase 11: Def_tabla-verdad.mov
00:06:14
Clase 12: Prop_num-interpretaciones.mov
00:05:33
Clase 13: Def_satisfaccion.mov
00:04:44
Clase 14: Prop-4cartasescondidas
00:08:37
Clase 15: Aplic_intro-sudoku.mov
00:10:30
Clase 16: Def_sintaxis-monadicos.mov
00:05:04
Clase 17: Def_semantica-monadicos.mov
00:07:19
Clase 18: Ejemp_dos-monadicos.mov
00:07:19
Clase 19: Def_sintaxsemant-diadicos.mov
00:07:37
Clase 20: Ejemp_un-diadico.mov
00:10:02
Clase 21: Def_sintaxis-cuantificadores.mov
00:05:50
Clase 22: Def_sintaxis-variable-libre.mov
00:04:07
Clase 23: Def_semantica-cuantif-monadicos.mov
00:04:08
Clase 24: Ejemp_monadicos-todospyq.mov
00:04:41
Clase 25: Ejemp-monadicos-todospoq.mov
00:04:04
Clase 26: Ejemp_monadicos-todospsonq.mov
00:05:13
Clase 27: Ejemp_monadicos-algunpyq.mov
00:03:15
Clase 28: Ejemp_monadicos-algunpynoq.mov
00:02:35
Clase 29: Ejemp_monadicos-algunnopyq.mov
00:03:27
Clase 30: Ejemp_monadicos-nocuantificador.mov
00:03:18
Clase 31: Def_semantica-cuantif-diadicoscte.mov
00:06:19
Clase 32: Def_semantica-cuantif-anidados-diadicos.mov
00:04:07
Clase 33: Ejemp_exayrxy.mov
00:03:07
Clase 34: Ejemp_diadicos-opciones-prenexa.mov
00:03:24
Clase 35: Ejemp_diadicos-permutacion-cuantif.mov
00:05:28
Clase 36: Ejemp_diadicos-cuantif-noprenexa.mov
00:05:26
Clase 37: Def_funciones.mov
00:04:51
Clase 38: Def_identidad.mov
00:03:09
Clase 39: Def_primerorden.mov
00:07:25
Clase 40: Diad-identidad-policial
00:07:26
Clase 41: Def_equivalencia.mov
00:04:12
Clase 42: Def_satisfacibilidad.mov
00:03:55
Clase 43: Def_tautologia.mov
00:03:50
Clase 44: Def_consecuencia.mov
00:06:12
Clase 45: Prop_satisfaccion-vs-conjuncion.mov
00:01:47
Clase 46: Prop_satisfaccion-en-subsuperconjunto.mov
00:03:30
Clase 47: Prop_equivalencia-sus-propiedades.mov
00:02:43
Clase 48: Prop_equivalencia-vs-bicondicionaltautologia.mov
00:03:04
Clase 49: Prop_tautologia-generacionpor-sustitucion.mov
00:05:10
Clase 50: Prop_equivalencia-esquemas.mov
00:03:01
Clase 51: Prop_equivalencia-generacionpor-reemplazo.mov
00:03:37
Clase 52: Prop_consecuencia-monotonia.mov
00:03:58
Clase 53: Prop_consecuencia-vs-condicionaltautologia.mov
00:03:23
Clase 54: Prop_consecuencia-sus-propiedades.mov
00:01:58
Clase 55: Prop_consecuencia-vs-insatisfacibilidad.mov
00:05:43
Clase 56: Aplic-tablas-verdad
00:06:36
Clase 57: Def_equivalencias-proposicional.mov
00:05:27
Clase 58: Ejemp_equivalencia-proposicional-1.mov
00:04:15
Clase 59: Def_formas-normales.mov
00:06:30
Clase 60: Def_equivalencias1-predicados.mov
00:06:31
Clase 61: Ejemp_equivalencia-predicados-1.mov
00:03:56
Clase 62: Def_equivalencias2-predicados.mov
00:05:29
Clase 63: Mon-objetosescondidos
00:08:10
Clase 64: Def_tableux-prop-intro.mov
00:03:59
Clase 65: Def_tableaux-prop-rama-expandida-cerrada.mov
00:07:16
Clase 66: Def_tableaux-prop-reglas-expans-conectivas.mov
00:05:18
Clase 67: Def_tableaux-prop-cerrado.mov
00:05:50
Clase 68: 32e_prop_usos-tableaux
00:06:54
Clase 69: 32f_ejemp_insatisfacible
00:04:51
Clase 70: 32g_def_tableaux-cuantificadores1
00:08:28
Clase 71: 32h_def_tableaux-cuantificadores2
00:06:11
Clase 72: 32i_ejemp_monadicos
00:05:01
Clase 73: Aplic-tableaux
00:04:54
Clase 74: 33a_def_conj-intro-elim
00:03:56
Clase 75: 33b_def_cond-elim
00:03:15
Clase 76: 33b_def_cond-intro
00:04:59
Clase 77: 33c_def_disy-intro
00:01:45
Clase 78: 33c_def_disy-elim
00:04:20
Clase 79: 33d_def_bicond-elim
00:04:40
Clase 80: 33d_def_bicond-intro
00:04:14
Clase 81: 33e_def_neg-intro-elim
00:03:06
Clase 82: 33f_def_paratodo-intro-elim
00:04:55
Clase 83: 33g_def_existe-intro-elim
00:04:15
Clase 84: Activ-ded-natural
00:05:18
¿Por qué tomar este curso?
Acceso gratuito
Te obsequiamos educación para que el dinero no pueda limitar tu aprendizaje
Clases en video prácticas
Nuestro profesor te ayudará a relacionar el conocimiento teórico con ejemplos prácticos
Aprendizaje flexible
Accede al curso desde cualquier lugar del mundo y utilizando cualquier dispositivo
¿Por qué estudiar en Edutin?

Edutin ofrece educación gratis en

192
PAÍSES

Edutin proporciona más de

6 MIL
CURSOS DE ALTA CALIDAD

Edutin tiene más de

308 MIL
ESTUDIANTES ACTIVOS

Edutin cuenta con el apoyo de

550
PROFESORES EXPERTOS
Información del profesor
Profesor UNEDcursos
34 estudiantes
1 cursos
UNED cursos es un canal temático donde se emiten una selección de aulas y cursos desarrollados por la Universidad Nacional de Educación a Distancia a lo largo de sus 40 años de historia.
Valoración de los estudiantes
3.5
5 estrellas
50%
4 estrellas
0%
3 estrellas
25%
2 estrellas
0%
1 estrella
25%
User Profile Image
Jailene
hace 3 meses
User Profile Image
Dany
hace 10 meses
User Profile Image
hace 3 años
User Profile Image
Bairon
hace 3 años
Certification