La Lgica proposicional es importante en la matemtica moderna. La matemtica en su desarrollo sigue un proceso basado en el lenguaje.

La lgica permite el anlisis del lenguaje, sistematizndolo y codificndolo, haciendo uso de una variedad de smbolos.

Lgica

PROPOSICIN.
Es todo enunciado el cual se le asigna la propiedad de ser (v) o (F), pero no ambas. Lima es la capital de chile Miguel Grau tenia caballo Blanco La capital de Bolivia es Sucre En 1971 Pablo Neruda gano el Premio Novel 17 + 5 7 = 15 San Romn es la Capital de Puno (F) (F) (F) (V) (V) (F)

NOTACIN.
Las proposiciones se nombran con letras minsculas, generalmente con las ltimas del alfabeto tales como: p, q, r, s, t, u, v, w, x, y, z Que se denominan variables proposicionales Ejm: a) Lima es la Capital del Per. p: Lima es la capital del Per. q: Lisandro Luna es emancipador azangarino. r: Pedro Vilcapaza lucho por la independencia s: Azngaro cumpli 428 aos de aniversario el 22 de agosto. t: Carlos estudio si tienen libros. u: San Romn es capital de Puno.

CLASES DE PROPOSICIONES
a) Proposiciones Simples. Llamadas tambin proposiciones atmicas o elementos o componentes; son aquellos que tienen un solo sujeto y un solo predicado. Ejm: p: 2 es divisor de 12 q: Bogot es la capital de Colombia. r: La vaca da leche. s: La nia tiene hambre.

t: Carlos es amigo de Juan u: La rosa es de color rojo w: Pedro vende pan. x: Mi perro ladra en la calle b) Proposiciones Compuestas. Llamado tambin proposiciones moleculares o coligados o derivados se construyen por dos a mas proposiciones simples unindolas o ligndolas con ciertas palabras tales como: no, y, o, entonces, si solo si, que se denominan conectores lgicos o conectores oracionales, Ejm: s: La luna es un satlite entonces la tierra es un planeta. t: 8 es mltiplo de 3 si solo si 8 es numero compuesto. u: Juan es amigo de Pedro y Ana w: Pablo es Contador y Abogado. x: Caracas es capital de Venezuela entonces Santiago es capital de Chile. El valor de verdad de las operaciones compuestas no se puede determinar de inmediato, depende del valor de cada una de las proposiciones simples y de las operaciones lgicas.

OPERACIONES LGICAS O PROPOSICIONALES.

Son reglas por el cual se dan una o ms proposiciones simples y cuyos valores de verda se conocen y se busca hallar el valor resultante. Conectores Lgicos Operacin Asociada Negacin Conjuncin Producto lgico Disyuncin inclusiva suma lgica Disyuncin exclusiva Condicional Bicondicional Significado no y o sentido incluyente o sentido excluyente entones si solo si

TABLAS DE VALORES.
Existen tres tipos de tablas de valores para una proposicin, para dos proposiciones y para tres proposiciones. Formula: 2n Donde: n = Nmero de Preposiciones. 2

a) Para Una Proposicin: Sea la variedad: p Entonces: Tabla de Verdad p

21= 2
b) Para dos Proposiciones: Sea la variedad: p y q Entonces:

V F

Tabla de Verdad

p q V V

22= 4

V F F V F F

c) Para Tres Proposiciones: Sea la variedad: p, q y r Entonces: Tabla de Verdad

p q r V V V V V F V F V

23= 8

V F F F V V F V F F F V F F F

1) La Negacin (~): Dado la proposicin p; la Negacin de p es no p Notacin: ~p se lee: no p Tabla de Verdad: p ~ p

V F F V

Ejemplo: Sea las proposiciones p: 16 es mltiplo de 2 p: 16 es mltiplo de 2 ~p: 16 no es mltiplo de 2 Tabla de Verdad: p ~ p

V F F V

Sea las proposiciones q: 15 es divisor de 3 q: 15 es divisor de 3 ~q: 15 no es divisor de 3 Tabla de Verdad: p ~ p

F V V F

2) La Conjuncin (): Dado las proposiciones p y q, la conjuncin de p y q es la proposicin de relacionarlas mediante el conectivo lgico y Notacin: 4

p q Se lee: p y q Tabla de Verdad: p q V V V F F V F F p q V F F F

