Formulario de Ciencias Lgica Proposicional

1. Concepto
La lgica Proposicional tambin llamada
simblica o matemtica, es aquella
parte de la lgica que estudia las
proposiciones y smbolos utilizados en
la formacin de nuevas proposiciones
que podrn ser verdaderas o falsas;
sealadas por reglas formales.
2. Enunciado
Es toda frase u oracin que seala
alguna idea. Cumple las siguientes
funciones:
a) Funcin Directiva
Su objeto es dar rdenes o hacer
pedidos. Los enunciados pueden ser:
Interrogativos
Su propsito es averiguar algo.
- Cuntos hermanos tienes?
- Dominas Geometra?
Imperativos o Exhortativos
Originan o cumplen una accin.
- Estudia!
- Cllate!
b) Funcin Expresiva
Busca comunicar sentimientos, deseos
o actitudes. Los enunciados pueden ser:
Exclamativos o admirativos
Expresan emociones
- Qu ricura!
Desiderativos
Sealan deseos o anhelos.
- Qu ricura!
- Que triste!
c) Informativa
Busca afirmar algo. El enunciado es:
Aseverativo o Declaratorio
Expresa una caracterstica o alguna
relacin entre los sujetos que
intervienen en el enunciado.
- Naci varn.
- El cuaderno es rojo.
3. Proposicin
Es aquel enunciado aseverativo del cual
se puede sealar si es verdadero o
falso, pero no ambos a la vez con
respecto a una realidad
Preposicin

Enunciado
aseverativo

Realidad
objetiva

Observacin:
El valor de verdad o valor veritativo
de una proposicin, se refiere a que
si es verdad o falsa la proposicin
mencionada.
Existen enunciados declarativos que
son mencionados con determinados
elementos que no pertenecen a
realidad alguna, en este sentido no
es correcto afirmar que es verdadero
o falso, son denominados
pseudoproposiciones.
En la lgica proposicional interesa el
significado de una proposicin y la
forma en que se presenta, ya que
por el uso del lenguaje se puede
encontrar de distintas maneras.
9
Verdadera
Falsa
Formulario de Ciencias Lgica proposicional
Aquellos enunciados que indican
una pregunta, un orden, una
exclamacin son expresiones no
proposicionales.
4. Propiedades intrnsecas de las
proposiciones.
a) Cantidad
Universal: Totalidad de
elementos.
Particular: Una agrupacin; una
colectividad.
Individual: Un solo singular.
b) Cualidad
Afirmativas: Aparece en sentido
positivo.
Negativas: Es la oposicin a lo
positivo.
Nota: La cualidad no delimita los
valores V o F de la proposicin.
c) Modalidad
Aserttica o Aseverativa: Cumple
la funcin informativa pura son:
(hechos establecidos, sobre
entendidas)
Apodctica: Funcin informativa
demostrativa (postulados
cientficos).
Problemticas: Funcin
informativa condicionativa
(probabilidad - posibilidad)
5. Clases de Proposiciones
a) Proposiciones simples o atmicas
Son aquellas en la que la aparece
una afirmacin o accin. Se
caracteriza por ser expresadas
mediante oraciones que no utilizan
conjunciones gramaticales y el
adverbio no. Ejemplo:
- Huancayo es ciudad del Per.
- Martha tiene ocho aos.
Las proposiciones simples pueden ser:
Predicativas
Cuando se atribuye una
caracterstica a un sujeto.
Ejemplo:
- Pedro estudia en el colegio
Relacionales
Cuando expresa una relacin
entre dos o ms sujetos.
Ejemplo:
- Estela y Ana son hermanas.
Individual
Referida a una sola persona u
objeto. Ejemplo:
- Flix ensea lgebra.
Particular
Referida a varias personas u
objetos. Ejemplo:
- Algunas personas no
trabajan.
Universal
Si relaciona a todas las personas
u objetos de una misma
naturaleza. Ejemplo:
- Todos los nios son
pequeos.
Conectivos lgicos u operadores
lgicos
Son palabras o smbolos que enlazan
proposicionales simples, sin formar
parte de ellas, sean las proposiciones
p, q, luego las ms conocidas son:
Smbolo
Conector
Lgico
Operacin
Lgica
Esque-
ma
Signifi-
cado
:
Negacin
p : no p
Conjuncin
p q p y q
Disyuncin
p q p o q

