CLCULO

PROPOSICIONAL

VARIABLE PROPOSICIONAL
Es aquella que puede representar a una
proposicin simple o compuesta pero su
valor de verdad es desconocido, mientras no
se especifiquen los valores de verdad de las
proposiciones involucradas.
Las variables proposicional se las representa
con las ultimas letras minsculas del
alfabeto espaol, ejemplo: p, q, r, etc.

FORMA PROPOSICIONAL
Son estructuras constituidas por variables
proposicionales y relacionadas con los
operadores lgicos.
Se las representa con las letras maysculas
del alfabeto espaol A,B, C.D.
Ejemplo:

FORMA PROPOSICIONAL
Observaciones
Las formas proposicionales no tienen valor
de verdad conocido y, por lo tanto, no sern
consideradas proposiciones.
Si
cada
variable
proposicional
es
reemplazada por una proposicin simple o
compuesta, la forma proposicional se
convierte en una proposicin.

FORMA PROPOSICIONAL
Ejemplo
Dada la siguiente forma proposicional.
Construya la Tabla de verdad de una forma
proposicional.

FORMA PROPOSICIONAL
Debido a la presencia de las 3 variables proposicionales p, q y r,
existirn 23 proposiciones posibles en la tabla de verdad de A.

Cuando las variables proposicionales p, q y r toman los valores de

verdad 1, 0 y 1, respectivamente,
se puede apreciar que la
6
proposicin resultante es verdadera.

Ejemplo:

Construir la tabla de vedad para las siguientes

formas proporcionales

B : p (q p q
Solucin:
p

p ( q p ) q

Ejemplo:

Construir la tabla de vedad para las siguientes

formas proporcionales

C : p (q r ) ( p r ) q

Solucin:
p

(q r )

( p r)

TAUTOLOGAS, CONTRADICCIONES
Y CONTINGENCIAS:
Dada la estructura lgica de una forma proposicional :
Es Tautologa, si los valores de su tabla de verdad
todos son verdaderos
Es Contradiccin, si los valores de su tabla
verdad, todos son falsos.

de

Es Contingencia, si los valores de su tabla de

verdad hay valores verdaderos y falsos
9

Ejercicio: Determinar si la siguiente forma

proposicional es tautolgico, consistente o
contradictorio.
[~ (p q) (~ q ~ p)] p
[~ (p q) (~ q ~ p)] p

F F F

V V

V F F

V V

F F V

V F

V V V

V F

10

Clculo Proposicional
Determina el valor de verdad de las siguientes
expresiones, si se sabes que:

(V)
(F)
(V)
(F)

p: Mara es doctora.
q: Mara es casada.
r: Mara vive con sus padres.
s: Mara viajar a Espaa.

(q r) s
(p r) (p q)
(F F) F
(V V) (V F)
V F
V F
F
V

EJERCICIOS
1.Si se sabe nicamente que P es verdadero, Qu
puede afirmarse del valor de verdad de cada una
las proposiciones siguientes?
P Q
RP S ~P
R P
P Q
R (S P)
RP
PPS
P S(Q ~
P)
S ~P
~P QR
Q ~PR
Q
2.- Determinar cules de las siguientes
proposiciones son tautologas:
P Q P R (P Q ) (~ QP )
P P Q (P Q) (P ~ Q)
P ~ (Q P)
P ~ ((P Q) R)
(P (Q ~ P)) ~ Q P (~ P R)

RECORDEMOS:
Las
formas
proposicionales
pueden
ser
conectadas con operadores lgicos para formar
nuevas formas proposicionales. Dadas A y B,
los smbolos:

IMPLICACIN LGICA
Sean A y B dos formas proposicionales, se dice que
A implica lgicamente a B, denotado por AB , si y
slo si AB es una tautologa.
13

EJEMPLO DE IMPLICACIN LGICA

Dada las siguientes formas
demostrar que A implica a B
A: p q
B: p q

proposicionales,

Solucin: Unimos con la condicional (p q) (p q) y

construimos la tabla:

El resultado es tautologa, se ha demostrado que A implica a B.

14

EQUIVALENCIA LGICA
Se dice que dos proposiciones son equivalentes,
si tienen iguales valores de verdad.
Se lo representa por
operador lgico.

pero no es un

Ejjercicio: Demostrar que las siguientes formas

proposicionales son equivalentes

A: p q

B:pq ,

Solucin: se construye la tabla

de verdad y luego se verifica los
resultados
Resp: si son equivalentes

15

p q ~p q

Principales leyes lgicas o Tautologas:

Entre estas se tiene :
1. de identidad :
p p

p p

2. Ley de contradiccin :
~ ( p p)
3. Ley del Tercio excluido :
pp
4. Ley Del Modus Ponens :

p ( p q ) q

5. Ley de Simplifica cin :

a) p q p
b) p q q
16

Principales Leyes Lgicas

6..Ley de Modus Tollens :

( p q) q q

