P4-IS-2015   Natanael Fabricio Quiñonez Diaz 

Ing. Quimica

Nakira Valencias 

Cuatificadore.

Cuantificador Universal.

Para cualquier expresioni de la forma: para todo , todo , para cada , cada , constituye el lenguaje formal un cuantificador universal y se representa simbólicamente por medio de una ∀ invertida.

Cuantificacion Existencial.

Cual expresión existen algún, algunos, por lo menos, basta que uno constituya el lenguaje formal de un cuantificador existencial se simboliza por medio de una Ǝ  invertida.

Ejemplos:

∀(x) x+2x=3x        Ǝ(xy) xy=10           Ǝ(xy) x+y=5

Conjnto Potencia.

Dado un conjunto A su conjnto potencia es aquel que esta formado  por tdos los subconjuntos posible de A. El simbolo que se utiliza para denotar el conjunto potencial:

P(A)= {B/B C A} 

Subconjunto.

El conjunto A es dubconjunto de B si y solo si los elementos de A estan sometidos en B. Simbolicamente esete concepto se representa por: 

ACB <==>∀x(X E A) ----> (X E B )

 

La cardinalidad del potencia.

Es la cantidad de elementos del conjunto potencia se la representa por:

P(A)     N(P(A))=2N(a)

a)  N(A)= 2

b) P(A)= {{*},{#},{*,#}, O }

c) N(P(A))= 2N(a)=2x2=4

P4-IS-2015   Natanael Fabricio Quiñonez Diaz 

Ing. Quimica

Nakira Valencia 

           Valides De Un Razonamiento.

Un razonamiento es valido cuando la forma proporcional cuando su respuesta y su estructura lógica es una tautologia.

Su dicha forma proporcional es una contradicción o contingencia , entonces el razonamiento no es valido en cuyo caso se denomina falacia.

Ejemplo: Si pablo resivio el email entonces tomara el avión y estará aquí al medio día. Pablo no toma el avión luego, pablo no recibio el email. 

H1: a---> (b  c )

H2: >b

C: >a