Curso de lógica de proposiciones básico

Acceso 100% gratis de por vida
3.5 de valoración por los estudiantes

Acerca del curso

El curso 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.

¿Qué aprenderás?

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

  • 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

Certifique sus conocimientos y habilidades

El Curso de lógica de proposiciones básico le permite obtener un certificado digital con validez internacional, respaldado por reportes completos que evidenciaran sus nuevos conocimientos adquiridos durante el desarrollo del curso, de esta forma los empleadores podrán reconocer sus habilidades y usted obtendrá ventaja en cualquier proceso de contratación.

certificado digital
  • Validez internacional
  • Confiable y seguro
  • Verificable

Información del profesor

Este curso es propiedad de y ha sido publicado en Edutin University con fines educativos y bajo licencia youtube estandar. Obtenga más información visitando el perfil del profesor.
90 estudiantes
1 cursos

Valoración de los estudiantes

4

5 estrellas

50%

4 estrellas

0%

3 estrellas

25%

2 estrellas

0%

1 estrella

25%

Curso de lógica de proposiciones básico
Curso de lógica de proposiciones básico
  • Duración: 7 horas
  • Nivel todos los niveles
  • Idioma español
  • Certificado digital
  • 90 compañeros de clase
Regístrate, ¡es gratis!
Accede a nuestro compus, es gratis de por vida y puedes aprender con más de 6.000 cursos.

Cursos relacionados

<< Explore más de 6.000 cursos gratis >>