Está en la página 1de 21

ACADEMIA MEXICANA DE LGICA (MORELIA)

PROYECTO EDUCATIVO INSTRUCCIONAL


ACADEMIA MEXICANA DE LGICA

La academia mexicana de lgica (AML) es un organismo nacional sin fines de lucro, cuya
funcin es indagar, fomentar y desarrollar nuevos campos en el estudio de la lgica clsica,
lgica matemtica as como las lgicas no clsicas. Este organismo a su vez tiene convenios
con organizamos internacionales dedicados a la tarea de la divulgacin as como el estudio de la
lgica.

La AML es una comunidad pequea, con cerca de 250 miembros distribuidos a lo largo de la
Repblica Mexicana, en particular el comit de lgica de Morelia es un comit pequeo con
apenas 7 personas dentro de l, las cuales a su vez tienen lazos con profesores as como
amantes y apasionados de la Lgica en el estado de Michoacn; siendo este se form en marzo
del 2003.
Mi inters en trabajar sobre este proyecto en la AML delegacin Morelia es el siguiente:
- La AML es un organismo bien consolidado y con reconocimiento tanto nacional como internacional en
el mbito de la lgica contando entre sus miembros con personalidades importantes en el mbito de la
lgica como lo es el Dr. Raimundo Morado as como tambin lo fue Jos Alfredo Amor y Montao
uno de los lgicos ms reconocidos.
- La AML a pesar de contar con gente interesada no cuenta actualmente con proyecto educativo
institucional de manera formal, ya que este por parte de cada academia estatal es la encargada de llevar
a cabo las funciones y menesteres de cada estado en este mbito y a pesar de que toma en cuenta a todos
sus miembros eh interesados falta plantear bien la normativa para mejorar su desempeo para hacerlo
de una manera ms integral dndole un mayor carcter as como sentido.
- En la actualidad soy parte del comit michoacano de la academia michoacana de lgica y a pesar de
que se tiene una fuerte reflexin en sobre la importancia de la lgica hace falta plasmar eso de manera
fsica.

Principios: El principio bsico en la AML es tener amor y pasin por aprender lgica y/o ensear y difundir el
conocimiento y el saber de esta ciencia tan maravillosa y til en la vida. Entre sus principios versa lo siguiente:
- Preparar as como capacitar por medio de las olimpiadas de lgica a los mejor alumnos as como a
aquellos que tengas un deseo genuino eh inters por aprender la lgica

I. ESTATUTOS
ARTICULO PRIMERO. LA DENOMINACION. Los contratantes convienen en denominar
a su agrupacin "ACADEMIA MEXICANA DE LOGICA", ASOCIACION CIVIL.

ARTICULO SEGUNDO. OBJETO. La asociacin tendr por objeto realizar actividades
encaminadas a: a). Promover la investigacin, enseanza y difusin de la lgica; la asociacin se
propone en particular contribuir a mejorar los niveles de enseanza de la lgica y ofrecer
estmulos a sus miembros para que realicen y publiquen investigaciones sobre lgica. b).
Fomentar las relaciones entre las personas y/o sociedades dedicadas a la investigacin,
enseanza y difusin de la lgica dentro y fuera del pas; en especial dar a conocer y difundir el
trabajo de la Asociacin Mexicana de la Lgica. c). La organizacin de todo tipo de actividad y
la edicin de todo tipo de material escrito de audio o video conducentes a la realizacin de los
fines anteriormente citados. d). La realizacin de todos los dems actos no prohibidos por la
Ley, que se relacionen con las dems finalidades expresadas en los apartados que anteceden.

ARTICULO TERCERO. DURACION. La Asociacin Civil tendr una duracin indefinida.

ARTICULO CUARTO. DOMICILIO SOCIAL. El domicilio social de la Asociacin Civil que
se constituye, ser en la ciudad de Xalapa, Veracruz, sin perjuicio de poder establecer
domicilios convencionales en cualquier parte del Estado, sin que por ello se entienda cambiado
el mismo.

ARTICULO QUINTO. DE LA NACIONALIDAD. La Asociacin que se constituye es de
nacionalidad mexicana. El artculo octavo del Reglamento de la Ley Orgnica de la Fraccin
primera del Artculo Veintisiete Constitucional, establece que se conviene con el Gobierno
Mexicano ante la Secretara de Relaciones Exteriores, por los asociados fundadores y los
futuros que la asociacin pueda tener, en que "Ninguna persona extranjera fsica o moral,
podr tener participacin social alguna en la Asociacin. Si por algn motivo, alguna de las
personas mencionadas anteriormente por cualquier evento llegare a adquirir una participacin
social contraviniendo as lo establecido en el prrafo que antecede, se conviene desde ahora en
que dicha adquisicin ser nula, y por lo tanto cancelada y sin ningn valor la participacin
social de que se trate y los ttulos que la representen, tenindose por reducido el capital en una
cantidad igual al valor de la participacin cancelada".

