Curso de lógica de proposiciones básico

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.

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

  • 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

Obtenga un certificado digital emitido por nuestra universidad virtual

Nuestra institución emite certificados digitales con validez internacional para evidenciar los conocimientos y habilidades que usted ha adquirido durante un curso online.

  • Potencialice su aprendizaje

    Complete las actividades del curso y aprenda significativamente cómo utilizar sus conocimientos en contextos prácticos.

  • Proporcione evidencia de sus logros

    Las personas estarán a un solo clic de verificar al instante los detalles que demuestran la veracidad de su certificado.

certificado digital
  • Encuentre un empleo o consiga un ascenso

    Su certificado se alinea a los nuevos requerimientos estipulados en los procesos de contratación.

  • Consiga ser aceptado en solicitudes universitarias

    Entregue a cualquier institución educativa evidencia verificable de su proceso de aprendizaje.

  • Mejore su presencia profesional en línea

    Agregue el certificado a su currículum u hoja de vida, o publíquelo en cualquier canal digital.

¿Por qué estudiar en nuestra universidad virtual?

Ofrecemos carreras virtuales en

192
PAÍSES

Proporcionamos más de

6.000
CURSOS GRATIS

Contamos con más de

400.000
ESTUDIANTES

Apoyados por más de

700
PROFESORES VIRTUALES

Información del profesor

UNEDcursos
UNEDcursos
78 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

4

5 estrellas

50%

4 estrellas

0%

3 estrellas

25%

2 estrellas

0%

1 estrella

25%

  • 84 clases en video
  • 7 horas de duración
  • Nivel todos los niveles
  • Idioma español
  • Certificado digital
  • 3.5 de valoración
  • 78 compañeros de clase
  • Aprendizaje 100% gratis
VER CLASES GRATIS