null
US
Iniciar Sesión
Regístrate Gratis
Registro
Hemos detectado que no tienes habilitado Javascript en tu navegador. La naturaleza dinámica de nuestro sitio requiere que Javascript esté habilitado para un funcionamiento adecuado. Por favor lee nuestros
términos y condiciones
para más información.
null
null
Siguiente
Copiar y Editar
¡Debes iniciar sesión para completar esta acción!
Regístrate gratis
12254541
Logica Y Calculo Proposicional
Descripción
mapa mental : logica y calculo proposicional
Sin etiquetas
ingeniería
brayhan hernandez
Mapa Mental por
Bryahan hernandez
, actualizado hace más de 1 año
Más
Menos
Creado por
Bryahan hernandez
hace más de 8 años
23
0
0
null
Resumen del Recurso
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.
EN ADMINISTRACION
Esta hace uso de los conocimientos organizados para dar solucion a problemas reales.
PROGRAMCAION
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
Compuestos o molesculares
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
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.
Mostrar resumen completo
Ocultar resumen completo
¿Quieres crear tus propios
Mapas Mentales
gratis
con GoConqr?
Más información
.
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
Explorar la Librería
null