MISION ALMA MATER

La Misin Alma Mater es el ncleo de la poltica de la

universalizacin de la educacin superior impulsada por el MPPES, cuya
estrategia bsica es la municipalizacin. Se inscribe en el marco de los
Planes de Desarrollo Econmico y Social de la Nacin 2000-2006 y 20072013, y en el Proyecto Nacional Simn Bolvar.
VISION
Ves un programa gubernamental Venezolano, orientado a la
educacin que contempla la creacin de universidades Territoriales, as
como la transformacin de los IUT (Institutos Universitarios de Tecnologa)
y CU (Colegios
Universitarios)
en
universidades
experimentales
politcnicas. La misin alma mater se crea principalmente con el propsito
de impulsar la transformacin de la educacin universitaria venezolana y
propulsar su articulacin institucional y territorial, en funcin de las lneas
estratgicas del Proyecto Nacional Simn Bolvar, garantizando el derecho
de todas y todos a una educacin superior de calidad sin exclusiones. Ser
un referente nacional e internacional, promotor de pensamientos que
generen conocimientos innovadores para el desarrollo endgeno y
sostenible del pas, fundamentado en los valores y principios de una
sociedad socialista.
PROPOSITO
Es impulsar la transformacin de la educacin universitaria,
promover su proyeccin territorial, consolidar el Poder Popular y la
construccin de una sociedad solidaria, participativa y con justicia social.
OBJETIVO

Generar un nuevo tejido institucional de la Educacin Universitaria

venezolana.
Garantizar la participacin de todas y todos en la generacin,
transformacin y difusin del conocimiento.
Propulsar la articulacin del sistema de educacin universitaria
venezolano, bajo principios de la cooperacin solidaria.
Fortalecer un nuevo modelo acadmico comprometido con la inclusin
y la transformacin social.

FINALIDAD

Garantizar el derecho de todos y todas a una educacin superior de

calidad.
Busca constituirse en la referencia para una nueva institucionalidad,
caracterizada por la complementariedad, la solidaridad y la
cooperacin, cuyos ejes estn en la generacin, apropiacin,
transformacin y socializacin de conocimiento pertinente a nuestras
realidades culturales, ambientales, polticas, econmicas y sociales.

BASES LEGALES

Nuestra Carta Magna, donde se especifica la gratuidad de la educacin

con criterios de calidad.
Declaracin Universal de los Derechos Humanos en su artculo 26, que
plantea la educacin como un derecho de la humanidad.
Los Motores del Proyecto Socialista Bolivariano, particularmente en el
Tercer motor: Moral y Luces, Cuarto Motor: La Nueva Geometra del
Poder y en el Quinto Motor: Explosin del Poder Popular.
Misin Alma Mater, Proyecto de Transformacin de los I y CU en
Universidades Politcnicas.
Plan de Ciencia y Tecnologa 2005-2030.
Plan Nacional Simn Bolvar 2007-2021.
Plan de Desarrollo Econmico y Social de la Nacin 2001-2007, las
Lneas Generales para el Desarrollo Econmico y Social de la Nacin
2007-2013 y los planes de desarrollo econmico y social de las
regiones.

Los planteamientos formulados justifican que el proceso de transformacin

de los I y CU en Universidades Politcnicas, precise el desarrollo de
programas de formacin en las reas de las ciencias, la tecnologa, la
tcnica y las artes, para la titulacin en Licenciaturas e Ingenieras, que
tengan impacto y pertinencia social, para mejorar la equidad en el acceso
y prosecucin de los estudiantes; elevar la calidad y eficiencia de las
instituciones; promover y fortalecer la cooperacin nacional, regional e
internacional; lograr una mayor pertinencia social de la formacin recibida
en los distintos mbitos territoriales y finalmente, promover una mayor
interrelacin del sector universitario con las comunidades mediante
procesos integrales de vinculacin con las comunidades..
EL ROL DEL NUEVO PARTICIPANTE UNIVERSITARIO

Procesos en los que participan el estudiante: Inscripciones,

orientacin, asesoras, movilidad estudiantil, evaluaciones de los
aprendizajes.

Medios y recursos acadmicos y tecnolgicos para uso del participante.

