Introduccion a la logica proposicional

Prof. Mg. Yuri J. Balcona M.

17 de Abril del 2017

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

1 Introduccion

2 Proposicion logica

3 Algebra de Proposiciones

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Introduccion

Uno de los propositos principales de la logica es proporcionar

reglas, mediante las cuales, se pueda determinar si cualquier
argumento o razonamiento particular es valida (correcto).
La logica tiene que ver con cualquier clase de razonamientos, sean
estos argumentos legales o pruebas matematicas o conclusiones de
una teora cientfica, basadas en un conjunto de hipotesis. Debido
a la diversidad de sus aplicaciones, estas reglas, llamadas reglas de
inferencia, deben establecerse en terminos generales y deben ser
independientes de cualquier argumento o disciplina particular
involucrada. Estas reglas deben ser tambien independientes de
cualquier lenguaje particular usado en los argumentos. De manera
mas precisa, la logica, esta mas interesada en la forma de los
argumentos que en los argumentos mismos.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Definicion
La PROPOSICION es toda expresion de la cual tenga sentido
afirmar que sea verdadero o que sea falso, pero que no puede ser
verdadera y falsa a la vez.
El hecho de ser verdadera o falsa se denomina valor de verdad de
la proposicion

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Son proposiciones las siguientes expresiones:

2 es un numero primo

si 1 + 1 = 0 entonces 2 + 1 = 1

Machu Picchu, es una de las siete maravillas del mundo

moderno

La semana tiene un numero par de das

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Son proposiciones las siguientes expresiones:

2 es un numero primo

si 1 + 1 = 0 entonces 2 + 1 = 1

Machu Picchu, es una de las siete maravillas del mundo

moderno

La semana tiene un numero par de das

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Son proposiciones las siguientes expresiones:

2 es un numero primo

si 1 + 1 = 0 entonces 2 + 1 = 1

Machu Picchu, es una de las siete maravillas del mundo

moderno

La semana tiene un numero par de das

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Son proposiciones las siguientes expresiones:

2 es un numero primo

si 1 + 1 = 0 entonces 2 + 1 = 1

Machu Picchu, es una de las siete maravillas del mundo

moderno

La semana tiene un numero par de das

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Son proposiciones las siguientes expresiones:

2 es un numero primo

si 1 + 1 = 0 entonces 2 + 1 = 1

Machu Picchu, es una de las siete maravillas del mundo

moderno

La semana tiene un numero par de das

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Las preguntas, las ordenes, los deseos, las exclamaciones, no

admiten la posibilidad de ser verdaderas o falsas, por lo cual no son
proposiciones, tampoco son proposiciones los enunciados abiertos
como por ejemplo:

W() = (1 + H 2 )dA 2 2

La aplicacion X (, t) M es una inmersion para todo

t (, )

Que fecha es hoy?

Callate!

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Las preguntas, las ordenes, los deseos, las exclamaciones, no

admiten la posibilidad de ser verdaderas o falsas, por lo cual no son
proposiciones, tampoco son proposiciones los enunciados abiertos
como por ejemplo:

W() = (1 + H 2 )dA 2 2

La aplicacion X (, t) M es una inmersion para todo

t (, )

Que fecha es hoy?

Callate!

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Las preguntas, las ordenes, los deseos, las exclamaciones, no

admiten la posibilidad de ser verdaderas o falsas, por lo cual no son
proposiciones, tampoco son proposiciones los enunciados abiertos
como por ejemplo:

W() = (1 + H 2 )dA 2 2

La aplicacion X (, t) M es una inmersion para todo

t (, )

Que fecha es hoy?

Callate!

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Las preguntas, las ordenes, los deseos, las exclamaciones, no

admiten la posibilidad de ser verdaderas o falsas, por lo cual no son
proposiciones, tampoco son proposiciones los enunciados abiertos
como por ejemplo:

W() = (1 + H 2 )dA 2 2

La aplicacion X (, t) M es una inmersion para todo

t (, )

Que fecha es hoy?

Callate!

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion logica