ARTICULO SEXTO. PATRIMONIO DE LA ASOCIACION. El patrimonio de la
Asociacin se constituye con: a). Las cuotas que al efecto designe la asamblea a cada uno de los
asociados. b). Los bienes y derechos que por cualquier ttulo aporten los asociados, o que en el
cumplimiento de su objeto, adquiera la asociacin. c). Las cooperaciones de cualquier especie
que otorguen los asociados. d). Los bienes o derechos que por cualquier ttulo adquiera. e). Los
integrantes disponen que la asociacin destinar la totalidad de sus activos exclusivamente a los
fines propios de su objeto social, no pudiendo otorgar beneficios sobre el remanente
distribuible a persona fsica alguna o a sus integrantes personas fsicas o morales, salvo que se
trate en este ltimo caso de alguna de las personas morales autorizadas a que se refiere el
propio

ARTICULO Noventa y siete de la Ley del Impuesto Sobre la Renta, o se trate de la
remuneracin de servicios efectivamente recibidos. Esta disposicin es de carcter irrevocable.
Cuando un asociado perdiera tal carcter por renuncia, separacin, exclusin, muerte o por
cualquier otro motivo, quedar en favor de la asociacin el importe de las cuotas, donativos
y/o contribuciones econmicas de cualquier clase que hubiera entregado a la asociacin.

ARTICULO SEPTIMO. DE LOS ASOCIADOS. Se entiende por asociado a la persona fsica
o moral que tenga inters en colaborar con la Asociacin y que ingrese a la misma.

ARTICULO OCTAVO. La firma de la solicitud de ingreso, implica la obligacin de los
asociados en el cumplimiento de este contrato y sus estatutos.

ARTICULO NOVENO. La calidad de asociado es intransferible.

ARTICULO DECIMO. SON DERECHOS Y OBLIGACIONES DE LOS MIEMBROS
DE ESTA ASOCIACION. a). Ejercer el voto en la asamblea. b). Ser electo para formar parte
de los rganos de administracin. c). Cooperar para el mejor funcionamiento de la asociacin.
d). Participar en las actividades de la asociacin que se realicen en cumplimiento de su objeto.
e). Desempear las comisiones que le sean conferidas en las asambleas. f). Respetar y cumplir
con lo dispuesto en estos estatutos. g). Cubrir con puntualidad las cuotas asignadas. h). Acatar
los acuerdos de la asamblea y dems rganos de la asociacin.



II. MISIN
Difundir la lgica y formar investigadores y docentes capaces de fomentar sus aplicaciones as
como el amor y la pasin por esta rea a lo largo de todo el estado de Michoacn con el
objetivo de crear personas capaces eh integras para la formacin y capacitacin en esta rea del
saber.
III. VISIN
Ser una academia formadora de personas comprometidas socialmente con el desarrollo
cientfico, tecnolgico y humanstico en el contexto de la lgica y sus aplicaciones. As como
personas con los ms altos ideales intelectuales, humanista y cientficos.
Ser una academia formadora de personas con un pensamiento lgico que contribuya con sus
aportaciones al desarrollo cientfico y tecnolgico del estado de Michoacn.

IV. VALORES
Los valores estn centrados en el respeto, la dignidad as como el arduo trabajo intelectual con
el fin de alcanzar los objetivos planteados tanto en la misin como la visin siendo acorde a su
vez con los maestros, alumnos as como todas aquellas personas interesadas en el desarrollo,
fomento y capacitacin de la lgica. Entre ellos se encuentran.
Responsabilidad. Para con los involucrados as como con los materiales de respetar y dar un
trato digno as como formacin de calidad.
Honestidad: Ser honestos en el sentido de que si algo no se sabe bien, o no es conocido mejor
aceptarlo a formar personas con ideas errneas
Confianza:
Honradez:
Compromiso:
Equidad:

V. OBJETIVOS INSTITUCIONALES
Entre los objetivos institucionales en conformidad con la misin y la visin se han definido
los siguientes:
1) Formacin cientfica tanto para los docentes como los alumnos involucrados con la
AML. (medir mediante publicaciones)
2) Mantener el posicionamiento como lderes en la representacin de la Olimpiada
Mexicana de Lgica.
3) Expandir los lmites de la Olimpiada no solo en el pas, sino adems en todo el estado
en particular en las zonas alejadas del centro de Morelia.
4) Cobertura total en todas las escuelas para invitar y motivar la participacin en la
Olimpiada Estatal. (secundaria y preparatoria)
5) Ampliar la difusin de la lgica y sus aplicaciones en reas de especializacin en
licenciatura y maestra.
6) Formacin de un comit local as como una red de trabajo a distancia para cubrir todo
el estado.
7) Garantizar una formacin de calidad as como investigadores en reas como son la lgica
clsica y lgicas no clsicas, en lgicas modales y epistmica.
8) Fomentar la calidad de los estudios de posgrado en lgica as como cursos de
actualizacin que satisfagan las necesidades de los sectores pblicos y privados.