Servicios de bienestar estudiantil: socio-econmicos, recreativos y de
salud.
Medios
e
instancias
de organizacin estudiantil:
reglamentos,
asociaciones y federacin de participantes, representaciones en el
gobierno.
Insercin del participante en la comunidad: Qu se entiende por
comunidad?, abordaje, descripcin y tipos de comunidad.
El proyecto Socio-tecnolgico como ncleo central del PNF-I.

Tiene como principio garantizar el acceso a la Educacin Superior,

tomando como inicio las estrategias emanadas del Ministerio del Poder
Popular para la Educacin Superior a travs de:

Polticas de admisin basadas en principios de equidad y justicia social,

respetando condicin social, religiosa, cultural y facilitando el ingreso
de personas con discapacidad.
Sistema inclusivo que est orientado a cubrir los requerimientos de
talento humano necesarios para el desarrollo regional y nacional.
Acciones sistmicas que permitan ubicar al aspirante en el nivel
correspondiente de acuerdo con sus habilidades y destrezas.
Programas de formacin flexibles atendiendo la municipalizacin
territorial y universalidad, crendose las condiciones para la misma y
tomando en cuenta las especificidades locales.

En este marco conceptual, segn lo planteado por la Subcomisin de

Polticas y Estrategias del Sistema de Ingreso, Permanencia y Egreso de
Alma Mater
el sistema de ingreso, Permanencia y Egreso de las
Universidades Politcnicas se presenta como un conjunto de polticas,
lineamientos, acciones y propuestas que buscan mejorar y replantear el
quehacer Se enfila en la articulacin con los niveles educativos, y genera
estrategias de orientacin hacia la educacin media y diversificada,
atencin a la trayectoria y desempeo estudiantil, integracin local y
regional de las instituciones universitarias, para impulsar el desarrollo
territorial.

ORIENTACION
Articular acciones conjuntas con el sistema educativo diversificado y
profesional, con
el fin de proporcionar orientacin vocacional e informacin detallada de
los programas
de formacin ofertados por las Universidad en correspondencia con las
necesidades
regionales.
Establecer un diagnstico de exploracin vocacional actitudinal y de

personalidad ajustados al perfil de ingreso de cada centro de formacin

profesional,
orientando a los aspirantes para su insercin en los programas de
formacin
correspondientes.
Implementar el trayecto inicial en el PNFI para todos los bachilleres de
nuevo ingresos
con la finalidad de fortalecer y desarrollar las habilidades para iniciar
sus estudios
universitarios.
MOVILIDAD ESTUDIANTIL

Los estudiantes pueden continuar estudios en una u otra institucin sin

necesidad de equivalencias. Igualmente, pueden cursar un trayecto en
otra institucin por motivos acadmicos o personales.
EVALUACION DE LOS APRENDIZAJES
En funcin de los recursos didcticos, se hace necesario la educativos
como espacios comunicacionales debate de las ideas, el respeto y la
valoracin de la diversidad, la multiplicidad de fuentes de informacin, la
integracin de todos los participantes como interlocutores y la reflexin
como elementos indispensables para ambientes de formacin y las
prcticas educativas, estn ligadas las necesidades y caractersticas de las
distintas localidades con la intencin de propiciar el vnculo con la vida
social incorporando el uso de las Tecnologas de Informacin y
comunicacin (TIC) Para ello, y considerando que las modalidades
curriculares son flexibles, adaptadas a las distintas necesidades
educativas, a las diferentes disponibilidades de tiempo para a el estudio, a
los recursos disponibles, a las caractersticas s de cada municipio y al
empleo de metodologas que activen el desempeo del futuro profesional,,
as como a la movilidad de participante es y profesores asesores, el PNFI
reconoce el sentido del aprendizaje en funcin de los materiales
instruccionales utilizados.
MEDIOS E INSTANCIAS DE ORGANIZACIN ESTUDIANTIL

Consejos estudiantiles
Centros de estudiantes
Ley de evaluacin estudiantil
Asociaciones nacionales, regionales y locales
Ministerio del Poder popular para la educacin Universitaria

1. QUE SON LAS TICS

TICS es una sigla que significa Tecnologa de la Informacin y la

