Es aquella parte de la matemtica pura elemental que se ocupa de la composicin y descomposicin de la cantidad expresada en nmeros.

Lgica Matemtica

La lgica es la ciencia que estudia los procedimientos para distinguir si un razonamiento es correcto o incorrecto; en este sentido, la LGICA MATEM-TICA analiza los tipos de razonamiento utilizando modelos matemticos con ayuda de las PROPOSI-CIONES LGICAS.

Una proposicin lgica es el conjunto de palabras que, encerrando un pensamiento, tiene sentido al AFIRMAR que es VERDADERO o al AFIRMAR que es falso. Las proposiciones se clasifican en: 1) Simples o Atmicas 2) Compuestas o Moleculares

Los conectivos lgicos son smbolos que sirven para relacionar o juntar proposiciones simples (atmicas)y formar proposiciones compuestas (moleculares).

CONECTIVO ~ etc.

NOMBREEL Negacin Conjuncin

LENGUAJE COMN SE LEE no, n es cierto que, no es el caso que, etc. y, pero, sin embargo, adems, aunque,

Disyuncin inclusiva NOMBRE Disyuncin exclusiva

o, y/o

CONECTIVO

EL LENGUAJE COMN SE LEE o o entonces, si... Entonces, dado que...

Condiciona Siempre que, en vista que, implica, etc. Bicondicional

si y slo si

Las proposiciones simples o atmicas se representan por las letras p, q, r, s, t, etc. y pueden ser verdaderas o falsas. Ejemplos: p: Juan Estudia q: Andrs es un nio r: Stefano no juega ftbol s: Alejandra est gordita t: Christian es rubio u: Alescia habla mucho

Son las siguientes, formadas a partir de proposiciones simples:Negacin:~pSe lee:no p, no escierto que p, etc.Conjuncin:p qSe lee:p y q, p pero q,p sin embargo q, etc.Disyuncin:p

 qSe lee:p o q, p y/o qDisyuncinExclusiva:p qSe lee:o p o qCondicional:p qSe lee:si p, entonces q,p implica q, etc.Bicondicional p qSe lee:p si, y slo si q TABLAS DE VERDAD DE LAS PROPOSICIONESCOMPUESTAS BSICAS NEGACINCONJUNCINp~ qp qp qVFV VVFVVFFFVFFFFDISYUNCINDISYUNCININCLUSIVAEXCLUSIVAp qp qp qp qVVVV VFVFVVFVFVVFVVFFFFFFCONDICIONALBICONDICIONALp qp qp qp qVVVV VVVFFVFFFVVFVFFFVFFV TIPOS DE PROPOSICIONES TAUTOLOGA Es una proposicin cuyos VALORES DE VERDADdel OPERADOR PRINCIPAL son TODOS VERDADEROS, cualquiera sea el valor de verdad de suscomponentes.Ejemplo:p qp

q (p q)VVVVVVFFVVFVFVVFFFVF - 16-