Esta operacin es totalmente clara no es ambigua, en cuanto a sus valores nicamente es V cuando las dos proposiciones son verdaderas. a) Dado las Siguientes Proposiciones: p: 2 es divisor de 8 q: 2 es divisor de 16 p q Se lee: 2 es divisor de 8 y 2 es divisor de 16 Tabla de Verdad: p q V V p q V

b) Dado las Siguientes Proposiciones: p: 9 es mltiplo de 3 q: 9 es nmero primo. p q Se lee: 9 es mltiplo de 3 y 9 es nmero primo. Tabla de Verdad: p q V F 3) La Disyuncin Inclusiva (). p q F

Dado las proposiciones p y q, la disyuncin inclusiva o dbil es una proposicin que resulta de unir las proposiciones p y q con el conectivo lgico o. Notacin: p q se lee: p o q Tabla de Verdad. p q V V V F F V F F p q V V V F

La palabra o en el lenguaje usual se usa en dos sentidos diferentes en este tipo de operaciones la ocurrencia de una proposicin no excluye a la otra y puede ocurrir ambas proposiciones a la vez. a) Dado las Siguientes Proposiciones: p: 7 es un nmero impar q: 15 es mltiplo de 3 p q Se lee: 7 es un nmero primo o 15 es mltiplo de 3 Tabla de Verdad: p q V V p q V

b) Dado las Siguientes Proposiciones: p: 9 es mltiplo de 3 q: 9 es nmero primo. p q Se lee: 9 es mltiplo de 3 o 9 es nmero primo. Tabla de Verdad: 6

p q V F

p q V

c) Dado las Siguientes Proposiciones: p: Piura es una ciudad del Per q: Azngaro es una provincia de Puno p q Se lee: Piura es una ciudad del Per Azngaro es una provincia de Puno Tabla de Verdad: p q V V p q V

d) Dado las Siguientes Proposiciones: p: La miel es dulce q: La sal es un manjar p q Se lee: la miel es dulce la sal es un manjar Tabla de Verdad: p q V F p q V

e) Dado las Siguientes Proposiciones: p: El Per ira al mundial Brasil 2014 q: El Per pertenece a Amrica del Sur p q Se lee: El Per ira al mundial Brasil 2014 El Per pertenece a Amrica del Sur Tabla de Verdad: p q F V p q V

f) Dado las Siguientes Proposiciones: p: Sporting Cristal es un Club deportivo Argentino. q: River Plate es un Club deportivo Peruano. p q Se lee: Sporting Cristal es un Club deportivo Argentino. El Per River Plate es un Club deportivo Peruano. Tabla de Verdad: p q F F p q F

4) La Disyuncin Exclusiva (). Dado las proposiciones p y q la disyuncin exclusiva o fuerte es una proposicin que resulta de unir las preposiciones p y q con el conectivo lgico o. Cuando la disyuncin exclusiva se usa en sentido exclusivo para combinar dos proposiciones la significacin se hace ms explcita aadiendo al final de la expresin: Pero no ambas pero no las dos o anteponiendo a la expresin la palabra o. Notacin: p q Se lee: P o q pero no ambas p q Se lee: P o q pero no las dos p q Se lee: o P o q Tabla de verdad: p q V V V F F V F F p q F V V F

En este tipo de operacin la ocurrencia de una proposicin exluye a la otra, no pudiendo ocurrir a las dos. Ejm. a) Dado las Siguientes Proposiciones: p: 11 es un nmero primo q: 12 es mltiplo de 2 p q Se lee: 11 es un nmero primo o 12 es mltiplo de 2 pero no ambas Tabla de Verdad: p q V V p q F

b) Dado las Siguientes Proposiciones: p: 8 es un nmero par q: 5 es divisor de 2. p q Se lee: 8 es un nmero par o 5 es divisor de 2 pero no ambas Tabla de Verdad: p q V F p q V

c) Dado las Siguientes Proposiciones: p: El internet es de banda ancha q: El Facebook es un comunicador web p q Se lee: El internet es de banda ancha El Facebook es un software de programacin pero no ambas Tabla de Verdad: p q V V p q F

d) Dado las Siguientes Proposiciones: p: Un ao calendario tiene 12 meses

q: El mes de febrero tiene 31 das p q Se lee: Un ao calendario tiene 12 meses El mes de febrero tiene 31 das pero no ambas Tabla de Verdad: p q V F p q V