Comunicacin. ltimamente las TICS aparecen en los medios de
comunicacin, en educacin, en pginas web. Son un conjunto de
tecnologas aplicadas para proveer a las personas de la informacin y
comunicacin a travs de medios tecnolgicos de ltima generacin.
Las TICs se utilizan cada da por todos nosotros pero el trmino TIC se ha
hecho ms extensivo en educacin, ONGs y campaas sociales.
IMPORTANCIA
La importancia de las TIC son de suma relevancia en el mundo en que
vivimos, debido a que la sociedad que se vive la tecnologa esta muy
avanzada y ahora es necesario aprender estas nuevas tecnologas, por
que para todo se utilizan estas tecnologas como por ejemplo: en las
empresas, la educacion o en cualquier tipo de negocio.
IMPORTANCIA EN LA EDUCACION
las TICS son de suma importancia en la educacion porque la sociedad de
hoy en da vive en una mundo de tecnologa que va avanzando con el
paso de los das y es por eso que nuestros nios y jvenes tienen que
aprender a manejar la tecnologa, porque ellos crecen con la tecnologa.

En las escuelas, se les ensea a usar la computadora i mediante pasa

el tiempo les ensean nuevas funciones de la misma.
En secundaria se les ensean programas nuevos para ellos tales como
excel, power point,etc.
En universidad depende mucho de la carrera que se haya elegido es el
programa que se les enseara.
CARACTERISTICAS
Las
tecnologas
de
informacin
y comunicacin tienen
como
caractersticas principales las siguientes:
Son de carcter innovador y creativo, pues dan acceso ha nuevas
formas de comunicacin.
Tienen mayor influencia y beneficia en mayor proporcin al rea
educativa ya que la hace ms accesible y dinmica.
Son considerados temas de debate publico y poltico, pues su
utilizacin implica un futuro prometedor.
Se relacionan con mayor frecuencia con el uso de la Internet y la
informtica.
Afectan a numerosos mbitos de las ciencias humanas como
lasociologa, la teoria de las organizaciones o la gestin.

Las principales nuevas tecnologas son:

Internet
Robtica
Computadoras de propsito especfico
Dinero electrnico
BASES LEGALES
El objetivo primordial de las bases legales de las TIC es acoger un
marco normativo que garantice todo lo relacionado con las
innovaciones tecnolgicas en los aspectos; social, econmico,
educativo entre otros. Con el avasallante avance de las TIC el Estado
Venezolano ha venido profundizando en la promocin de polticas
pblicas y en el establecimiento de una base legal para motivar y
fortalecer la infraestructura de las mismas, facilitar su acceso y uso en
todos los niveles de la poblacin, a travs de los gobierno regionales y
municipales, que a su vez invierten recursos en la capacitacin del
talento humano necesario para multiplicar ticamente el proceso de
alfabetizacin tecnolgica.
Destacando
que el proceso regulatorio va a la retaguardia del
vertiginoso desarrollo tecnolgico, debido a que el primero es efecto de
los cambios acelerados y de los imaginados alcances que ocurren a
diario en el rea tecnolgica.
El ordenamiento jurdico del pas, no estaba en condiciones de absorber
la tendencia tecnolgica que recorra el mundo entero. Es a partir del
ao 1999 con la aprobacin de la Constitucin actual y con la creacin
del Ministerio de Ciencia y Tecnologa, que se fundamentan las bases
para llevar a cabo todas las actividades referentes a la incorporacin
de Venezuela a la nueva Era Tecnolgica.
En primer lugar para especificar el punto de partida en el aspecto legal
de las TIC, podemos citar los artculos 108 y 110 de la
Constitucin de la Repblica Bolivariana de Venezuela, en donde se
establece que el estado garantizar los servicios de radio, televisin,
redes de biblioteca y de informtica reconociendo as el acceso
universal de la informacin en todos los sectores como factor clave
para
el
desarrollo
econmico
del
pas.
Por
otro lado
la
Ley
Orgnica de
Educacin
ampara
las
TIC, agregando en el artculo 9 "La incorporacin y aplicacin de las
nuevas tecnologas en todas las etapas del sistema educativo. Del
mismo modo existe la Ley Orgnica de Ciencia, Tecnologa e
Innovacin, que orienta, organiza y establece los proyectos que se
llevarn a cabo en materia de tecnologa, fomentando la correcta

implementacin

de

los

mecanismos

establecidos

en la

ley.

Adicionalmente existen tres decretos muy importantes que avalan las

