La lógica matemática estudia la lógica desde una perspectiva matemática y aplica este estudio a otras áreas como las matemáticas y ciencias. Se trabaja con la lógica aristotélica donde los argumentos deben ser verdaderos o falsos. Las proposiciones, representadas por letras minúsculas, son la unidad básica y pueden tener valores de verdad de verdadero o falso. Los conectores lógicos como la conjunción, disyunción, negación, implicación y equivalencia son importantes para anal

1. TEMA :
LOGICA MATEMATICA
ALUMNA:
JENNY GABRIELA AVENDAÑO ES PINOZA
FECHA:
17/11/14
PROFESOR:
ING HUGO ABRIL

2. LOGICA MATEMATICA

3. La lógica matemática es una parte de la lógica y las matemáticas, que
consiste en el estudio matemático de la lógica, y en la aplicación de dicho
estudio a otras áreas de la matemática y de las ciencias y nos rodea en
todo el mundo. La lógica matemática es muy importante no solo en las
ciencias sino también en la vida cotidiana ya que ayuda a tener más
precisión con la lógica simbólica e implicar el análisis de argumentos que
a veces nos resulta extenso y complicado. Se trabaja con la lógica
aristotélica donde todo argumento debe ser verdadero o falso.

4. PROPOSICIONES
 Para comenzar las proposiciones son una parte fundamental en la lógica
matemática. Una oración es una proposición solo cuando esta es verdadera o falsa
de lo contrario no y se le representa con letras del abecedario en minúsculas;
ejemplo:
 C: María está enferma.
 Para dar un valor de verdad a una proposición se usa, cuando es verdadero: 1, v,
T, true y cuando es falso O, F, Falso. Este es el valor más interesante de la
proposición. También se obtiene tablas de verdad que es una representación de los
valores de verdad de la proposición.

5. P a r a u n m a y o r e n t e n d i m i e n t o e s n e c e s a r i o u s a r
c o n e c t o r e s u o p e r a d o r e s l ó g i c o s q u e s o n :

6. También existen las formas proposicionales que son estructuras
constituidas por variables proporcionales y se les representa con letras del
abecedario mayúsculas estas no tienen valor de verdad conocido.
Dada la forma proposicional si todas las proposiciones son verdaderas es
una TAUTOLOGIA, si todas son falsas es una NEGACION y si existen
verdaderas y falsas es una CONTINGENCIA.

7. IMPLICACIÓN LÓGICA
EQUIVALENCIA
 la implicación lógica que es como la condicional así A B quiere
decir que A implica lógicamente a B
 La equivalencia lógica es similar a la bicondicional así A B
quiere decir que A es equivalente a B cuando se requiere sustituir una
estructura por otra que sea equivalente alternativamente el símbolo
se lo remplaza por .

8. E N L A S L E Y E S D E L A L G E B R A D E P R O P O S I C I O N E S O L E Y E S
L Ó G I C A S S E I N C L U Y E L A S O P E R A C I O N E S L Ó G I C A S
D E F I N I D A S E N T R E L A S F O R M A S P R O P O S I C I O N A L E S :
 Leyes de los operadores fundamentales conjunción y disyuncion
 Leyes de los operadores negación condicional y bicondicional.
 Leyes de implicaciones lógicas
Todas estas reglas se puede resolver de la manera más fácil con tablas
de verdad estas propiedades son útiles cuando se requiere expresar
ideas o enunciados de una forma inequívoca y precisa.