Disyuncin
exclusiva
p q
o p o
q
Condicional
p q
si p,
entonce
s q
Bicondicional
p q
p, si y
slo si q
10
Formulario de Ciencias Lgica Proposicional
Tipos conectivos lgicos
1. Operador Mondico: Aquel que
afecta solamente a una proposicin
atmica. La negacin es el nico
operador mondico.
2. Operador Didico aquel que afecta
a dos o ms proposiciones.
Entre las principales tenemos:
La disyuncin
La conjuncin
La condicional
La bicondicional
b) Proposiciones compuestas o
molecular
Es la unin de dos o ms proposiciones
simples, enlazadas por medio de
conectivos.
Los valores de verdad de una o ms
proposiciones se pueden esquematizar
por medio de una tabla de verdad.
Ejemplo:
- Flix es ingeniero y Alicia tiene 15
aos.
6. Operaciones Lgicas
Son aquellas que utilizan proposiciones
para transformarlas en otras, usando los
conectivos lgicos.
1 4 4 4 4 4 42 4 4 4 4 4 43
Operacin Lgica
Conectivos Pr oposicin
Proposiciones
Lgi cos Compuesta
+
a) Conjuncin
Es aquella que vincula dos
proposiciones mediante el conectivo y,
o alguna expresin equivalente.
Ejemplo:
- Mery est trabajando y Robert est
jugando.
Tabla de verdad
p q
p q
V
V
F
F
V
F
V
F
V
F
F
F
Observacin:
La conjuncin es verdadera slo si sus
componentes son verdaderos.
b) Disyuncin
Es aquella que vincula dos
proposiciones mediante el conectivo o.
Disyuncin dbil o inclusiva
La proposicin formada es verdadera si
alguna de las proposiciones que los
forman es verdadera o ambas son
verdaderas.
Ejemplo:
- Maria estudia o juega.
Tabla de verdad
p q
p q
V
V
F
F
V
F
V
F
V
V
V
F
Observacin:
La disyuncin es falsa slo si sus
componentes son falsos.
Disyuncin fuerte o exclusiva
La proposicin formada es verdadera si
slo uno de las proposiciones qu la
forma es verdadera.
Ejemplo:
- O Belinda es limea o arequipea.
Tabla de verdad
11
Formulario de Ciencias Lgica proposicional
p q
p q
V
V
F
F
V
F
V
F
V
V
V
F
Observacin:
La disyuncin es falsa slo si sus
componentes son falsas.
Disyuncin fuerte o exclusiva
La preposicin formada es verdadera si
slo una de las proposiciones que la
forma es verdadera.
Ejemplo:
- O Belinda es limea o arequipea.
Tabla de verdad
p q
p q
V
V
F
F
V
F
V
F
V
V
V
F
Observacin:
La disyuncin exclusiva es verdadera
slo si sus componentes tienen valores
diferentes.
c) Condicional
Es aquella que toma dos proposiciones,
llamando a la primera antecedente y a
la segunda consecuente unindolas a
travs del conectivo s entonces o
expresiones equivalentes.
Ejemplo:
- Si Maria es limea entonces es
peruana.
Tabla de verdad
p q
p q
V
V
F
F
V
F
V
F
V
F
V
v
Observacin:
La condicional o implicacin tendr un
valor de falso cuando el antecedente es
verdadero y el consecuente falso en los
dems casos es verdadero.
d) Bicondicional
Es aquella que vincula dos
proposiciones mediante el conectivo si
y slo si o expresiones equivalentes.
Ejemplo:
- Alicia es madre de Pedro si y slo si
Pedro es hijo de Alicia.
Tabla de verdad
p q
p q
V
V
F
F
V
F
V
F
V
F
F
V
Observacin:
Cuando ambas proposiciones tienen el
mismo valor veritacional, la proposicin
compuesta es verdadera.
e) Negacin
Es una operacin que afecta a una
proposicin cambindole su valor de
verdad. Utiliza el adverbio no.
Ejemplo:
Proposicin:
- Alvaro viaja a Puno.
Negacin:
- Alvaro no viaja a Puno.
Observacin:
A la expresin utilizada en la
representacin de una proposicin se le
denomina esquema molecular o
12
Formulario de Ciencias Lgica Proposicional
frmula proposicional.

