D05 TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS

Prof. Sal QUISPE CHINO

PROPOSICIONES LGICAS

1.Proposiciones lgicas
La lgica proposicional o tambin llamada lgica matemtica estudia las proposiciones, entendiendo como tales a los enunciados declarativos que tienen la propiedad de ser verdaderos o falsos ; pero no ambas al mismo tiempo. Ejemplo : Lima es la capital del Per La luna es un satlite de plutn 2+5=0 x+y > 1, x,y |R

2.Conectivos lgicos
Entre las proposiciones se definen ciertas operaciones denominadas conectivos lgicos . Los principales conectivos lgicos son : Negacin Disyuncin Conjuncin Condicional Bicondicional

2.1.Negacin
Dada una proposicin p, se llama negacin de p a la proposicin no p que se representa por p

Ejemplo : Si p : el hombre es mortal entonces p: no es cierto que el hombre es mortal; lo que equivale a decir : p : el hombre no es mortal

TABLA DE VERDAD
Si p es verdadera p es falsa; si p es falsa , p es verdadera

p V

p F

2.2.Disyuncin
dadas las proposiciones p y q , se llama disyuncin d p y q a la proposicin p o q que se representa por p q.

Ejemplo : Si p : hace frio en invierno y q : Napolen invadi Rusia Entonces : p q : Hace frio en invierno o Napolen invadi Rusia

TABLA DE VERDAD
p q es verdadera si p es verdadera o q es verdadera
p V V F F q V F V F p q V V V F

2.3.Conjuncin
Dadas las proposiciones p y q , se llama conjuncin de la proposicion p y q representada por p q pyqa

Ejemplo : Si p : 2 es mayor que 5 y q : todo nmero impar es primo, Entonces: p q : 2 es mayor que 5 y todo nmero impar es primo

TABLA DE VERDAD
p q es verdadera si p y q son verdaderas simultneamente
p V V F F q V F V F pq V F F F

2.4.El condicional
se llama condicional de p y q a la proposicin si p entonces q y se representa por p q , p se llama antecedente y q consecuente del condicional p q Ejemplo: Si p : 2 es nmero primo y q : 5 es menor que 4 Entonces: p q: si 2 es nmero primo entonces 5 es menor que 4

TABLA DE VERDAD
p q es verdadera si p es falsa o q es verdadera
p q p q

V V F F

V F V F

V F V V

2.5.El bicondicional
se llama bicondicional de dos proposiciones p y q a la proposicin p si y slo si q representada por p q

Ejemplo : p : juan ingresa a la universidad q : juan estudia mucho Entonces: p q : juan ingresa a la universidad si y slo si estudia mucho

TABLA DE VERDAD
pq es verdadera si p y q son ambas verdaderas o ambas falsas
p q p q

V V F F

V F V F

V F F V

3.Proposiciones simples y proposiciones compuestas

Una proposicin es simple o atmica si no contiene ningn conectivo lgico Ejemplo Lima es la capital del Per Una proposicin es compuesta o molecular si contiene al menos un conectivo lgico Ejemplo Hace calor o hace fro

Tablas de verdad de proposiciones compuestas

TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS

Sea la proposicin compuesta

(p q ) r
Distinguimos aqu el condicional como el conectivo lgico principal que caracteriza a la proposicin. Es decir, identificamos a esta proposicin como un condicional. En este caso no es difcil hacer tal identificacin ya que est sugerida por el parntesis el cual nos indica que primero debe efectuarse la disyuncin p q y despus el condicional (p q) r En caso de no existir signos de coleccin , adoptamos la convencin de que el conectivo liga con ms fuerza que o , y a su vez , cada uno de estos liga con mayor fuerza que o

EJEMPLO:1

( p) q r se puede escribir p q r

En cambio,

(p q) r y p (q r) necesitan de
los parntesis

EJEMPLO:2
Construir la tabla de verdad de la proposicin compuesta

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

V V F F

V F V F

V V F F

V F V V

V F V F

V F V F

V F V F

V F F F

V V F F

TAUTOLOGA Y CONTRADICCIONES
En lgica proposicional es de mucha importancia el estudio de las proposiciones compuestas que tienen la propiedad de ser verdaderas siempre, dichas proposiciones se denominan tautologas Una proposicin compuesta es una contradiccin si es siempre falsa, cualesquiera sean los valores de verdad de sus componentes

Nota :las proposiciones que no son tautologas ni contradicciones se llaman contingencias

EJEMPLO:

EJEMPLO:

p p es una tautologa
En efecto: 2
p p

p p es una contradiccin
En efecto:

1
p ) p p

1
p )

V F

V F

V V

F V

V F

V F

V F

F F

F V

V F

En la columna 2 vemos que esta proposicin compuesta siempre es verdadera

En la columna 2 vemos que esta proposicin compuesta siempre es falsa