Las preguntas, las ordenes, los deseos, las exclamaciones, no

admiten la posibilidad de ser verdaderas o falsas, por lo cual no son
proposiciones, tampoco son proposiciones los enunciados abiertos
como por ejemplo:

W() = (1 + H 2 )dA 2 2

La aplicacion X (, t) M es una inmersion para todo

t (, )

Que fecha es hoy?

Callate!

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion simples

Es la proposicion que tiene un sujeto y predicado; tambien se

denomina proposicion elemental o atomica; se expresa
afirmativamente y se simboliza por p,q,r,s,t,... llamadas variables
proposicionales
Ejemplos
2 es divisor de cualquier numero par: p
8 es divisor de 24: q
Arequipa es una region de la Republica del Peru: r
0+17=17: s

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion simples

Es la proposicion que tiene un sujeto y predicado; tambien se

denomina proposicion elemental o atomica; se expresa
afirmativamente y se simboliza por p,q,r,s,t,... llamadas variables
proposicionales
Ejemplos
2 es divisor de cualquier numero par: p
8 es divisor de 24: q
Arequipa es una region de la Republica del Peru: r
0+17=17: s

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion simples

Es la proposicion que tiene un sujeto y predicado; tambien se

denomina proposicion elemental o atomica; se expresa
afirmativamente y se simboliza por p,q,r,s,t,... llamadas variables
proposicionales
Ejemplos
2 es divisor de cualquier numero par: p
8 es divisor de 24: q
Arequipa es una region de la Republica del Peru: r
0+17=17: s

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion simples

Es la proposicion que tiene un sujeto y predicado; tambien se

denomina proposicion elemental o atomica; se expresa
afirmativamente y se simboliza por p,q,r,s,t,... llamadas variables
proposicionales
Ejemplos
2 es divisor de cualquier numero par: p
8 es divisor de 24: q
Arequipa es una region de la Republica del Peru: r
0+17=17: s

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion simples

Es la proposicion que tiene un sujeto y predicado; tambien se

denomina proposicion elemental o atomica; se expresa
afirmativamente y se simboliza por p,q,r,s,t,... llamadas variables
proposicionales
Ejemplos
2 es divisor de cualquier numero par: p
8 es divisor de 24: q
Arequipa es una region de la Republica del Peru: r
0+17=17: s

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Conectivos logicos

Son smbolos que unen dos o mas proposiciones simples para

formar una proposicion compuesta y simplifican el manejo de la
logica.
Principales conectivos logicos.

Figura: Conectivos logicos

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion compuesta

Es la proposicion que esta formada por dos o mas proposiciones

simples, o por la negacion de una proposicion simple; tambien
recibe el nombre de proposicion molecular o coligativa. Para
simbolizarlas ademas de usar las variables proposicionales, se usan
los conectivos logicos u operadores proposicionales.
Ejemplos
4 es un numero par o multiplo de 2
Si las lluvias continuan entonces seguira la suspension de
clases en los colegios
Hace frio y esta lloviendo
Agar.io es un juego online de facil acceso y contiene tres
entidades: pellets, las celulas y los virus

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion compuesta

Es la proposicion que esta formada por dos o mas proposiciones

simples, o por la negacion de una proposicion simple; tambien
recibe el nombre de proposicion molecular o coligativa. Para
simbolizarlas ademas de usar las variables proposicionales, se usan
los conectivos logicos u operadores proposicionales.
Ejemplos
4 es un numero par o multiplo de 2
Si las lluvias continuan entonces seguira la suspension de
clases en los colegios
Hace frio y esta lloviendo
Agar.io es un juego online de facil acceso y contiene tres
entidades: pellets, las celulas y los virus

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion compuesta

Es la proposicion que esta formada por dos o mas proposiciones

simples, o por la negacion de una proposicion simple; tambien
recibe el nombre de proposicion molecular o coligativa. Para
simbolizarlas ademas de usar las variables proposicionales, se usan
los conectivos logicos u operadores proposicionales.
Ejemplos
4 es un numero par o multiplo de 2
Si las lluvias continuan entonces seguira la suspension de
clases en los colegios
Hace frio y esta lloviendo
Agar.io es un juego online de facil acceso y contiene tres
entidades: pellets, las celulas y los virus

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion compuesta