VI. MARCO LEGAL.
Asociacin civil sin fines de lucro.

Presentacin de trabajos tcnicos en eventos cientficos y tecnolgicos as como de difusin.

3.- Proyecto acadmico
* Principios pedaggicos
Los principios pedaggicos estn basados en varias teoras, en especial la de la resolucin
de problemas propuesta por George Polya ya que este mtodo se adecua bastante bien
para la preparacin de los alumnos para las olimpiadas tanto estatales como nacionales
eh internacionales de Lgica.
Este mtodo es efectivo por las siguientes razones:
- Le permite al alumno aprender a conjeturar
- Le permite al alumno aprender a demostrar
- Puede ir haciendo conjeturas por descubrimiento al resolver problemas
- Le permite la construccin de esquemas mentales slidos y fuertes
- Desarrolla un descubrimiento heurstico al ir resolviendo problemas de diferentes
dificultades
- Lo hace ser un ser crtico
- Desarrollar una habilidad de pensamiento cientfico
Adems de eso se basa en varios puntos de las teoras pedaggicas como lo son el
conductismo donde se le premia y estimula al alumno al resolver problemas difciles
haciendo un reconocimiento que para ellos es importante, del cognitivismo se toma la
parte de que el sujeto es agente activo en el desarrollo y descubrimiento del conocimiento.
* Perfil del docente
El perfil del docente es muy importante para los fines de la Academia Mexicana de Lgica,
ya que se exige que sean personas comprometidas y de preferencia que sean personas con
amor por las ciencias as como la filosofa. Algunos de los aspectos principales que se
piden para el docente son los siguientes:
- Sea una persona responsable y constante
- Apasionado por el conocimiento
- Sea una figura de admiracin para sus alumnos
- Motive el estudio de la lgica y sus aplicaciones
- El grado no importa, lo que importa es el conocimiento que sea demostrable
- Recomendable que se dedique al estudio de la lgica
- Participe en congresos, foros, talleres tanto de investigacin como difusin de la
lgica y/o sus aplicaciones.

* Perfil del egresado
Se pretende que el alumno sea capaz de hacer conjeturas lgicas as como poder
aplicarlas a su vida cotidiana.
Entre algunos de los conocimientos mnimos que se exige al estudiante es que el sea capaz
de entender y manipular tanto simbologa como conocimientos.
LGICA

Semntica:
En lgica clsica proposicional, la semntica tiene como fin dar significado a las frmulas bien
formadas
( ) fbf del lenguaje a partir de su estructura sintctica y establecer la nocin de semntica de
deduccin.

1. Definicin Dado un conjunto de valores semnticos o significados S , una interpretacin I , para
un lenguaje L es una funcin que asocia un significado o valor semntico a cada
( ) fbf de L. Una
interpretacin es una funcin : I L S .

Un problema de estudio, es determinar subconjuntos D de S . Sea D S _ el subconjunto de valores
semnticos (o significados) destacados. En lgica clsica, el valor de valores semnticos
{ } , D verdad falsedad = y el valor destacado es el valor de verdad.

Note que cada interpretacin nos permite una lectura de las
( ) fbf del lenguaje formal y le asigna un
significado a cada
( ) fbf .

Sea I el conjunto de interpretaciones consideradas
( )
L
I S _ . I es el conjunto de lecturas posibles
de las palabras del lenguaje. Dado un lenguaje formal L, la terna
( ) , , S D I se llama semntica para L.
2. Definicin El conjunto de frmulas bien formadas de Les
{ } | A A es una fbf de L O= .
L O_ .
3. Definicin Sea L un lenguaje formal y
( ) , , S D I una semntica para L.
i) Una interpretacin I I e es un modelo para una
( ) fbf A del lenguaje L, si asigna a A
un valor destacado, es decir, si
( ) I A D e . El conjunto de modelos de A se denota
( ) Mod A y nos entabla toda la informacin contenida en A, toda frmula posible de
modelar.
ii) Una interpretacin I I e es un contramodelo para una
( ) fbf del lenguaje L, si asigna a A
un valor destacado
( ) ( )
I A D e . El conjunto de contramodelos de Ase denota
( ) ContraMod A
iii) Una interpretacin I I e , es un modelo para el conjunto L O_ si es un modelo de todas
las fbf de O. I asigna a todas las fbf de O un valor destacado. El conjunto de modelos
de O se denota
( ) Mod O .
iv) Una interpretacin I I e es un contramodelo para O del lenguaje L si existe AeOtal que
( ) I A eO. I asigna a alguna fbf en O un valor no destacado. El conjunto de
contramodelos de O se denota ( ) ContraMod O .
v) Una fbf , A L e se dice modelizable o satisfacible si existe al menos una interpretacin
I I e tal que
( ) I A D e , es decir,
( ) Mod A = C.

