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: Sin Título 4, P →Q se leee si P entonces Q, P Q PIIQ V V F V F V F V V F F F ejemplo xor=mi gato se murio y esta vivo P=mi gato se murió Q=esta vivo, “x es un niño” Predicado con variable x “Beto es un niño” proposición se les denomina funcion proposicional, negacion ¬ tabla ejemplo, P →Q tambien puede usarse otros conectores, cuantificadores ejemplo es la proposicion logica, leyes asociativas se verifica 1. A ∪ (B ∪ C) = (A ∪ B) ∪ C 2. A ∩ (B ∩ C) = (A ∩ B) ∩ C, . A ∪ B = B ∪ A . A ∩ B = B ∩ A . A-B ≠ B-A ejemplo B = {3, 4, 5, 6} ∩ A = { 1, 2, 3, 4 }; B ∩ A= { 3, 4 } Dado A = { 1, 2, 3, 4 } ∩ B = {3, 4, 5, 6}; A ∩ B = { 3, 4 } B={3, 4, 5, 6} ∪ A={1, 2, 3, 4}; B ∪ A ={1, 2, 3, 4, 5, 6} Dado A={1, 2, 3, 4} ∪ B={3, 4, 5, 6}; A ∪ B={1, 2, 3, 4, 5, 6}, una cuantificación universal V x P(x) se requiere que p(a) sea falsa para algún a en el universo de discurso, para que la cuantificación universal sea falsa también., x² =2. ???? si el universo de discurso son los números racionales, la cuantificación existencial Ξx P(a) es falsa,, P=esta lloviendo Q=nublado con conectivo logico si esta lloviendo entonces esta nublado, la tierra es elliptica. es verdadero el plastico es un buen conductor es falso para una notación estándar se utilizan variables : p, q, r, s, t Si hacen falta más variables, se recurre a subíndices, puede usarse otros conectores siempre respetando el antecedente y consecuente, interseccion de dos conjuntos ???? es aquellos que pertenece a A y que también pertenecen a B., xor=mi gato se murio y esta vivo P=mi gato se murió Q=esta vivo tabla de verdad P Q PIIQ V V F V F V F V V F F F, teoria de conjuntos la union de conjunto, es una colección o clase de objetos bien definidos se representan ejemplo: V={a, e, i, o, u} , P={1, 3, 5, 7, 9}, T= {m, Lucas, 7, Cali}, Z={0,1,2,...}, las operaciones con conjuntos la interseccion de dos conjuntos, La ciencia del razonamiento desde hechos anteriores una logica de enunciados o calculo propicional, La ciencia del razonamiento desde hechos anteriores una Proposicion logica