Es la proposicion que esta formada por dos o mas proposiciones

simples, o por la negacion de una proposicion simple; tambien
recibe el nombre de proposicion molecular o coligativa. Para
simbolizarlas ademas de usar las variables proposicionales, se usan
los conectivos logicos u operadores proposicionales.
Ejemplos
4 es un numero par o multiplo de 2
Si las lluvias continuan entonces seguira la suspension de
clases en los colegios
Hace frio y esta lloviendo
Agar.io es un juego online de facil acceso y contiene tres
entidades: pellets, las celulas y los virus

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposicion compuesta

Es la proposicion que esta formada por dos o mas proposiciones

simples, o por la negacion de una proposicion simple; tambien
recibe el nombre de proposicion molecular o coligativa. Para
simbolizarlas ademas de usar las variables proposicionales, se usan
los conectivos logicos u operadores proposicionales.
Ejemplos
4 es un numero par o multiplo de 2
Si las lluvias continuan entonces seguira la suspension de
clases en los colegios
Hace frio y esta lloviendo
Agar.io es un juego online de facil acceso y contiene tres
entidades: pellets, las celulas y los virus

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Valor de verdad

El valor de verdad de una proposicion es su veracidad o falsedad.

El valor de verdad de una proposicion verdadera es verdad (V o en
equivalencia binaria 1) y el de una proposicion falsa es falso (F o
en equivalencia binaria 0).
En los siguientes ejemplos, determine el valor de verdad de
proposiciones mencionadas
Ejemplos
p: El presidente del consejo de ministros es Fernando Zavala
Lombardi
q: FBC Melgar de Arequipa Peru vencio 1-0 a Emelec de
Ecuador por la primera fecha del Grupo 3 de la Copa
Libertadores de America 2016
r: Todo numero impar mayor que 5 puede expresarse como
suma de tres numeros primos.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Valor de verdad

El valor de verdad de una proposicion es su veracidad o falsedad.

El valor de verdad de una proposicion verdadera es verdad (V o en
equivalencia binaria 1) y el de una proposicion falsa es falso (F o
en equivalencia binaria 0).
En los siguientes ejemplos, determine el valor de verdad de
proposiciones mencionadas
Ejemplos
p: El presidente del consejo de ministros es Fernando Zavala
Lombardi
q: FBC Melgar de Arequipa Peru vencio 1-0 a Emelec de
Ecuador por la primera fecha del Grupo 3 de la Copa
Libertadores de America 2016
r: Todo numero impar mayor que 5 puede expresarse como
suma de tres numeros primos.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Valor de verdad

El valor de verdad de una proposicion es su veracidad o falsedad.

El valor de verdad de una proposicion verdadera es verdad (V o en
equivalencia binaria 1) y el de una proposicion falsa es falso (F o
en equivalencia binaria 0).
En los siguientes ejemplos, determine el valor de verdad de
proposiciones mencionadas
Ejemplos
p: El presidente del consejo de ministros es Fernando Zavala
Lombardi
q: FBC Melgar de Arequipa Peru vencio 1-0 a Emelec de
Ecuador por la primera fecha del Grupo 3 de la Copa
Libertadores de America 2016
r: Todo numero impar mayor que 5 puede expresarse como
suma de tres numeros primos.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Valor de verdad

El valor de verdad de una proposicion es su veracidad o falsedad.

El valor de verdad de una proposicion verdadera es verdad (V o en
equivalencia binaria 1) y el de una proposicion falsa es falso (F o
en equivalencia binaria 0).
En los siguientes ejemplos, determine el valor de verdad de
proposiciones mencionadas
Ejemplos
p: El presidente del consejo de ministros es Fernando Zavala
Lombardi
q: FBC Melgar de Arequipa Peru vencio 1-0 a Emelec de
Ecuador por la primera fecha del Grupo 3 de la Copa
Libertadores de America 2016
r: Todo numero impar mayor que 5 puede expresarse como
suma de tres numeros primos.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Practica