7. Ley del Si log ismo hipottico

( p q ) (q r ) ( p r )
8. Ley del Si log ismo Disyuntivo :
( p q) q q
9. Ley del Absurdo :
a ) p (q q ) p

b) ( p q ) ( p q ) p

17

Equivalencias Notables
1. Ley de involucin : ( Doble negacin ) :
( p) p
2. Ley de Idempotencia :
a) p p p
b) p p p
3. Ley Conmutativa :
a) p q q p
b) p q q p
c) p q q p
4. Ley Asociativa :
a) ( p q) r p (q r )
b) ( p q ) r p (q r )
c) ( p q) r p (q r )
18

Equivalencias notables:
5. Leyes Distributi vas :
a ) p (q r ) ( p q ) ( p r )
b) p ( q r ) ( p q ) ( p r )
c) p (q r ) ( p q) ( p r )
d ) p (q r ) ( p q) ( p r )
6. Ley de DMorgan :
a) ( p q) p q
b) ( p q ) p q
7. Leyes de Complemento :
a) p q V
b) ( p ) p
c) p p F

19

Principales leyes lgicas

8. Leyes delCondici onal :
a) p q p q
b) ( p q ) p q
c) ( p q ) q p
9. Ley del Bicondicio nal :
a ) ( p q ) ( p q) (q p )
b) ( p q ) ( p q ) ( p q )
10. Leyes de Identidad :
a) p V V

b) p V p

c) p F p

d) p F F

11. Ley de Absorsin :

a) p ( p q) p

b) p ( p q ) p

c) p ( p q) p q

d ) p ( p q ) p q
20

Principales leyes lgicas

12. Ley de Transposic in :

a) ( p q ) (q p)
b) ( p q ) ( q p )
13. Ley de Exportacin :
a) ( p q) r p (q r )
b) ( p1 p 2 p3 .... p n ) r ( p1 p 2 p3 .... p n ) ( p n r )
14. Elementos Neutros :
a) p T p
b) p T T
c) p C p
d) p C C
T Tauto log a ; C Contradiccin

21

CUANTIFICADORES

Funcin Proposicional:
Es todo enunciado abierto, que tiene la propiedad de convertirse
en una proposicin al ser sustituido la variable x por una
constante especfica. Se les denota asi:
P(x) ; q(x) ; etc.
Ejemplo:
Sea : p(x): x+5=12 ; donde si reemplazamos x por 3 , la
expresin es falsa; si reemplazamos x por 7, la expresin es
verdadera. Esto escribimos asi:
P(3): 3+5=12

es falsa

P(7): 7+5=12

es verdadera.
22

TIPOS DE CUANTIFICADORES

1.- Cuantificador Universal:

Es toda funcin proposicional presedida por el Prefijo Para
Todo, que est denotado por:
As por ejemplo:

x R : x 2 0

Se lee: Para todo x perteneciente a los reales, x2es mayor o

igual a cero
2.- Cuantificador Existencial
Es toda funcin proposicional presedida por el prefijo
x : se lee : por
" Existe
Existe algn x, que est denotado
: a lg n x"

Ejemplo : x R : 2 x 2 8 0

23

Negacin de los Cuantificadores:

Dada una funcin proposicional , tal como : P(x), entonces

si esta funcin proposicional est cuantificada y se
niega,entonces, se cumple la siguiente igualdad:

x A : p( x) x A : p( x)

Dada una funcin proposicional, tal como : P(x), entonces,

si esta funcin proposicional est cuantificada en forma
existencial y se niega, entonces, se cumple la igualdad:

x A : p( x) x A : p( x)
24

Circuitos lgicos
Llamados tambin redes lgicas. Son como su nombre
indica, redes que representan posiciones lgicas.
Estas redes se presentan como redes en serie o
como redes en paralelo

Una Conexin en serie seasocia con la CONJUNCIN

pq :
/p

/q

25

 Una Conexin en paralelo se asocia con la DISYUNCIN

pq :
P/
q/

26

Circuitos lgicos
Describir simblicamente el circuito
r

~q
q

~r

1. r y ~q estn conectados en paralelo :

2. P y (r y ~q) estn conectados en serie:
3. q y ~r estn conectados en serie:

p (r ~ q)

Luego se simboliza:

r v ~q

p (r ~ q)
q~r

q ~ r Estn conectados en paralelo,

p (r ~ q) (q ~ r)
27

Circuitos lgicos
Determinar el circuito equivalente al circuito:
~p
~p
q

~p

Solucin
El circuito se simboliza por:

~ p q p ~ p q ~ p
28

Circuitos lgicos
Solucin

~ p q p ~ p q ~ p
Simplificamos utilizando las leyes lgicas y las equivalencias
notables.

~ p p q ~ p ~ p q
Asociativa
T q ~ p q
Ley del tercio excluido , Idempotencia.
T ~ p q
~ pq

Elemento neutro para

la conjuncin
~p

El circuito equivalente es:

q
29