1 42 43
Esquema molecular
P(q,r): (q r) q
:
1 4 42 4 43
Esquema molecular
T(p,q,r): (p q) ( r)
Los valores (V o F) correspondientes
a un esquema molecular se denominan
funciones veritativas.
7. Tablas de verdad
Son diagramas que permiten sealar la
verdad o falsedad de una posicin
representada a travs de un esquema
molecular.
Las tablas de verdad utilizan cuadros de
doble entrada con la distribucin
siguiente:
Elaboracin de las tablas de verdad
1. Dado el esquema molecular
p q

corresponde a una proposicin
conjuntiva, se identifica las variables
proposicionales que lo forman y se
ubican en la parte superior de la tabla.
pq
p q
2. A continuacin se ubican en la parte
inferior del margen, todas las
posibles combinaciones de los
valores de verdad de las variables
proposicionales.
p q
p q
V
V
F
F
V
F
V
F
3. Segn la operacin lgica, se asigna
el valor de verdad a las
combinaciones (V y/o F) de las
variables proposicionales.
p q
p q
V
V
F
F
V
F
V
F
V
F
F
F
8. Esquemas moleculares
Representa una proposicin compuesta
y como tal sta tiene un valor de verdad.
Hecha la tabla de verdad de un
esquema molecular caben tres
posibilidades.
a) Tautolgico
Si es evaluar todas las posibles
ordenaciones de los valores veritativos
de las variables proposicionales que la
componen siempre resulta verdadero.
Ejemplo:
Sea la proposicin:
(p q) p
Luego su tabla de verdad
P q
(p q) p
V V
V F
F V
F F
V V
F V
V V
V V
b) Contradiccin
Si es evaluar todas las ordenaciones de
los valores de verdad de las variables
proposicionales que la componen
resulta falso.
Ejemplo:
Sea la proposicin
13
Formulario de Ciencias Lgica proposicional
[ ] (p q) p q :
Luego
p q [ ] (p q) p q :
V V
V F
F V
F F
V F F
F F V
V F F
V F V
c) Contingencia
Si es evaluar su tabla de verdad
contiene al menos un verdadero y al
menos un falso.
Ejemplo.
Sea la proposicin:
(p q) p
Luego su tabla de verdad
P q
(p q) p
V V
V F
F V
F F
V V V
F V V
V F F
V F F
9. Implicacin y equivalencia lgica
A. Implicancia Lgica
Un esquema condicional que es
tautolgico, corresponde a una
implicancia lgica.
Sean: P y Q dos proposiciones
moleculares y P Q es un esquema
tautolgico, entonces:
P implica lgicamente a Q
Se representa: P Q
Donde:
P: Hiptesis
Q: Tesis

'

