WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: _Programacion, OPERACIONES DE INTERSECCION, OR DEFINE DEVUELVE EL VALOR VERDADERO CUANDO 2 PREPOSICIONES SON VERDADERAS O CUANDO UNA ES VERDADERA Y FALSA, DEVUELVE FALSO CUANDO 2 PREPOSICIONES SON FALSAS, UNION ES LA UNION DE LOS ELEMENTOS DE LOS ELEMENTOS DE LOS CONJUNTOS QUE SE TENGAN POR DECIR A Y B, CONCEPTOS Y ENUNCIADOS LOGICOS TEMAS CONTOS, Introduccion a la logica clasica TEMAS CONTOS, CONTOS CONTIENEN OPERACIONES, ENUNCIADO ATOMICO DEFINE ES EL ENUNCIADO MAS SIMPLE NO USA CONECTORES LOGICOS LO QUE INDICA QUE NO SE PUEDE DESCOMPONER, CONTOS SE DEFINEN, DIFERENCIA DE SIMETRICA, EL PRODUCTO DE N VARIABLES GLOBALMENTE NEGADAS ES IGUAL A LA SUMA DE DE LAS N VARIABLES NEGADAS INDIVIDUALMENTE DEMOSTRACION ¬(A∩B)<->(¬A)U(¬B), LA SUMA DE N VARIABLES ES GLOBALMENTE NEGADAS ES IGUAL A LA NEGACION INDIVIDUAL DE CADA VARIABLE DEMOSTRACION ¬(AUB)<->(¬A)∩(¬B), EL RESULTADO FINAL DE UNA PREPOSICION MOLECULAR FALSA INDEPENDIENTEMEN DE LOS VALORES DE CERTEZA DE LAS PREPOSICIONES QUE LO CONFORMAN EJEMPLO [(A^B)^¬(AVB)]^B, TAMBIEN LLAMADO COMPUESTO USA CONECTORES LOGICOS ESTAS SE PUEDE DESCOMPONER EN ENUNCIADOS ATOMICOS EJEMPLO LA TIERRA ROTA SOBRE SI MISMO Y GIRA ALREDEDOR DEL SOL, TAUTOLOGIA Y CONTRADICCION CONTRADICCION, OPERADORES LOGICOS CONFORMADOS NEGACION, IDENTIDAD DADO UN CONJUNTO CUALQUIERA EN UN UNIVERSO ARBITRARIO DEMOSTRAMOS: A ∪ ∅ = A A ∪ U = U A ∩ ∅ =∅ A ∩ U = A, OPERACIONES DE COMPLEMENTO, EL NIVEL MAS BASICO DEL ANALISIS LOGICO Y DESCANSA EN LOS CONECTORES LOGICOS EJEMPLO PIOLIN ES UN PAJARO Y LOS PAJAROS VUELAN TENIENDO EN CUENTA QUE LOS 2 ENUNCIADOS ATOMICOS SON VERDADEROS DEDUCIMOS QUE EL ENUNCIADO MOLECULAR ES VERDADERO CON ESTO DEDUCIMOS QUE PIOLIN PUEDE VOLAR, TABLAS DE VERDAD EJEMPLOS (P → ¬Q) V (¬P V R), TABLAS DE VERDAD CONTRUCCION APLICANDO UNA FORMULA: 2^N DONDE 2 REPRESENTA |V| O |F| N: EL NUMERO DE PREPOSICIONES