Title | Lógica simbólica- Conector Excepto que |
---|---|
Course | CEX208 - LÓGICA SIMBÓLICA |
Institution | Universidad Siglo 21 |
Pages | 1 |
File Size | 28 KB |
File Type | |
Total Downloads | 7 |
Total Views | 151 |
Download Lógica simbólica- Conector Excepto que PDF
Conector exepto que. Comencemos por fijar a los conjuntos A = {1, 2, 4}} y B = {4, 7}}. Ahora bien, estamos interesados en formar un nuevo conjunto C el cual est´ a formado por los elementos que est´an en el conjunto A excepto que esten en el conjunto B. • Podemos notar que el elemento 1 est´ a en el conjunto A y no est´ a en B , por lo tanto no lo exceptuamos de que est´e en C • Podemos notar que el elemento 2 est´ a en el conjunto A y no est´ a en B , por lo tanto no lo exceptuamos de que est´e en C • Podemos notar que el elemento 4 est´ a en el conjunto A y est´ a en B, por lo tanto lo exceptuamos de que est´e en C Entonces el conjunto C queda formado por los elementos 1 y 2, es decir, C = {1, 2}. De esta manera es posible notar una afirmaci´on del estilo P excepto que Q tambi´ en la podemos entender como una afirmaci´ on del estilo P y noQ. Esto sugiere que P EQ ≡ P y noQ Ahora bien, si quisieramos conocer que el conector E es idenpotente debemos verificar que si las tablas de verdad de P EP y la tabla de verdad P coinciden. Pero, como P EP ≡ P ynoP esto resulta una contradicci´ on, sin embargo la tabla de verdad de P es una contingencia.
1...