Se lee:
P implica lgicamente Q
P es condicin suficiente para Q
Tambin Q es condicin necesaria
para P.
Implicaciones notables
a) Principio de Desligamiento (Modos
Ponens)
(p (p q) q
b) Principio de Contraposicin (Modos
Tollens)
( q (p q)) q : :
c) Principio de Simplificacin
(p q) p
d) Principio de Inferencia Equivalente
(p (p q)) q
e) Principio de Adicin
p (p q)
f) Principio de Silogismo Hipottico
((p q) (q r)) (p r)
g) Principio de Silogismo Disyuntivo
( p (p q)) q :
h) Principio de Conjuncin
(p q) (q p)
i) Principio de Transitividad Simtrica
((p q) (q r)) (p r)
j) Ley del Absurdo
(p (q q)) p : :
Leyes de Implicacin
Sea: V una tautologa, Q una
contingencia, F una contradiccin.
1ro. Q V 2do. V V
3ro. F V 4to. F Q
14
Formulario de Ciencias Lgica Proposicional
5to F F
B. Equivalencia Lgica
Un esquema bicondicional que es
tautolgico, corresponde a una
equivalencia lgica.
Sean: P y Q dos proposiciones
moleculares y P Q es un esquema
tautolgico, entonces:
P es lgicamente equivalente a Q
Se representa: P Q o P Q
Se lee:
P es lgicamente equivalente a Q
P es condicin necesaria y suficiente
para Q.
Equivalencias Lgicas Notables
a) Ley de Idempotencia

p q q p

p p p
b) Ley Commutativa

p q q p

p q q p

p q q p
c) Ley Asociativa

p (q r) (p q) r

p (q r) (p q) r

p (q r) (p q) r
d) Ley Distributiva

p (q r) (p q) (p r)

p (q r) (p q) (p r)

p (q r) (p q) (p r)

p (q r) (p q) (p r)
e) Ley de Morgan

(p q) p q : : :

(p q) p q : : :
f) Ley de Involucin (doble negacin)

( p) p : :
g) Ley de Absorcin

p (p q) p

p (p q) p

p ( p q) p q :

p ( p q) p q :

h) Leyes Condicionales

p q p q :

(p q) p q : :
i) Leyes Bicondicionales

p q (p q) (q p)

p q (p q) ( p q) : :
j) Leyes de Complemento
V: una tautologa
F: una contradiccin

p p V :

p p V :
V F :
F V :

( F) F ( p) p : : : :
k) Disyuncin Fuerte
p q (p q) (p q) :
l) Expansin

p p (q q) :

p p (q q) :
m) Transposicin

p q q p : :

p q q p : :
n) Existencia del Elemento Neutro

V p p V p

F p p F F
15
Formulario de Ciencias Lgica proposicional

F p p F p

V p p V V

p ( p q) p q :

p ( p q) p q :
) Implicacin Material

p q p q :

p q (p q) : :
o) Doble Implicacin

p q (p q) (q p)

p q ( p q) ( q p) : :

p q (p q) :
p) Mutacin

p q r q p r
10. Circuitos Lgicos
Un circuito lgico es la representacin
grfica de una o ms proposiciones,
utilizando los esquemas denominados
circuitos elctricos.
Las proposiciones simples sern
presentadas como interruptores en el
circuito, abriendo o cerrando el circuito.
Equivale a:

Relacionado el circuito con una
lmpara.
Si la proposicin es verdadera, el
crculo est cerrado y pasa corriente
el circuito funciona.
Si la proposicin es falsa, el
circuito est abierto y no pasa
corriente el circuito no funciona.
a) Circuito Serie
Es aquel que est constituido por
interruptores dispuestos uno detrs de
otro.
Observacin:
Para que el circuito funcione, todos los
interruptores deben estar cerrados. El
circuito serie representa la conjuncin
de dos o ms proposiciones.

p q
se representa:

p r q
se representa:

b) Circuito Paralelo
Es aquel que est constituido por
interruptores dispuestos uno a
continuacin del otro. Si un circuito
paralelo representa la disyuncin dbil
de dos o ms proposiciones.

p q
se representa:

p q r
se representa:
16 P

P

