Logica Y Calculo Proposicional

Descripción

mapa mental : logica y calculo proposicional
Bryahan hernandez
Mapa Mental por Bryahan hernandez, actualizado hace más de 1 año
Bryahan hernandez
Creado por Bryahan hernandez hace más de 8 años
23
0

Resumen del Recurso

Logica Y Calculo Proposicional
  1. La logica se considera una ciencia formal, cuyo objeto de estudio es la demostracion que permita comprobar que una afirmacion se considere valida o no
    1. se aplica en diversas areas
      1. INGENIRIA
        1. Es de gran utilidad en la electronica para diseño de circuitos.
        2. EN ADMINISTRACION
          1. Esta hace uso de los conocimientos organizados para dar solucion a problemas reales.
          2. PROGRAMCAION
            1. Diseño de programas que requieren union de operadores logicos
            2. Es conocido en derecho como logica juridica, considerado metodo de investigacion para entender la ciencia del derecho.
              1. En logica se pueden encontrar dos clases de proposiciones
                1. Simples o atomicas
                  1. Estan estructurados por una unica oracion
                  2. Compuestos o molesculares
                    1. Estan estructurados por dos o mas proposiciones simples
                    2. Prueba formal de validez
                      1. El metodo mas conveniente para obtener la validez de los argumentos. es la prueba forma de validez
                        1. Trabajar con proposiciones requiere la aptitud de poder traducirlas del lenguaje natural al lenguaje simbolico
                          1. Lenguaje natural
                            1. El lenguaje que hablamos en nuestra vida cotidiana
                            2. Lenguaje simbolico
                              1. Permite examinar con mayor facilidad las formas del pensamiento y sus leyes.
                                1. Operadores logicos
                                  1. Aquellos simbolicos que permiten decidir que valor de verdad tiene una proposicion.
                                    1. Disyuncion excvlusiva
                                      1. Negacion
                                        1. Doble negacion
                                          1. Conjuncion
                                            1. Disyuncion inclusiva
                                              1. Bicondicional o equivalencvia
                                                1. Tablas de verdad
                                                  1. Muestra el valor de verdad de una proposicion compuesta
                                                    1. Metodos de demostracion
                                                      1. Razonamiento o serie de razonamientos que prueba la validez de un conomiento.
                                                        1. PASOS PARA DEMOSTRAR LA VALIDEZ DE UN ARGUMENTO
                                                          1. asinar variables proposicionales a cada proposicion simple
                                                            1. Realizar la traduccion logica de las premisas
                                                              1. organizar el argumento con sus premisas en forma vertical, escribiendo antes de cada premisa, numero de premisas consecutivo.
                                                                1. utilizar las reglas de inferencia y/o remplazo que conduzcan a nuevas premisas
                                                                  1. El proceso de inferencia termina cuando se llega a la conclusion del argumento.
                                    Mostrar resumen completo Ocultar resumen completo

                                    Similar

                                    INGENIERIA DE MATERIALES
                                    Ricardo Álvarez
                                    Elementos Básicos de Ingeniería Ambiental
                                    Evilus Rada
                                    Historia de la Ingeniería
                                    Camila González
                                    Introducción a la Ingeniería de Software
                                    David Pacheco Ji
                                    UNIDAD II DIBUJO PROYECTIVO
                                    anyimartinezrued
                                    GENERALIDADES DE LAS EDIFICACIONES
                                    yessi.marenco17
                                    MAPA MENTAL SOFTWARE APLICADOS EN INGENIERÍA CIVIL
                                    Ruben Dario Acosta P
                                    Examen Ingeniería Electromecánica II
                                    Jorge Cabrera7516
                                    Normas que Rigen la Ingenieria Mecanica
                                    Francisco Balderas Garcia
                                    Estado de la ingenería mecánica y su perspectiva a futuro
                                    Roberto Martinez
                                    MAPA CONCEPTUAL SOBRE LA INICIATIVA CDIO
                                    Victor Antonio Rodriguez Castañeda