OGICA MATEMATICA

La lgica estudia la forma del razonamiento, es una disciplina que por medio de
reglas y tcnicas determina si un argumento es vlido. La lgica es
ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la
filosofa para determinar si un razonamiento es vlido o no, ya que una frase
puede tener diferentes interpretaciones, sin embargo la lgica permite saber el
significado correcto. En las matemticos para demostrar teoremas e inferir
resultados matemticas que puedan ser aplicados en investigaciones. En la
computacin para revisar programas. En general la lgica se aplica en la tarea
diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico,
por el ejemplo; para ir de compras al supermercado una ama de casa tiene que
realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una
persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya
que no puede pintar si antes no prepara la pintura, o no debe pintar la parte
baja de la pared si antes no pint la parte alta porque se manchara lo que ya
tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de
izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la
aplicacin de la lgica.
LOGICA PROPOSICIONAL
Clases de proposiciones
Hay dos clases de proposiciones:

Proposiciones simples y compuestas, tambin llamadas atmicas y

moleculares respectivamente.

a. Proposiciones Simples.- Tambin denominadas atmicas. Son aquellas

proposiciones que no se pueden dividir. Ejemplo:
El cielo es azul. (verdadero)
Nomenclatura: p
b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son
aquellas que estn formadas por dos o ms proposiciones simples unidas por
los operadores lgicos. Ejemplo:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalar un auto.

Conectivas lgicas
Son elementos que sirven de enlace entre las proposiciones, para formar otra,
denominada proposicin molecular.
Conectivos lgicos ms empleados son:
Negacin
Es un elemento lgico que acta independientemente de la proposicin.
Se lee no p.

REGLA.- La negacin de una proposicin verdadera es falsa. La negacin de

una proposicin falsa es verdadera.
Ejemplo:
p.- Juan conversa
-p.- Juan no conversa

Conjuncin
Es la unin de dos o ms proposiciones mediante el conectivo lgico y,
pero, tambin, sin embargo, adems, etc.
Se lee p y q.
REGLA.- Es verdadera la proposicin conjuntiva nicamente cuando las dos
proposiciones son verdaderas (p y q), en cualquier otro caso es falsa.
Ejemplo:
P: La casa est sucia.
Q: La empleada la limpia maana
P Q: La casa esta sucia y la empleada la limpia maana
Disyuncin
Une proposiciones mediante el conectivo lgico o.
Se lee p o q.
REGLA.- Una proposicin disyuntiva es verdadera cuando por lo menos uno de
sus componentes es verdadero. Es falsa slo cuando todos sus componentes
son falsos (p o q).
P: Pedro juega bsquet
Q: Mara juega ftbol
PvQ: Pedro juega bsquet o Mara juega ftbol.
Conjuncin Negativa
Es la unin de dos o ms proposiciones por ni.
Se lee ni p ni q.
REGLA.- El resultado es verdadero nicamente cuando las dos proposiciones
son falsas (ni p ni q), en cualquier otro caso es falsa

Disyuncin Exclusiva

Es la unin de dos o ms proposiciones mediante el conectivo lgico o.

Se lee o p o q, pero no ambos.
REGLA.- Es verdadera la proposicin cuando la primera proposicin es
verdadera y la segunda es falsa o cuando la primera proposicin es falsa y la
segunda verdadera.

Condicional
Viene a ser la combinacin de dos proposiciones con si entonces.
Se lee si p entonces q.
REGLA.- Una proposicin condicional es falsa cuando la primera proposicin
es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras
formas
Ejemplo:
P:Si me saco la loteria
Q: Te regalar un carro
P Q: Si me saco la lotera entonces te regalar el carro.
Bicondicional
Es la unin de dos proposiciones por si y slo si. Se lee p si y slo si q.
REGLA.- Una proposicin bicondicional es verdadera cuando, o sus dos
componentes son verdaderos o sus dos componentes son falsos.
Ejemplo
P: Simn Bolivar vive
Q: Montalvo est muerto
P Q: Simn Bolivar vive si y solo si Montalvo est muerto.

EVALUACION DE ESQUEMAS POR TABLAS DE VERDAD

Para evaluar una tabla de verdad de n variables proposicionales se aplica la
siguiente formula 2^n (filas). Se aplica la regla a cada una de las variables
proposicionales empezando por el operador de de menor alcance hasta llegar
al de mayor jerarqua.
Ejemplo 1:
Ejemplo 2:
Ejemplos