Tecnologas: El 825, que declara el acceso y el uso de internet como
poltica prioritaria para el desarrollo cultural, econmico y social del
pas, as como tambin en uno de sus artculos seala que el antiguo
Ministerio de Educacin Cultura y Deportes dictar las directrices para
instruir sobre el uso de internet, es decir, no slo lo incorpora sino lo
regula para su correcto funcionamiento; el decreto 3.390, impulsa el
software libre en todas las instituciones de administracin pblica,
desarrollado con estndares abiertos, para no limitar a las personas al
uso de una licencia privada, principalmente a las instituciones
educativas; y el decreto 1.290 que viene a formar parte en el ao 2.008
del Ministerio de Ciencia y Tecnologa el cual define las estrategias y
lineamientos que orientan todas las polticas en materia Tecnolgica.
De igual manera la LOPNA en uno de sus artculos establece la inclusin
a los nios y los adolescentes en todos los aspectos de investigacin
Tecnolgica: y por ltimo la Ley de Telecomunicaciones que est
encargada de promover el desarrollo de los proyectos que se relacionen
con la transferencia tecnolgica y uso de los equipos.
Es importante que el trabajo no se termina con la aplicacin de una
normativa,
es
de
vital
importancia
mantener permanente
vigilado el comportamiento tecnolgico y el ciudadano, toda vez que
frecuentemente, cada norma encuentra su contraparte en personas
que de manera antitica, buscan artificios para violar de manera
consciente la norma establecida.
AVANCES TECNOLOGICOS EN VENEZUELA
En Venezuela, como en los principales pases del mundo los avances
tecnolgicos e innovaciones en la telefona mvil han trado cambios
vertiginosos; el celular ya no slo sirve para comunicarse; los nuevos
modelos incluyen hoy da capacidad de almacenamiento y transmisin
de datos as como funciones multimedia que los convierten en
verdaderos asistentes personales.
Acercar ms a la gente, en el sentido que se ha ido facilitando, cada
vez ms la comunicacin y la informacin: como la televisin,
computadoras, internet, entre otros.
Avances tecnolgicos-Proyectos

El proyecto del Simn Bolvar ha sido posible gracias a la firma de un

convenio con Uruguay, gracias al cual fue cedida a Venezuela la rbita
hemisfrica que tenan disponibles, a cambio del 10 por ciento de la
capacidad operativa efectiva final del satlite
Proyecto Canaima permitir que miles de nios de primer grado se
familiaricen con las computadoras, las computadoras son los equipos
que Venezuela adquiri para los nios de primaria.

Tratados y acuerdos de cooperacin con otros Pases, Los infocentros con

Ecuador,Los Ministerios de Ciencia, Tecnologa e Industrias Intermedias de
Venezuela y Telecomunicaciones y Sociedad de la Informacin de Ecuador,
impulsarn la masificacin gratuita de tecnologa mediante el
fortalecimiento de los centros de informacin. Este acuerdo incluye la
formacin, capacitacin e intercambio de talento humano, adems de la
transferencia, asimilacin, adaptacin y desarrollo de conocimiento
cientfico-tecnolgico comn.

Satlite Simn Bolvar y telefona con China:

El satlite Simn Bolvar, proyecto impulsado y coordinado por el
Ministerio de Ciencia y Tecnologa, contempla cubrir todas aquellas
necesidades nacionales que tienen que ver con telefona, transmisin
de informacin, acceso y transmisin de mensajes por Internet, sobre
todo en aquellos lugares que por poca densidad poblacional no se
han desarrollado las empresas de telecomunicaciones comerciales.
Igualmente, pretende consolidar los programas y proyectos
ejecutados por el Estado, garantizando llegar a los lugares ms
remotos, colocando en esos lugares puntos de conexin con el
satlite, de tal manera que se garantice en tiempo real educacin,
diagnstico e informacin a esa poblacin que quizs no tenga
acceso a ningn medio de comunicacin y formacin. Este proyecto
de ocupacin del espacio supra yacente, se inici a travs de la
adquisicin de un satlite que fue lanzado en el ao 2008 desde
China, pas que participa en el proyecto como proveedor y generador
de transferencia tecnolgica satelital, respetando la total armona de
Venezuela.

Proyecto Canaima convenio con Portugal: Proyecto Canaima permitir