Indique cual de las siguientes expresiones representa una

proposicion

Todo numero par mayor que 2 puede escribirse como suma de

dos numeros primos.
Si n es un numero entero mayor que 2, entonces no existen
numeros enteros positivos x, y , z, tales que se cumpla la
igualdad:
xn + yn = zn

Existen nubes negras.

La cantidad de numeros que posee el conjunto de los numeros
naturales N es la misma cantidad que la que posee el conjunto
de numeros reales R.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Practica

Indique cual de las siguientes expresiones representa una

proposicion

Todo numero par mayor que 2 puede escribirse como suma de

dos numeros primos.
Si n es un numero entero mayor que 2, entonces no existen
numeros enteros positivos x, y , z, tales que se cumpla la
igualdad:
xn + yn = zn

Existen nubes negras.

La cantidad de numeros que posee el conjunto de los numeros
naturales N es la misma cantidad que la que posee el conjunto
de numeros reales R.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Practica

Indique cual de las siguientes expresiones representa una

proposicion

Todo numero par mayor que 2 puede escribirse como suma de

dos numeros primos.
Si n es un numero entero mayor que 2, entonces no existen
numeros enteros positivos x, y , z, tales que se cumpla la
igualdad:
xn + yn = zn

Existen nubes negras.

La cantidad de numeros que posee el conjunto de los numeros
naturales N es la misma cantidad que la que posee el conjunto
de numeros reales R.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Practica

Indique cual de las siguientes expresiones representa una

proposicion

Todo numero par mayor que 2 puede escribirse como suma de

dos numeros primos.
Si n es un numero entero mayor que 2, entonces no existen
numeros enteros positivos x, y , z, tales que se cumpla la
igualdad:
xn + yn = zn

Existen nubes negras.

La cantidad de numeros que posee el conjunto de los numeros
naturales N es la misma cantidad que la que posee el conjunto
de numeros reales R.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Practica

Indique cual de las siguientes expresiones representa una

proposicion

Todo numero par mayor que 2 puede escribirse como suma de

dos numeros primos.
Si n es un numero entero mayor que 2, entonces no existen
numeros enteros positivos x, y , z, tales que se cumpla la
igualdad:
xn + yn = zn

Existen nubes negras.

La cantidad de numeros que posee el conjunto de los numeros
naturales N es la misma cantidad que la que posee el conjunto
de numeros reales R.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Cuantificadores

Se utilizan para indicar cantidad en una proposicion, los mas

utilizados son: cuantificador universal designados por las
palabras: todo, cada uno y todos, mientras que las palabras hay,
existe y la frase al menos uno se conocen como cuantificadores
existenciales.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Cuantificadores
En logica, teora de conjuntos y matematicas en general, los
cuantificadores son smbolos utilizados para indicar cuantos
elementos de un conjunto dado cumplen con cierta propiedad.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Ejemplos

Escriba la negacion de cada proposicion

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Tablas de valores de verdad

Presentamos las tablas de verdad de las proposiciones compuestas

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Tablas de valores de verdad

Presentamos las tablas de verdad de las proposiciones compuestas

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Tablas de valores de verdad

NOTA: El numero de filas en cada tabla es 2n , donde es la

cantidad de proposiciones simples.

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposiciones Equivalentes

Dos o mas proposiciones son equivalentes cuando tiene la misma

tabla de verdad y se denota por el smbolo
Ejemplos
Elabore las tablas de verdad de las proposiciones: a) p q
b) p q

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Proposiciones Equivalentes
Dos esquemas moleculares son equivalentes cuando al unirlos por
el bicondicional se obtiene una tautologa y se denota por el
smbolo
Ejemplos
Elabore las tablas de verdad de las proposiciones: a) p q
b) p q

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Leyes del Algebra de Proposiciones

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional

Bibliografas I

Prof. Mg. Yuri J. Balcona M. Introduccion a la logica proposicional