Una demostracin en un sistema axiomtico S es una sucesin finita de fbf del lenguaje formal
asociado, en la cual cada fbf es un axioma de S o una consecuencia inmediata de una o ms fbf
precedentes en la secuencia. Si la ltima fbf de una demostracin es A, se dice que es una
demostracin de A en S .

4. Definicin Sea Auna frmula bien formada. Aes un teorema en S (denotado con
S
A o A
) si existe para ella una demostracin. El conjunto de teoremas de S es un conjunto minimal de fbf
que contiene al conjunto de axiomas y es cerrado para las reglas de inferencia.

5. Definicin Sea Auna fbf . Una deduccin de A desde un conjunto O en un sistema
axiomtico S denotado
S
A O es una secuencia finita de fbf del lenguaje formal asociado, en el
cual cada frmula bien formada es un axioma de S , AeO o una consecuencia inmediata de una o
ms oeO precedentes en la secuencia.
En este caso, las oeO se suelen llamar hiptesis o premisas, y A es la conclusin de la hiptesis.
Observe que si en S se tiene que
S
A O entonces toda deduccin A desde O es una demostracin
de A en S tal que S tiene las mismas reglas de inferencia que S y sus axiomas son los axiomas de
S junto con todas las oeO.

Sean AeO,
{ } | L es fbf o o O= e
vi) A L e , no es modelizable o insatisfacible si para toda interpretacin I I e
se tiene que
( ) I A D e
, es decir ( ) Mod A =C.
vii) L O_ es modelizable o satisfacible si tiene al menos un modelo
( ) Mod O =C.
viii) L O_ es no modelizable o insatisfacible si no tiene modelos, es decir;
( ) Mod O =C.
6. Definicin

i) A L e es vlido (denotado A ) si toda interpretacin es un modelo para A, es decir
( ) Mod I O = .
ii) Sean L O_ y CeO, decimos que C se deriva, de donde se infiere semnticamente de
O, (Denotado C O ) si todo modelo para O es un modelo para C , esto es
( ) ( ) Mod Mod C O _
Llamaremos a TM una teora de modelos para un lenguaje L al par
( ) , L S donde
( ) , , S S D I = es
una semntica de L.
Definiremos un mecanismo de deduccin:
1) Un conjunto finito o infinito numerable de axiomas como fbf de L. (Axiomas L _ ).
2) Un conjunto de reglas de inferencia, deduccin o transformacin que establezca una fbf cundo
una fbf de L es consecuencia inmediata de una o varias fbf de L.
La nocin de demostracin como deduccin lgica de un teorema a partir de un conjunto de axiomas
fue escrita por primera vez por Euclides (300 aC.); pero su definicin rigurosa se debe a Leibniz en el
siglo XVII.

Propiedad de Monotona.
Si ' O_O y A O entonces ' A O
Si aumentamos el conjunto de hiptesis, se mantiene o aumenta el nmero de conclusiones.
Las lgicas que poseen esta propiedad se llaman lgicas no monotnicas. La lgica clsica es montona.
La relacin de consecuencia deductiva es reflexiva y transitiva.
Reflexiva: , A A eO O
Transitiva: Si A O y
{ } A B , entonces B O .

7. Definicin Sea T una teora formal ( )
( )
, , , , T L S D I S = donde
( ) , , S D I es una semntica
para L y S es un sistema axiomtico para el lenguaje L. Una interpretacin I I e es un modelo
para una teora T , si es un modelo para el conjunto de teoremas de T .

La relacin entre la teora de modelos y una teora de demostracin para un lenguaje formal L son la
correccin y la completud de la teora. Esto es la derivabilidad siempre asegura la derivabilidad
semntica y viceversa.

8. Definicin Una teora formal se dice correcta si cumple que si A O entonces A O
En particular, en una teora correcta todo teorema es una fbf vlida.
Una teora formal se dice completa si
Si A O entonces A O
En particular, en toda teora completa toda fbf vlida es un teorema.

Lgica Proposicional