p
q
p
r
q
P
Proposicin
Interruptor
p
q p
r
Formulario de Ciencias Lgica Proposicional
El circuito que representa a la
condicional
p q
, ser:
Dado que:
p q p q :
El circuito que representa a la
bicondicional
p q
, ser:
Dado que:
p q (p q) (q p) :
Observacin:
Los esquemas moleculares que pueden
ser representados por circuitos lgicos
son los conjuntivos o disyuntivos, luego,
los esquemas condicionales o
bicondicionales pueden ser
transformados a esquemas conjuntivos
o disyuntivos, mediante la aplicacin de
las equivalencias notables.
11.Cuantificadores
a) Proposicin abierta
Es una proposicin que contiene varias
variables, su valor de verdad depende
de los valores que se asignan a las
variables que contiene:
Ejemplo:
Sea la proposicin
(x)
P
: x es un
nmero impar. Es una proposicin
abierta, su verdad depende de los de
x.
Observaciones:
1. Los posibles valores de las variables
de una funcin Proposicional forman un
conjunto llamado Dominio.
2. En lgica Proposicional se usan los
cuantificadores para convertir una
proposicin abierta en concreta.
b) Cuantificador
Es una expresin que indica si el sujeto
o variable de una funcin proposicin se
toma en todo su dominio o en parte de
l.
Cuantificador Universal
Sealado como para todo, indica que
todos los valores del dominio de la
variable deben hacer que la funcin
Proposicional sea verdadera.
Se representa: (para todo,
cualquiera que sea).
Importante:
En general, dada la funcin
Proposicional
P(x)
la proposicin
concreta ser:
x: P(x) o x/P(x)
Se lee: Para todo x tal que
P(x)

Cuantificador Existencial
Sealado como existe algn,
significa que habr algn elemento del
dominio de la variable que hace de la
funcin Proposicional una proposicin
verdadera.
Se representa (existe algn, existe
por lo menos).
Importante:
En general, dada la funcin
Proposicional
P(x)
la proposicin
concreta ser:
x : P(x) o x / P(x)
Se lee: Existe algn x tal que
P(x)

12. Negacin de proposiciones que

17
p
q
p
q
q
p
Formulario de Ciencias Lgica proposicional
contienen cuantificadores
Se presentan las siguientes formas:
(x) (x)
(x) (x)
( x: P ) x: P ...(1)
( x: P ) x: P ...(2)

'

:
Al negar una proposicin que contiene
cuantificadores, se cambia el
cuantificador respectivo (universal por el
existencial y viceversa) y se niega la
proposicin abierta respectiva.
13. Inferencia Lgica
Si de una o ms proposiciones llamadas
premisas, se deriva mediante la
deduccin otra proposicin llamada
conclusin, se ha formado una
inferencia.
Importante:
Una inferencia es vlida si las premisas
implican lgicamente la conclusin. Las
inferencias lgicas se rigen por
principios lgicos o tautologas.
Inferencia: Premisas

Conclusin
Para formar el esquema de una
inferencia se escriben las premisas
respectivas una debajo de otra,
terminadas las premisas se traza una
barra y debajo de ella se escriben la
conclusin.
Ejemplo:
}
Si hoy es martes, no juego
Premisas
Hoy es martes
No juego Conclusin

Lo que puede ser representado:

Observacin:
Un argumento es la proposicin que se
forma al unir mediante un condicional, la
conjuncin de las premisas y la
conclusin.
Para el ejemplo: El argumento es:
1 2
P P C
14. Anlisis de una inferencia
a) Al analizar una inferencia para
determinar su validez, se determina el
esquema al cual pertenece el
argumento. Si el esquema es
tautolgico, la inferencia es vlida; si
resulta contradictorio o consistente, la
inferencia es invlida.
b) Para analizar la validez de un
argumento se utiliza tambin el
siguiente mtodo.
Se asigna el valor de verdad a
cada una de las premisas y de
falsedad a la conclusin.
Se obtiene los valores de verdad
de cada variable que forma parte del
argumento.
Si las variables que se repiten
dos o ms veces tienen sus mismos
valores, la inferencia no es vlida.
Si una misma variable posee
valores diferentes, la inferencia es
vlida.
18
1
2
P : Si hoy es martes
P : Hoy es martes

