Please wait - loading…

Lógica proposicional

Description

Lógica proposicional
Andres Arias
Mind Map by Andres Arias, updated more than 1 year ago
Andres Arias
Created by Andres Arias over 4 years ago
72
0

Resource summary

Lógica proposicional
  1. sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.
    1. Conectivas lógicas
      1. Leyes notables en lógica
        1. Ley de doble negación
          1. Leyes de idempotencia
            1. Leyes de De Morgan
              1. Leyes distributivas
                1. Leyes asociativas
                  1. Leyes conmutativas
                  2. Límites de la lógica proposicional
                    1. a maquinaria de la lógica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, también existen argumentos que son intuitivamente válidos, pero cuya validez no se puede probar por la lógica proposicional. Por ejemplo, considérese el siguiente argumento:
                    2. Tablas de verdad
                      1. La tabla de verdad de una fórmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la fórmula y el valor de verdad de la fórmula completa para cada interpretación
                        1. Por ejemplo, la tabla de verdad para la fórmula ¬(p V q) -> ( p -> r)
                    Show full summary Hide full summary

                    Similar

                    Composición de la pintura
                    cog1824
                    LINEA DEL TIEMPO DEL DISENO GRAFICO
                    Alex Rivas
                    MODULO 1 LA PINTURA Y SU SIGNIFICADO
                    antoniomoralesm
                    Diseño y representación gráfica
                    andrea hernandez
                    EL DIBUJO COMO MEDIO DE COMUNICACION
                    gonzalo04p
                    Herramientas del lenguaje visual
                    Diego Pizarro Velasquez
                    FAMILIAS TIPOGRAFICAS.
                    Ana Maria Palacios Salinas
                    Apuntes sobre el Lenguaje Visual
                    Feli Lluesma Angel
                    Elementos del Lenguaje Plástico
                    Lilliam Rodriguez
                    METODOLOGÍA DE DISEÑO
                    Alan Santiago Chavarría
                    ERGONOMÍA Y ANTROPOMETRIA
                    YEIMY NARVAEZ