12254541
Description
Mind Map by Bryahan hernandez, updated more than 1 year ago
|
Created by Bryahan hernandez
over 8 years ago
|
|
Logica Y Calculo Proposicional
- 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
- se aplica en diversas areas
- INGENIRIA
- Es de gran utilidad en la electronica para diseño de circuitos.
- Es de gran utilidad en la electronica para diseño de circuitos.
- EN ADMINISTRACION
- Esta hace uso de los conocimientos organizados para dar solucion a problemas reales.
- Esta hace uso de los conocimientos organizados para dar solucion a problemas reales.
- PROGRAMCAION
- Diseño de programas que requieren union de operadores logicos
- Diseño de programas que requieren union de operadores logicos
- Es conocido en derecho como logica juridica, considerado metodo de investigacion para entender la ciencia del derecho.
- En logica se pueden encontrar dos clases de proposiciones
- Simples o atomicas
- Estan estructurados por una unica oracion
- Estan estructurados por una unica oracion
- Compuestos o molesculares
- Estan estructurados por dos o mas proposiciones simples
- Estan estructurados por dos o mas proposiciones simples
- Prueba formal de validez
- El metodo mas conveniente para obtener la validez de los argumentos. es la prueba forma de validez
- Trabajar con proposiciones requiere la aptitud de poder traducirlas del lenguaje natural al lenguaje simbolico
- Lenguaje natural
- El lenguaje que hablamos en nuestra vida cotidiana
- El lenguaje que hablamos en nuestra vida cotidiana
- Lenguaje simbolico
- Permite examinar con mayor facilidad las formas del pensamiento y sus leyes.
- Operadores logicos
- Aquellos simbolicos que permiten decidir que valor de verdad tiene una proposicion.
- Disyuncion excvlusiva
- Negacion
- Doble negacion
- Conjuncion
- Disyuncion inclusiva
- Bicondicional o equivalencvia
- Tablas de verdad
- Muestra el valor de verdad de una proposicion compuesta
- Metodos de demostracion
- Razonamiento o serie de razonamientos que prueba la validez de un conomiento.
- PASOS PARA DEMOSTRAR LA VALIDEZ DE UN ARGUMENTO
- asinar variables proposicionales a cada proposicion simple
- Realizar la traduccion logica de las premisas
- organizar el argumento con sus premisas en forma vertical, escribiendo antes de cada premisa, numero de premisas consecutivo.
- utilizar las reglas de inferencia y/o remplazo que conduzcan a nuevas premisas
- El proceso de inferencia termina cuando se llega a la conclusion del argumento.
- asinar variables proposicionales a cada proposicion simple
- PASOS PARA DEMOSTRAR LA VALIDEZ DE UN ARGUMENTO
- Razonamiento o serie de razonamientos que prueba la validez de un conomiento.
- Muestra el valor de verdad de una proposicion compuesta
- Tablas de verdad
- Disyuncion excvlusiva
- Aquellos simbolicos que permiten decidir que valor de verdad tiene una proposicion.
- Operadores logicos
- Permite examinar con mayor facilidad las formas del pensamiento y sus leyes.
- Lenguaje natural
- Trabajar con proposiciones requiere la aptitud de poder traducirlas del lenguaje natural al lenguaje simbolico
- El metodo mas conveniente para obtener la validez de los argumentos. es la prueba forma de validez
- Simples o atomicas
- En logica se pueden encontrar dos clases de proposiciones
- INGENIRIA
- se aplica en diversas areas
Want to create your own Mind Maps for free with GoConqr? Learn more.