Segunda unidad de logica matematica

Page 1

Consideremos que segĂşn nuestra convenciĂłn se recuerda de la siguiente manera: đ?œś → đ?œˇ → đ?œ¸ es đ?œś → (đ?œˇ → đ?œ¸) Por lo que decimos entonces que aquĂ­ se describe la transitividad (que para esto se requiere đ?‘ˇđ?’™đ?’› cuando exactamente en aquellos casos cuando se considera para đ?‘ˇđ?’™đ?’š y đ?‘ˇđ?’šđ?’› )

Aquí describe la antisimetría (por lo que se requiere aquí que � = � sea exactamente en aquellos casos cuando ��� y ���).

AquĂ­ se describe el caso cuando si para cada elemento hay un "mayor" uno (es decir ∀đ?’™âˆƒđ?’šđ?‘ˇđ?’™đ?’š ) por lo que entonces hay un elemento maximal (es decir ∃đ?’šâˆ€đ?’™đ?‘ˇđ?’™đ?’š ). Consideramos que el idioma mĂ­nimo requerido en nuestro caso, se define como (=, ∀, đ?‘ˇ) y las estructuras se define como đ?•Ź de tal manera que |đ?•Ź| = {đ?’‚, đ?’ƒ} . Por lo que todavĂ­a tenemos que especificar la relaciĂłn đ?‘ˇ en |đ?•Ź| . Por lo que hay 16 posibilidades, 10 son esencialmente diferentes (es decir por lo que no hay automorfismos entre cualesquiera dos de ellos). đ?‘ˇ ∅ {< đ?’‚, đ?’‚ >} {< đ?’‚, đ?’ƒ >} {< đ?’‚, đ?’‚ >, < đ?’‚, đ?’ƒ >} {< đ?’‚, đ?’‚ >, < đ?’ƒ, đ?’‚ >} {< đ?’‚, đ?’‚ >, < đ?’ƒ, đ?’ƒ >}

đ?’‚) + + + + + +

đ?’ƒ) + + + + + +

đ?’„) + + + + +

Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.