La lgica proposicional trata slo afirmaciones declarativas que llamamos proposiciones o enunciados.
Cada proposicin pose una asignacin de verdad o falsedad.

La lgica proposicional se basa en dos principios:
- Principio de contradiccin: un enunciado nunca es verdadero y falso a la vez.
- Principio del tercer excluido: un enunciado es verdadero o falso; no existe una tercera
posibilidad.

La lgica clsica es la base de cualquier otra lgica. Una aplicacin de esta en la computacin digital es
la construccin de las compuertas lgicas.

8. Definicin El lenguaje LP de la lgica proposicional clsica se define como:
i) Alfabeto: El alfabeto a consta de:

- Un conjunto numerable de smbolos o variables proposicionales.
{ } , , ,..., , , ,... , ,
i i i n n n
V p q r p q r p q r =
Donde cada smbolo representa una proposicin
- Los smbolos de constante y ___
- Los smbolos , , , , . v como conectivos u operadores lgicos (el smbolo tambin
se puede usar como )
- Los smbolos de puntuacin
( ) " " , " ".
Frmulas Bien Formadas en LP.
El lenguaje LP es la clausura inductiva libremente generada del conjunto base
{ } , V para los
constructores , , , , C C C C C
. v
definidos como sigue:
Sean , X Y cadenas de a , definimos:

-
( ) C X X

=
-
( ) , C X Y X Y
.
= .
-
( ) , C X Y X Y
v
= v
-
( ) , C X Y X Y

=
-
( ) , C X Y X Y

=

Donde " " se leeverdad y se lee falsedad. Y si A y B son frmulas bien formadas en LP.
A se lee no A y se llama negacin de A .
A B . se lee A y B y se llama conjuncin de Ay B
A B v se lee A o B y se llama disyuncin de Ao B
A B se lee Si A entonces B y se llama implicacin material con Acomo antecedente y B como consecuente.
A B se lee A s y solo s B y se llama bi-implicacin material.
Si A y B son fbf entonces , , , , A A B A B A B A B . v son fbf y toda fbf tiene como
base estos.

Note que toda fbf tiene la propiedad ; esto puede observarse pues si A es fbf entonces
( ) , A V T e y tiene la propiedad P . La propiedad P consiste en que A tiene la propiedad P si
A es fbf . Pero, si A tiene la propiedad P , entonces A tiene la propiedad P . Adems, si A y B
tienen la propiedad P entonces , , A B A B A B . v y A B tienen la propiedad P .
Recordemos que el lenguaje
0
Lp a _ = , en consecuencia el nmero de fbf de Lp sobre a es menor
o igual al infinito numerable.
En la clase P ____ a
{ } , T . Note que
{ } | P Lp es fbf o o = e

9. Definicin La funcin grado, : gr Lp asigna a cada P oe el nmero de conectivos que
intervienen en o . El grado de o se define recursivamente:
-
( ) { } 0 , gr si V T o o = e
-
( ) ( ) 1 gr gr o o = +
-
( ) ( ) ( ) { } 1 , , , gr gr gr si o | o | - = + + -e . v

10. Definicin La funcin subfrmula, : 2
Lp
sub Lp que asigna a Lp o e el conjunto
( ) 2
Lp
sub o e de todas sus subfrmulas y que se define recursivamente:
-
( ) { } { } , sub si V T o o o = e
-
( ) ( ) { } sub sub o o o =
-
( ) ( ) ( ) { } { } * * , , , sub sub sub si o | o | o | - = = . v .

Ejemplo: Sea
( ) , A Lp A p q r e = v
El grado de A esta dado de forma recursiva de la siguiente manera:
( ) ( ) ( ) ( ) 1 gr p q r gr p q gr r v = + v +
y como
( ) ( ) ( ) 1 gr p q gr p gr q v = + +
( ) ( ) ( ) ( ) ( ) 1 1 gr p q r gr p gr q gr r v = + + + +
adems el grado de
( ) ( ) 1 gr q gr q = +
( ) ( )
1 1 1 0 0 0 3 gr p q r v = + + + + + =
y como
( ) ( ) ( ) 0 gr p gr q gr r = = =
( ) ( )
3 gr p q r v =

La nocin de subfrmula puede ser introducida como el cierre reflexivo y transitivo de la relacin
es subfrmula inmediata de definida en la Lp como sigue:
- Si { } , V T oe , ninguna fbf es subfrmula inmediata de o .
- o es subfrmula inmediata de o
- o y | son subfrmulas inmediatas para o | -

rbol Sintctico

10. Definicin El rbol sintctico de Lp o eO_ denotado por T
o
es el rbol