e) Dado las Siguientes Proposiciones: p: El Windows 7 es un hardware q: El office 2013 es un Software p q Se lee: El Windows 7 es un hardware El office 2013 es un Software pero no ambas Tabla de Verdad: p q F V p q V

f) Dado las Siguientes Proposiciones: p: El timpu es un plato tradicional de Arequipa q: El quechua es la segunda lengua de Lima p q Se lee: El timpu es un plato tradicional de Arequipa El quechua es la segunda lengua de Lima pero no ambas Tabla de Verdad: p q F F p q F

5) La Condicional (). Sean las proposiciones p y q la condicional es una proposicin que resulta de unir p y q con el conectivo lgico entonces. Notacin:

10

p q Se lee: p entonces q Tabla de Verdad: p q V V V F F V F F p q V F V V p: se denomina antecedente o hiptesis o condicin q: se denomina consecuente o tesis o conclusin.

Hay palabras tales como si, solo si, luego, siempre, porque, yaque, cuando, solamente; las cuales expresan una condicional, Ejm. a) Dado las Siguientes Proposiciones: p: 12 es un nmero primo q: 15 es mltiplo de 4 p q Se lee: 12 es un nmero primo entonces 15 es mltiplo de 4 Tabla de Verdad: p q F F p q V

b) Dado las Siguientes Proposiciones: p: 8 es nmero par q: 5 es divisor de 12 p q Se lee: 8 es nmero par entonces 5 es divisor de 12 Tabla de Verdad: p q p q

11

V F

c) Dado las Siguientes Proposiciones: p: El rbol tiene ramas q: La rosa tiene espinas p q Se lee: El rbol tiene ramas entonces La rosa tiene espinas Tabla de Verdad: p q V V p q V

d) Dado las Siguientes Proposiciones: p: Julio es el mes Patrio q: Diciembre es el mes de los carnavales p q Se lee: Julio es el mes Patrio entonces Diciembre es el mes de los carnavales Tabla de Verdad: p q V F p q F

e) Dado las Siguientes Proposiciones: p: El agua es un Combustible q: El petrleo es un combustible p q Se lee: El agua es un Combustible entonces El petrleo es un combustible Tabla de Verdad: p q F V p q V

f) Dado las Siguientes Proposiciones: 12

p: Nctar es una agrupacin de rock electrnico q: Los Puntos es una agrupacin de reggaetn Urbano p q Se lee: Nctar es una agrupacin de rock electrnico entonces Los Puntos es una agrupacin de reggaetn Urbano Tabla de Verdad: p q F F p q V

6) La Bicondicional () Dado 02 proposiciones p y q la bicondicional es una proposicin que resulta de unir p y q con el conectivo si y solo si Notacin: P q Se lee: p si y solo si q Tabla de verdad: p q V V V F F V F F p q V F F V

a) Dado las Siguientes Proposiciones: p: 23 es un nmero primo q: 10 es mltiplo de 3 p q Se lee: 23 es un nmero primo si y solo si 10 es mltiplo de 3 Tabla de Verdad: p q V F p q F

13

b) Dado las Siguientes Proposiciones: p: 5 es un nmero par q: 5 es divisor de 12 p q Se lee: 5 es un nmero par si y solo si 5 es divisor de 12 Tabla de Verdad: p q F F p q V

c) Dado las Siguientes Proposiciones: p: 3 x 4 > 11 q: 5 3 = 2 p q Se lee: 3 x 4 > 11 si y solo si 5 3 = 2 Tabla de Verdad: p q V V p q V

d) Dado las Siguientes Proposiciones: p: Ollanta Humala es el Presidente del Per q: Efran Murillo es el Alcalde de San Romn p q Se lee: Ollanta Humala es el Presidente del Per si y solo si Efran Murillo es el Alcalde de San Romn Tabla de Verdad: p q V F p q F

e) Dado las Siguientes Proposiciones: p: El celular es un dispositivo cableado

14

q: El E-mail es el correo electrnico p q Se lee: El celular es un dispositivo cableado si y solo si El E-mail es el correo electrnico Tabla de Verdad: p q F V p q F

f) Dado las Siguientes Proposiciones: p: Alianza lima es el campen del futbol 2012 q: Universitario es el campen de la libertadores 2012 p q Se lee: Alianza lima es el campen del futbol 2012 si y solo si Universitario es el campen de la libertadores 2012 Tabla de Verdad: p q F F p q V

15