Docente: Ing.

Michael Tomal

1. LGICA MATEMTICA
Operadores lgicos: Si la seguridad privada es efectiva, disminuyen los ndices de asalto en la ciudad y el turismo se desarrolla. Los ndices de asalto no disminuyen, pero la seguridad privada es efectiva. Entonces, el turismo no se desarrolla. Solucin: Se pueden identificar las siguientes proposiciones simples: a: La seguridad privada es efectiva. b: Los ndices de asalto disminuyen en la ciudad. c: El turismo se desarrolla. Los operadores lgicos que se encuentran presentes en esta proposicin compuesta son la condicional, la conjuncin y la negacin. La traduccin es:

[(a(bc))(ba)](c)

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Operadores lgicos: Ejercicios: 1)Con la siguiente implicacin a b, identifica y asocia con las variables el antecedente y consecuente. Conclusin, condicin suficiente, hiptesis, efecto, premisa, causa, condicin necesaria, tesis. 2) Identifica el antecedente y consecuente(Condicin necesaria y suficiente): - Todo triangulo rectngulo tiene un ngulo de 90. - Pedro dirige el trnsito porque es vigilante. 3) Dada las siguiente proposiciones: a: Nancy cumple con sus propsitos b: Nancy aprueba el examen c: Nancy trabaja d: Nancy se va de farra e: Nancy come Traducir literalmente las siguiente proposiciones: I) II) III) IV) a [b (c V d)] (a b) [c V (d e)] [b (d a)] V [(c V d) (d e)] c [(ad) (b e)]

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Ejercicios: 4) Considere las siguientes proposiciones: p : Hoy es viernes q : Me presento al examen de Lgica Traducir al lenguaje simblico la proposicin: I) Es necesario que hoy sea viernes para presentarme al examen de Lgica II) Si hoy es viernes, me presento al examen de lgica 5) Considere las siguientes proposiciones: a : Utilizo mis habilidades matemticas b : Resuelvo bien los ejercicios c : Hago un buen deber Traducir: Es necesario que utilice mis habilidades matemticas para que resuelva bien los ejercicios y haga un buen deber 6) Traducir: El profesor se gana mi confianza solo s me porto bien y presto atencin 7) Traducir: Me voy de vacaciones siempre que apruebe el curso de nivelacin y el permiso de mis padres 8) Traducir: Glenda hizo un buen trabajo y organiz una reunin de amigos, puesto que la encontr en el Paseo Shoping

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Formas proposicionales Variables proposicionales: Son caracteres alfabticos o las letras del alfabeto en minscula, utilizados para representar proposiciones simples. EJEMPLO: a, b, c, p, q, r.. Definicin de FORMAS PROPOSICIONALES: Son estructuras o composiciones de variables proposicionales y los operadores lgicos que la relacionan. Por lo general estas formas proposicionales se las representa con letras del alfabeto con mayscula. EJEMPLO: A: [(p V q) r] ~r B: (a V b) [c (~b c)]

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Formas proposicionales

TIPOS DE FORMAS PROPOSICIONALES: Los tipos de formas posicionales se originan de las formas proposicionales o estructuras de proposiciones, en donde podemos encontrar tres tipos de formas proposicionales: 1.Tautologa: Se considera as cuando todas las proposiciones son Verdaderas. 2.- Contradiccin: Se considera as cuando todas las proposiciones son Falsas.

3.- Contingencia: Se considera as cuando algunas proposiciones son Verdaderas y otras Falsas.

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Formas proposicionales

IMPLICACIN LGICA: Si consideramos dos formas proposicionales A y B, tales que A implica lgicamente B AB, si y solo si es una Tautologa

EQUIVALENCIA LGICA: Si consideramos dos formas proposicionales A y B, tales que A es equivalente a B AB, si y solo si es una Tautologa

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Leyes de los operadores lgicos.

Operadores fundamentales conjuncin y disyuncin CONJUNCIN (a b) (b a) [(a b) c] [a (b c)] (a a) a (a 1) a (a 0) 0 PROPIEDAD CONMUTATIVA ASOCIATIVA IDEMPOTENCIA IDENTIDAD ABSORCIN DISYUNCIN (a V b) (b V a) [(a V b) V c] [a V (b V c)] (a V a) a (a V 0) a (a V 1) 1

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Leyes de los operadores lgicos.

Operadores Negacin, Condicional, Bicondicional

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
Leyes de las implicaciones lgicas

Docente: Ing. Michael Tomal

1. LGICA MATEMTICA
*RAZONAMIENTO O ARGUMENTOS*

Definicin: Es un enunciado cuya forma proposicional tiene la forma:

(H1 H2 H3 . Hn) C ----------------v--------------- Hiptesis o premisas Op. Principal

Conclusin

Es decir es una enunciacin hipottica que tiene como antecedente una conjuncin de hiptesis
Ej#1. [(a b) c (c (a V b))] b H1: (a b) H2: c Hiptesis o premisas (3) H3: (c (a V b)) Conclusin C: b