C : No juego
1
2
3
n
P
P
P
.

.
.

P

C
1 2 3 n
P P P ... P C
Formulario de Ciencias Lgica Proposicional
15. Complementos
a) Principios Lgicos
Dentro de la lgica formal existen
principios fundamentales o bsicos que
sirven para analizar la estructura de los
razonamientos.
Primer Principio: De Identidad
Toda proposicin se implica a s
misma.
Expresin formal:
p q
Ejemplo:
Si ests trabajando, entonces lo estas.
Segundo Principio: De No
contradiccin
Una proposicin no puede ser
verdadera o falsa simultneamente.
Expresin formal:
(p q) : :
Ejemplo:
No es cierto que 28 es impar y par.
Tercer Principio: Del Tercio Excluido
Una proposicin es verdadera o
falsa, no existe una tercera
posibilidad.
p q :
Ejemplo:
l trabaja o no trabaja.
b) Variaciones de la Condicional
Conocida una proposicin
p q
,
asociada a ella, se forman otras
condicionales que contenga a p y q.
Recproca:
p q
Inversa o contraria:
p q : :
Contrarecproca:
q p : :
Las tablas de verdad de estas cuatro
proposiciones son como sigue:
p q
Condiciona
l
p q
Recproca
q p
V V
V F
F V
F F
V
F
V
V
V
V
F
V
p q
Inversa
p q : :
Recproca
q p : :
V V
V F
F V
F F
V
V
F
V
V
F
V
V
De las tablas se puede afirmar:
Una proposicin condicional
p q

y su contrarecproco
q p : :
son
equivalentes.
p q q p : :
La recproca de la condicional
p q
sealada como
q p
y la
inversa de la misma condicional
p q : :
.
q p p q :
c) Arreglos de tablas de verdad
Al utilizar las tablas de verdad para
sealar la equivalencia entre
proporciones es conveniente reconocer
los arreglos que se obtienen en las
tablas de verdad de proposiciones que
utilizan dos variables proposicionales.
Ejemplo:
Dada la siguiente tabla:
19
Formulario de Ciencias Lgica proposicional
p q
p q q p
V V
V F
F V
F F
V
F
F
F
V
V
F
F
Se observa los arreglos de las variables
proposicionales:
p: VVFF 4 posibles valores

q: VFVF para cada variable
_
;

,
De la conjuncin y disyuncin:
p q: VFFF 4 posibles valores

p q: VVVF para cada operacin
_
;

,
Diferentes arreglos que se puede
obtener:
Esquema
Valores
Veritativos
Caracters-
ticas
p p :
VVVV
Tautologa
p q
VVVF
Disyuncin
dbil
q p
VVFV
Recproca
p VVFF
Primera
variable
p q
VFVV
Condicional
q VFVF
Segunda
variable
p q
VFFV
Bicondicional
p q
VFFF
Conjuncin
(p q) :
FVVV
N. Conjuncin
(p q) :
FVVF
N.
Bicondicional
q :
FVFV
N. 2da. variable
(p q) :
FVFF
N. Condicional
p :
FFVV
N. 1ra. Variable
(q p) :
FFVF
N. Recproca
(p q) :
FFFV
N. Disyuncin
dbil
p p :
FFFF
Contradiccin
: :
Significa negacin
Los diagramas de Venn
Mucho ms perfeccionados aparecen
los grficos que Venn quien los propuso
cien aos despus de los de Euler.
Estos diagramas tienen las siguientes
peculiaridades:
a) Se representan por crculos
intersectados.
b) Para indicar la falta de informacin
sobre una clase, se dejan en blanco
el rea que la representa.
c) Para negar la existencia de una
clase se sombrea el rea que la
representa.
d) Para afirmar la existencia de una
clase se inserta x en el rea que la
representa.
Un ejemplo de esta manera de
representacin grfica es la siguiente:
20
P
S
P
S
Todos los S son P Ningn S es P