que miles de nios se familiaricen con las computadoras.

El impulso de la televisin digital con Argentina: Acciones de

cooperacin en telecomunicaciones y Tecnologas de Informacin que
favorecern la inclusin y el intercambio, para el desarrollo de los
pueblos de ambas naciones."Convenio de cooperacin para el

intercambio de experiencias y la implementacin de acciones conjuntas

en materia de polticas pblicas de inclusin digital, telecomunicaciones
y contenidos educativos y culturales", entre el Gobierno de la Repblica
Bolivariana de Venezuela y el Gobierno de la Repblica Argentina, la
posibilidad de tener acceso a una televisin que multiplica la cantidad
de seales.
Gracias a estos convenios, tratados y alianza de cooperacin con otros
pases para la transferencia tecnolgica, es que Venezuela cuenta con
cambios, avances en la tecnologa informacin y comunicacin.
IMPORTANCIA DE LA TECNOLOGIA PARA EL DESARROLLO DE LA
ACTIVIDAD ACADEMICA
El uso de las tecnologas de la informacin y la comunicacin (Tics) en los
diferentes niveles y sistemas educativos tienen un impacto significativo en
el
desarrollo
del
aprendizaje de los estudiantes y en el fortalecimiento de sus competencias
para la vida y el trabajo que favorecern su insercin en la sociedad del
conocimiento.
Vivimos en una sociedad que est inmersa en el desarrollo tecnolgico,
donde el avance de las Tecnologas de la Informacin y la Comunicacin
(TIC) han cambiado nuestra forma de vida, impactando en muchas reas
del conocimiento. En el rea educativa, las TICs han demostrado que
pueden ser de gran apoyo tanto para los docentes, como para los
estudiantes. La implementacin de la tecnologa en la educacin puede
verse slo como una herramienta de apoyo, no viene a sustituir al
maestro, sino pretende ayudarlo para que el estudiante tenga ms
elementos (visuales y auditivos) para enriquecer el proceso de enseanza
aprendizaje.
Ahora ya no es suficiente adquirir un conocimiento o dominar una tcnica
sino es necesario que el alumno sea capaz cognitivamente y sobre todo,
en las otras capacidades: motrices, de equilibrio, de autonoma personal y
de insercin social. La competencia implica el uso de conocimientos,
habilidades y actitudes y deben contribuir al desarrollo de la personalidad
en todos los mbitos de la vida.
El aprendizaje de una competencia esta muy alejado de un aprendizaje
mecnico, permite comprender la complejidad de los procesos de
aprendizaje, ensear competencias implica utilizar formas de enseanza
consistentes en dar respuesta a situaciones de la vida real.
2. LOS TICS COMO MEDIOS DE COMUNICACIN

Con el paso del tiempo y los avances en materia de Nuevas Tecnologas

(NT), la comunicacin entre las personas ha evolucionado en forma
constante, espontnea y progresiva. Las noticias que en otro tiempo
tardaban das, meses y hasta aos en llegar de un lugar a otro del planeta,
hoy lo hacen en cuestin de segundos.
Desde los jeroglficos, el alfabeto, el papel, la imprenta, el telgrafo hasta
el telfono, el cine, la radio y la televisin se puede decir que han sido
posibles gracias a los avances de la tecnologa. El hombre busca en forma
constante satisfacer sus necesidades de comunicarse con los dems por lo
que ha logrado gran cantidad de instrumentos que son da a da ms
poderosos y veloces a la hora de satisfacer dicha necesidad.
Cuando la tecnologa se aplica para facilitar y mejorar el proceso de
informacin y comunicacin humana se denomina Tecnologa de
Informacin y Comunicacin (TIC).La tecnologa revolucion los procesos
de los medios de comunicacin no podemos dejar de mencionar algunos
ejemplos:

los peridicos suman la redaccin electrnica.

la radio tiene ahora sistemas de grabacin, edicin y transmicin.
la televisin cuenta con cmaras digitales y programas
computarizados para la edicin de imgenes y sonido y tambin sistemas
para transmiciones a distancia en directo.
el cine est realizando dibujos animados elaborados a travs de
programas de computacin y gran cantidad de efectos especiales que
superan lo esperado por el espectador.
El concepto web 2.0 surge en el ao 2004 a partir de un artculo de O
Reilly.
Segn ste los principios constitutivos de las aplicaciones de la web 2.0
son siete:

1.
2.
3.
4.
5.

La web como plataforma.

el aprovechamiento de la inteligencia colectiva,
la gestin de la base de datos como competencia bsica,
el fin del ciclo de las actualizaciones de versiones del software,
los modelos de programacin ligera junto a la bsqueda de la
simplicidad,
6.
el software no limitado a un solo dispositivo y las experiencias
enriquecedoras de los usuarios.
Internet se impuso ms rpido comparado con la forma como lo hicieron
en su momento la escritura y la imprenta; Facilita a las personas un
acceso rpido a una cantidad infinita de informacin, a un costo
relativamente bajo, sobre cualquier tema y en cualquier lugar.

MATEMATICA
1. HISTORIA DE LA LOGICA COMO AREA DE LA MATEMATICA
La lgica matemtica estudia los sistemas formales en relacin con el
modo en el que codifican o definen nociones intuitivas de objetos
matemticos como conjuntos, nmeros, demostraciones, y algoritmos,
utilizando un lenguaje formal. La lgica matemtica suele dividirse en
cuatro subcampos: teora de modelos, teora de la demostracin, teora de
conjuntos y teora de la recursin. La investigacin en lgica matemtica
ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas. Actualmente se usan indiferentemente como sinnimos las
expresiones: lgica simblica (o logstica), lgica matemtica, lgica
teortica y lgica formal.
Siglo XIX: Previamente ya se hicieron algunos intentos de tratar las
operaciones lgicas formales de una manera simblica por parte de
algunos filsofos matemticos como Leibniz y Lambert, pero su labor
permaneci desconocida y aislada. A partir de la segunda mitad del siglo
XIX, la lgica sera revolucionada profundamente. En 1847, George Boole
public un breve tratado titulado El anlisis matemtico de la lgica, y en
1854 otro ms importante titulado Las leyes del pensamiento. La idea de
Boole fue construir a la lgica como un clculo en el que los valores de
verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que
se les aplican operaciones matemticas como la suma y la multiplicacin.
Siglo XX: El siglo XX sera uno de enormes desarrollos en lgica. A partir
del siglo XX, la lgica pas a estudiarse por su inters intrnseco, y no slo
por sus virtudes como propedutica, por lo que se estudi a niveles mucho
ms abstractos. En 1910, Bertrand Russell y Alfred North Whitehead
publican Principia mathematica, un trabajo monumental en el que logran
gran parte de la matemtica a partir de la lgica, evitando caer en las
paradojas en las que cay Frege. Los autores reconocen el mrito de Frege
en el prefacio. Si bien a la luz de los sistemas contemporneos la lgica
aristotlica puede parecer equivocada e incompleta, Jan ukasiewicz
mostr que, a pesar de sus grandes dificultades, la lgica aristotlica era
consistente, si bien haba que interpretarse como lgica de clases, lo cual
no es pequea modificacin. Por ello la silogstica prcticamente no tiene
uso actualmente.
Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio
el desarrollo de muchos otros sistemas lgicos; entre los que destacan las
muchas lgicas modales.

CONCEPTO DE LGICA MATEMTICA

La lgica matemtica estudia los sistemas formales en relacin con el
modo en el que codifican conceptos intuitivos de objetos matemticos
como conjuntos, nmeros, demostraciones y computacin. La lgica
estudia las reglas de deduccin formales, las capacidades expresivas de
los diferentes lenguajes formales y las propiedades metalgicas de los
mismos.

En un nivel elemental, la lgica proporciona reglas y tcnicas para

determinar si es o no vlido un argumento dado dentro de un determinado
sistema formal. En un nivel avanzado, la lgica matemtica se ocupa de la
posibilidad de axiomatizar las teoras matemticas, de clasificar su
capacidad expresiva, y desarrollar mtodos computacionales tiles en
sistemas formales. La teora de la demostracin y la matemtica inversa
son dos de los razonamientos ms recientes de la lgica matemtica
abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo
que la lgica matemtica no es mtodo de descubrir verdades del mundo
fsico real, sino slo una fuente posible de modelos lgicos aplicables a
teoras cientficas, muy especialmente a la matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de
razonamiento humano general o del proceso creativo de construccin de
demostraciones matemticas mediante argumentos rigurosos pero hechas
usando lenguaje informal con algunos signos o diagramas, sino slo de
demostraciones y razonamientos que pueden ser completamente
formalizados en todos sus aspectos.
SISTEMAS LGICOS
La lgica matemtica se interesa por tres tipos de aspectos de los
sistemas lgicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formacin

