MATEMTICAS SISTEMA DE NIVELACIN

ING. MICHAEL TOMAL

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Resea histrica:

Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Es una parte de la lgica y la matemticas, que consiste en el estudio matemtico de la lgica. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. Definicin: La lgica matemtica es una ciencia que nos ensea a razonar correctamente. Es una herramienta que emplea smbolos para representar proposiciones.

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Proposiciones:

Es una expresin u oracin que se le puede asignar un valor de verdad, verdadera o falsa, pero no ambas a la vez. Identifiquemos cual de las siguientes son proposiciones: 7415 es un nmero par Qu hora es? 5(3+4)=36 Campamento 3+x=7 Marchate! Los Mayas anunciaron siete profecas

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Proposiciones: Hay que considerar que no cualquier texto puede ser una proposicin, para lo cual proponemos ejemplos que no pueden ser proposiciones: Mandato u orden - Sigue y no te quedes Un deseo - Quiero jugar No tienen sentido completo - X + 7 = 30 Una pregunta. - Jugaras maana? Una exclamacin - Auxilio!

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Tipos de Proposiciones: POR SU VALOR DE VERDAD Proposicin Cerrada - Es aquella que su valor de verdad no cambia Proposicin Abierta - Aquella que su valor de verdad no est definida y depende de un conjunto Universo o Referencial. POR SU NEXO Proposicin Simple o atmica - Esta expresin no tiene nexo con otra proposicin Proposicin Compuesta o molecular - Es la composicin de 2 o ms proposiciones simples unidas a travs de un NEXO llamado Operador o Conector lgico.

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Tipos de Proposiciones:

PROPOSICIN

Valor de Verdad

El nmero de proposiciones

Cerrada

Abierta

Simple

Compuesta

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Valor de verdad: El valor de verdad de una proposicin es la cualidad de veracidad que describe adecuadamente la proposicin. ste puede se Verdadero o Falso Usualmente el valor de verdad se lo representa de la siguiente manera: q1, V, T, Verdadero, True: para identificar una proposicin verdadera q0, F, False, Falso: para identificar una proposicin Falsa.

Tabla de verdad: Es una representacin de los posibles valores de verdad que podra tomar una proposicin, en la cual codifican combinaciones lgicas basado en lo siguiente:

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Operadores lgicos: Negacin Es aquel operador que cambia el valor de verdad de un proposicin, se puede simbolizar de las siguiente manera: , ~ Conjuncin Es aquel operador que permite obtener Verdad(1), si todas las proposiciones son verdaderas, se simboliza . En lenguaje proposicional se lee: y, e, ,, ;, ., Pero, tanto, como, tambin, etc Disyuncin Es aquel operador que permite obtener Falso(0), si todas las proposiciones son Falsas, se simboliza V. En lenguaje proposicional se lee: o, u, p o q, etc. LA TABLA DE VERDAD

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Operadores lgicos: Disyuncin Exclusiva Es aquel operador que permite obtener Falso(0), si ambas proposiciones tienen el mismo valor de verdad, se simboliza V. En lenguaje proposicional se lee: O p, o q, Slo p o solo q, p o bien q, o alguna otra proposicin que indiquen el uno o el otro, pero no ambos. Enunciacin Hipottica o condicional Es aquel operador que permite asociar proposiciones de antecedente con un consecuente, y se obtiene el valor de FALSO si el antecedente es verdadero y el consecuente es falso, se simboliza por la implicacin: . En su lenguaje proposicional se lee: p implica q, Si p, q, Si p entonces q, p es suficiente para q, Siempre que q, q, Para p es necesario q, q cuando p, q si p,q siempre que p, etc LA TABLA DE VERDAD

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Operadores lgicos: Bicondicional o Equivalencia Es aquel operador que permite obtener Verdad, si ambas proposiciones tienen el mismo valor de verdad, se simboliza . En lenguaje proposicional se lee: p si y slo si q, q si y slo si p, Si p entonces p, recprocamente. Variantes de condicional: Si la implicacin: a b 1.- La recproca: El antecedente se cambia con el consecuente de la condicional. EJ.: b a 2.- La inversa: Se niega el antecedente y se niega el consecuente de la condicional. EJ.: a b 3.- La contrarecproca o contraposicin: El antecedente se cambia con el consecuente y ambos se niegan. EJ.: b a Anlisis en la Tabla de Verdad LA TABLA DE VERDAD