(donde
Lp
a =

es el alfabeto para Lp )
- Si o | = con
{ } , p V T e entonces T
o
es o .
- Si o | = entonces T
o
es |
T
|


- Si
( ) * o | = donde
{ } * , , , = . v entonces T
o
es
*
T T
o |

Ejemplo: El rbol sintctico de A ( ) fbf
( ) ( ) ( ) ( )
~ ~~ ~ A p q p q q p = v v (



11. Definicin La propiedad de AeO definida por
( ) pr A es la propiedad de su rbol
sintctico
A
T .
( ) Pr A es la longitud ms larga de su rbol sintctico (medida por el nmero de reas o enlaces
entre los nodos), y se define como:
-
( ) { } , Pr A C si A V T = e
-
( ) ( ) 1 Pr A Pr A = +
-
( ) ( ) ( ) { }
* 1 max , Pr A B Pr A Pr B = + donde
{ } * , , , = . v

Semntica de Lp .
Definimos una semntica
( ) , , S D I para Lp como sigue:
- El conjunto de significados o valores semnticos es
{ } 0,1 S =
- El conjunto de valores semnticos destacados es
{ } 1 D=
- El conjunto I es el conjunto de las asignaciones
{ } : 0,1 f Lp
En este caso I se llama el conjunto de interpretaciones Booleanas.
12. Definicin Una interpretacin (Booleana) es la funcin
{ } { } : , 0,1 I V T tal que
( ) ( ) 1 0 I T y I = = .
Dada una interpretacin I , la asignacin de un valor de verdad de una AeO se realiza
mediante una extensin recursiva de I a Lp a la que denotamos I , obtenida al asignar a todos
los constructores
{ } , , , , C C C C C
. v
las funciones sobre
{ } 0,1 .
Sean
{ } , , , , f f f f f
. v
dados por la tabla:
x
y
( ) f x


( ) , f x y
.

( ) , f x y
v

( ) , f x y


( ) , f x y


1 1 0 1 1 1 1
1 0 0 0 1 0 0
0 1 1 0 1 1 0
0 0 1 0 0 1 1

Por tanto, la extensin recursiva de una interpretacin I es la aplicacin
{ } : 0,1 I Lp ,
determinada por las siguientes condiciones:
-
( ) ( ) 1 I A I A = es decir
( ) ( ) 1 0 I A I A = =
-
( ) ( ) ( ) { }
max , I A B I A I B v = es decir
( ) ( ) ( ) 0 0 I A B I A I B v = = =
-
( ) ( ) ( ) { }
min , I A B I A I B . = es decir
( ) ( ) ( ) 1 1 I A B I A I B . = = =
-
( ) ( ) ( ) 0 0 0 I A B I A y I B = = =
-
( ) ( ) ( ) 1 I A B I A I B = =
A eO y su interpretacin I , si ( ) 1 I A = se dice que A es verdadera y se denota I A . Si
( ) 0 I A = , se dice que Aes falsa y se denota con I A .

Denotaremos
Lp
I al conjunto de interpretaciones para Lp .
Una interpretacin para
Lp
AeO es una asignacin de valores de verdad a los smbolos
preposicionales que intervienen en A. Denotaremos por
( ) Lp A
I al conjunto de interpretaciones
para A. As que llamaremos
( )
Lp
V A al conjunto de smbolos o variables proposicionales que
intervienen en A, se tiene que
( ) ( ) { } { }
| : 0,1
Lp Lp
I A I I V A = y por tanto si
( )
Lp
V A n = , se
tiene que
( ) 2
n
Lp
I A = .
Supongamos que
( ) { }
1 2 3
, , ,...,
Lp n
V A P P P P = y que
( ) { } { } { }
1 2 3
| : , , ,..., 0,1
Lp n
I A I I P P P P =
que se identifica con el conjunto potencia de
( )
Lp
V A ; esto es
( )
( ) ( )
( )
2 2
Lp
V A
n
Lp Lp A
I P V A = = =
La forma comn de presentar los valores de verdad de
Lp
AeO para cada una de sus
interpretaciones es mediante un arreglo rectangular llamado Tablas de Verdad.
Clasificacin Semntica de las Frmulas Bien Formadas: Satisfacibilidad y Validez.

13. Definicin Una AeO se dice modelizable o satisfacible si
( ) 1 I A = para alguna interpretacin
I . En este caso, se dice que la interpretacin satisface A, o bien que I es un modelo para A.
Denotaremos por
( ) Mod A el conjunto de modelos de A.
( ) ( ) { }
| 1
Lp
Mod A I I I A = e =
Denotaremos pro
( ) contramod A al conjunto de contramodelos de A, es decir,
( ) ( ) { }
| 0
Lp
contramod A I I I A = e =


Una
Lp
AeO se dice contingente si tanto ella como su negacin se dicen satisfacibles; es decir,
existe una interpretacin I que es un modelo de A y una interpretacin ' I que es un
contramodelo de A; A es contingente. Si
( ) Mod A =C y
( ) ContraMod A =C.
Como
( ) ( ) Mod A ContraMod A = , se tiene que:
1. Prop A es contingente si y solo si A es contingente.
14. Definicin
Lp
AeO se dice vlida o tautologa, si
( ) 1 I A = para toda interpretacin I , es
decir; toda interpretacin es un modelo de A;
( )
Lp
Mod A I = .
Lp
AeO se dice insatisfacible o es contradiccin si
( ) 0 I A = para toda interpretacin I , es
decir;
( )
Lp
ContraMod A I =
2. Proposicin T es vlida y es insatisfacible.
A es vlida A es insatisfacible .
De esta manera, podemos clasificar a las A
Lp
eO :
{ } { } { } Lp A Insatisfacible A Contingentes A Vlidas = e e e
15. Definicin El conjunto
Lp
O se dice consistente, modelizable o satisfacible, si existe alguna
interpretacin I tal que
( ) I A =
Lp
A eO . En este caso, se dice que la interpretacin I
satisface
Lp
O , o bien I es un modelo para
Lp
O . Denotaremos por
( )
Lp
Mod O al ajuste de
modelo
Lp
O , es decir.
( )
( )
Mod
i Lp
Lp
A
Mod
i
A
eO
O =


* Materiales y recursos didcticos
Para los fines y metas planteados en la AML el cual es un proyecto a nivel tanto estatal
como nacional se requiere el apoyo, compromiso y apoyo de diferentes instituciones
educativas tanto asociadas a la UNAM que fue la que empez con dicho proyecto as como
escuelas tanto particulares como privadas.
Para el caso de Morelia se cuenta con el apoyo de las siguientes instituciones:
- UMSNH (departamento de filosofa)
- Preparatoria Interamericana
- Preparatoria Novel
- Universidad Nova Spania
- Preparatoria PreUniversitaria
Adems de eso se utilizan como recursos didcticos por ejemplo las obras de los siguientes
autores:
- Introduccin a la Lgica Irvin Copi
- Lgica Simblica Irvin Copi
- Teora de Conjutnos F Hernandez.
- Principios de Lgica E. de Gortari
- Diversas Publicaciones (Anexo 2)

Algunas de las publicaciones que fundamentan y dan sustento a la Delegacin de Lgica
de Morelia son las siguientes:
1. Castaeda R Jesus, Cardenas T. Humberto, The Data Encryption Standard
and Regular Mappings. IV International Congress and 2 National Congress
of Numerical Methods and Science Applied. Morelia, Mich. 2006.
2. Castaeda R Jesus, Cardenas T. Humberto, The Robustness of Regular
Mappings. IV International Congress and 2 National Congress of Numerical
Methods and Science Applied. January 2006.
3. Castaeda R, Jess, Diagramas Lgicos para Subespacios Vectoriales. X
Encuentro Internacional de Lgica, Universidad de Sinaloa, Mazatln. 2007
4. Castaeda R. Jess, The Affine Group Aff(n,2) and The Robust of Regular
Mappings, 8th. World Congress on Computational Mechanics (WCCM8)
and 5th. European Congress on Computational Methods in Applied
Sciences and Engineering (ECCOMAS 2008), Venice, Italy. June of 2008.
5. Castaeda R Jesus, Olmedo S. Edgardo Regular Mappings and Applied in
Numerical Cryptography. V International Congress of Numerical Methods
and Science Applied. February 2010, Guanajuato, Mexico.
6. Castaeda R Jess, Olmedo S. Edgardo, Suarez A. M. C. Numerical Dual-
Self Codes and Leech Lattice. V International Congress of Numerical
Methods and Science Applied. February 2010, Guanajuato, Mexico.
7. Marulanda, F. El Concepto Intuitivo de Validez: Aspectos Filosficos y
Formales. XIII Encuentro Internacional de Didctica de lgica. Morelia. 2011
8. Marulanda, F. Dialetheic Truth Theory: Inconsistency, Non-Triviality,
Soundness, Incompleteness (2009)
9. Castaeda R, Jesus. Introduction to Set Theory. I Congress on Teaching of
Logic. May 18-20, Morelia. Mich.
10. Castaeda R, Jesus. Introduction to Coding Theory and Leech Lattice. I
Congress on Logic and Computation. Ago 24-25, Coalcoman. Mich.
11. Marulanda, F. Paradojas Semnticas y Cambio de Lgica. Identidad y
Diferencia, Vol. I. Editorial Siglo XXI.
12. Flores, L. Compendio de Lgica Moderna. UMSNH. 2000.
13. Marulanda, F. Neo-Republicanism, Ecologism and the Goals of the state
(2009)
14. Olmedo, E. La lgica en las ciencias fsicas: su importancia en la formacin
crtica de la sociedad. VIII Encuentro Internacional de Lgica. Uruapan,
Mich. 2004.
15. Flores, L. Por una lgica sin ontologa. Estrategias para su enseanza. VIII
Encuentro Internacional de Lgica. Uruapan, Mich. 2004.

* Proceso de admisin y egreso
Para el ingreso a la Academia Mexicana de Lgica es necesario presentar una solicitud de
ingreso a la institucin, adems de la recomendacin de dos personas que trabajen en
algn campo de la lgica. Una vez hecho esto, la solicitud debe ser revisada y aprobada
por los miembros del consejo de la AML. (Anexo Formato)

* Evaluacin del aprendizaje
La manera de la evaluacin del aprendizaje se da en base a las publicaciones de los
miembros en revistas especializadas, con arbitraje o de difusin. Por otro lado la otra
parte de la medicin es en base a los exmenes de olimpiada de Lgica tanto estatal como
Nacional.
4.- Gestin educativa
* Estructura organizativa
La estructura organizativa de la AML de manera general est dada de la siguiente
manera:
Por mandato de la Asamblea General Ordinaria de la AML del mircoles 7 de
noviembre de 2012, la nueva mesa directiva para el perodo 2013-2015 tom
posesin durante la Asamblea General Extraordinaria del 23 de marzo de 2013; ha
quedado conformada como sigue:

Gabriela Guevara Reyes
Presidente


Teresita Mijangos
Vicepresidente y Tesorera


Federico Arieta Pensado
Secretario


Ariel Campirn Salazar
Coordinador de Publicaciones


Jess Casstaeda Rivera
Coordinador de la X Olimpiada Internacional de Lgica


Cristian Alejandro Gutirrez Ramrez
Coordinacin del Comit Acadmico de la Olimpiada


Csar Manuel Lpez Prez
Coordinador de enlace y reglamento de la Olimpiada
La mesa directiva est integrada de la siguiente manera:
Virginia Snchez Rivera
Presidente 2011-2013


Gabriela Guevara Reyes
Vicepresidente 2011-2013


Csar Manuel Lpez Prez
Secretario 2011-2013


Fernando Flores Galicia
Coordinador Nacional del Taller de Didctica de la Lgica 2011


David Gaytn Cabrera
Coordinador de Publicaciones 2011-2013

La AML delegacin Morelia est integrada de la siguiente manera:
Edgardo Olmedo Sotomayor
Delegado Estatal Morelia.
Comit Acadmico:
Juan Jos Reynoso Cerano
Entrenador fase nacional (Arboles lgicos)
Luis Alberto Oregel Morales
Entrenador fase Nacional (Teora de Conjuntos)
Jess Castaeda Rivera
Entrenador fase Nacional (Cuantificadores y negaciones)
Edgardo Olmedo Sotomayor
Entrenador fase Nacional (Falacias y acertijos Lgicos)
MIEMBROS:
Lic. Adn negrete N. (UMSNH)
Mtro. Mario Alberto Cortes (UMSNH)
Lic. Paulo Garca (UMSNH)
Mtra. Gina Villanueva (UMSNH)
M. A. Vianey Baltazar (UMSNH)
Lic. Manuel Vzquez (UMSNH)
Lic. Zharaska Caldern (UMSNH)
Lic. Mara Salud Valencia (UMSNH)
Lic. Esperanza Romn (Inst. Montrer)

* Mecanismos de financiacin
El financiamiento proviene en gran medida de las instituciones sedes de cada olimpiada
estatal y/o nacional dado el caso, adems de eso se cuenta con una bolsa de
financiamiento proveniente de la UNAM por parte de la facultad de Filosofa. Otras
financiamiento para los congresos es por parte de algunos miembros, de instituciones que
apoyan la ciencia as como la tecnologa entre ellas, en la ciudad Morelia es el CECTI.
Capacitacin.

Los profesores de lgica tanto de la academia como de las instituciones involucradas con el
fomento y estudio de la lgica, los cuales podrn solicitar el financiamiento por un porcentaje
del valor de la inscripcin, viajes, viticos para la asistencia a congresos, seminarios, programas
de especializacin y maestras es decir cualquier evento de que reporte mejora a la actividad
que este directamente relacionado con el rea de docencia o con el desempeo del cargo, de
acuerdo al inters de la institucin y a la disposicin presupuestal. (Sujeto a disposicin de
AML nivel nacional)