de smbolos interpretables construidos a partir de un determinado
alfabeto, y las reglas de inferencia. En concreto el conjunto de
teoremas deducibles de un conjunto de axiomas.
La semntica de los lenguajes formales, es decir, los significados
atribuibles a un conjunto de signos, as como el valor de verdad
atribuible a algunas de las proposiciones. En general las expresiones de
un sistema formal interpretadas en un modelo son ciertas o falsas, por
lo que un conjunto de proposiciones que admite un modelo es siempre
consistente.

Los aspectos metalgicos de los lenguajes formales, como por ejemplo

la completitud semntica, la consistencia, la compacidad o la existencia
de modelos de cierto tipo, etc.

OPERACIONES VERITATIVAS
Las operaciones veritativas son aquellas que se forman uniendo
varias proposiciones mediante el uso de operadores lgicos,
permitindonos crear nuevas proposiciones llamadas moleculares. La
forma general de la funcin veritativa es una variable que expresa el
miembro general de una serie de formas. Las funciones veritativas pueden
ordenarse en una serie de formas debido a que todas son resultado de la
aplicacin sucesiva de una operacin veritativa. La expresin del miembro
general de la serie de formas veritativas nos permite expresar la
proposicin general q es un sucesor de p. Cualquier funcin veritativa es
un sucesor de las proposiciones elementales. La notacin de la forma
general de la funcin veritativa puede leerse segn esta convencin.
CONSTRUCCION Y RESOLUCION DE TABLA DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que
muestra el valor de verdad de una proposicin compuesta, para cada
combinacin de verdad que se pueda asignar. Fue desarrollada por Charles
Sanders Peirce por los aos 1880, pero el formato ms popular es el que
introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.
En realidad toda la lgica est contenida en las tablas de verdad, en ellas
se nos manifesta todo lo que implican las relaciones sintcticas entre las
diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.

La gran cantidad de operaciones que hay que hacer para una

proposicin con ms de 4 variables.

Esta dificultad ha sido magnficamente superada por la rapidez de los

ordenadores, y no presenta dificultad alguna.

Que nicamente ser aplicable a un esquema de inferencia,

o argumento cuando la proposicin condicionada, como conclusin, sea
previamente conocida, al menos como hiptesis, hasta comprobar que
su tabla de verdad manifiesta una tautologa.

Por ello se construye un clculo mediante cadenas deductivas:

Las proposiciones que constituyen el antecedente del

inferencia, se toman como premisas de un argumento.

esquema

de

Se establecen como reglas de clculo algunas tautologas como tales leyes

lgicas, (pues garantizan, por su carcter tautolgico, el valor V).
Se permite la aplicacin de dichas reglas como reglas de sustitucin de
frmulas bien formadas en las relaciones que puedan establecerse entre
dichas premisas.
Deduciendo mediante su aplicacin, como teoremas,
conclusiones posibles que haya contenidas en las premisas.

todas

las

Cuando en un clculo se establecen algunas leyes como principios

o axiomas, el clculo se dice que es axiomtico.
El clculo lgico as puede utilizarse como demostracin argumentativa.

FORMAS DE CONSTRUCCIN DE TABLAS DE VERDAD:

Paso 1: colocar las combinaciones de valores de verdad debajo de cada
variable.
Paso 2: Transformar los valores de verdad tomando en cuenta la negacin
(si los hay)
Paso 3: Se calula primero el calor de verdad de los parntesis tomando en
cuenta las definiciones del conectivo lgico.
Paso 4: Se compara el resultado del valor de verdad del parntesis con el
valor de verdad del corchete (si lo hay)
Paso 5: Se compara el resultado de ese valor de verdad del corchete con el
de las llaves (si lo hay)
Luego de haber cumplido con esta serie de pasos habremos obtenido un
resultado en la columna final de nuestra tabla de verdad la cual podremos
calificarla como una teutologia, contingencia o contreadiccin.