Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Lógica

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 24

Apuntes de Logica Matematica

1. Logica de Proposiciones

Lic. Richard Centeno Palomino


Puno, Abril de 2017
Leccion 1
Logica de Proposiciones
La estrecha relacion existente entre la matematica moderna y la logica formal es una de sus
caractersticas fundamentales. La logica aristotelica era insuficiente para la creacion matematica
ya que la mayor parte de los argumentos utilizados en esta contienen enunciados del tipo si,
entonces, absolutamente extranos en aquella.

En esta primera leccion de logica estudiaremos uno de los dos niveles en los que se desenvuelve la
moderna logica formal: la logica de enunciados o de proposiciones.

1.1 Proposiciones y Tablas de Verdad

En el desarrollo de cualquier teora matematica se hacen afirmaciones en forma de frases y que


tienen un sentido pleno. Tales afirmaciones, verbales o escritas, las denominaremos enunciados o
proposiciones.

1.1.1 Proposicin

Llamaremos de esta forma a cualquier afirmacion que sea verdadera o falsa, pero no ambas
cosas a
la vez.
Ejemplo 1.1 Las siguientes afirmaciones son proposiciones.

(a) Gabriel Garca Marquez escribio Cien anos de soledad.

(b) 6 es un numero

primo. (c) 3+2=6

(d) 1 es un numero entero, pero 2 no lo es.

Nota 1.1 Las proposiciones se notan con letras minusculas, p, q, r . . . . . . La notacion p :Tres
mas cuatro es igual a siete se utiliza para definir que p es la proposicion tres mas cuatro es igual a
siete.

Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras.

Ejemplo 1.2 Las siguientes no son proposiciones.

(a) x + y > 5

(b) Te vas?

(c) Compra cinco azules y cuatro rojas.

(d) x = 2

2
Solucion

En efecto, (a) es una afirmacion pero no es una proposicion ya que sera verdadera o falsa
dependiendo de los valores de x e y e igual ocurre con la afirmacion (d). Los ejemplos (b) y (c) no
son afirmaciones, por lo tanto no son proposiciones.

Desde el punto de vista logico carece de importancia cual sea el contenido material de los
enunciados, solamente interesa su valor de verdad.

3
1.1.2 Valor de Verdad

Llamaremos valor verdadero o de verdad de una proposicion a su veracidad o falsedad. El valor


de
verdad de una proposicion verdadera es verdad y el de una proposicion falsa es falso.
Ejemplo 1.3 Dgase cuales de las siguientes afirmaciones son proposiciones y determinar el valor
de verdad de aquellas que lo sean.

(a) p: Existe Premio Nobel de informatica.

(b) q: La tierra es el unico planeta del Universo que tiene vida.

(c) r: Teclee Escape para salir de la aplicacion.

(d) s: Cinco mas siete es grande.

Solucion

(a) p es una proposicion falsa, es decir su valor de verdad es Falso.


(b) No sabemos si q es una proposicion ya que desconocemos si esta afirmacion es verdadera o falsa.

(c) r no es una proposicion ya que no es verdadera ni es falsa. Es un mandato.

(d) s no es una proposicion ya que su enunciado, al carecer de contexto, es ambiguo. En efecto,


cinco ninas mas siete ninos es un numero grande de hijos en una familia, sin embargo
cinco monedas de cinco cinco centimos mas siete monedas de un centimo no constituyen una
cantidad de dinero grande.

1.1.3 Proposicion Compuesta

Si las proposiciones simples p1 , p2 , . . . , pn se combinan para formar la proposicion P , diremos


que P
la es una proposicion compuesta de p1 , p2 , . . . , pn .
Ejemplo 1.4 La Matematica Discreta es mi asignatura preferida y Mozart fue un gran
compositor es una proposicion compuesta por las proposiciones La Matematica Discreta es mi
asignatura preferida y Mozart fue un gran compositor.

El es inteligente o estudia todos los das es una proposicion compuesta por dos proposiciones: El
es inteligente y El estudia todos los das.

Nota 1.2 La propiedad fundamental de una proposicion compuesta es que su valor de verdad
esta completamente determinado por los valores de verdad de las proposiciones que la componen
junto con la forma en que estan conectadas.

1.1.4 Variables de Enunciado

Es una proposicion arbitraria con un valor de verdad no especificado, es decir, puede ser verdad
o
falsa.
En el calculo logico, prescindiremos de los contenidos de los enunciados y los sustituiremos por
variables de enunciado. Toda variable de enunciado p, puede ser sustituida por cualquier enunciado
siendo sus posibles estados, verdadero o falso. El conjunto de los posibles valores de una proposici
on p, los representaremos en las llamadas tablas de verdad, ideadas por L.Wittgenstein1.
1
Ludwig Wittgenstein (Viena 1889-Cambridge 1951), nacionalizado britanico en 1938. Estudio Ingeniera Mecanica
en
1.1.5 Tablas de Verdad

La tabla de verdad de una proposicion compuesta P enumera todas las posibles combinaciones
de los
valores de verdad para las proposiciones p1, p2, . . . , pn.
Ejemplo 1.5 Por ejemplo, si P es una proposicion compuesta por las proposiciones simples p1 , p2
y
p3 , entonces la tabla de verdad de P debera recoger los siguientes valores de verdad.

p p p
V
1 V
2 V
3

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

1.2 Conexion entre Proposiciones

Estudiamos en este apartado las distintas formas de conectar proposiciones entre s. Prestaremos
especial atencion a las tablas de verdad de las proposiciones compuestas que pueden formarse
utilizando las distintas conexiones.

1.2.1 Conjuncion

Dadas dos proposiciones cualesquiera p y q, llamaremos conjuncion de ambas a la proposicion


com- puesta p y q y la notaremos p q. Esta proposicion sera verdadera unicamente en el
caso de que ambas proposiciones lo sean.

Observese que de la definicion dada se sigue directamente que si p y q son, ambas, verdaderas
entonces p q es verdad y que si al menos una de las dos es falsa, entonces p q es falsa. Por lo tanto
su tabla de verdad vendra dada por

pqp q
VVV
VFF
FVF
FFF

Observese tambien que el razonamiento puede hacerse a la inversa, es decir si p q es verdad,


entonces
p y q son, ambas, verdad y que si p q es falsa, entonces una de las dos ha de ser falsa.

Berlin, posteriormente investigo Aeronautica en Manchester. La necesidad de entender mejor las matematicas lo llevo
a estudiar sus fundamentos. Dejo Manchester en 1811 para estudiar logica matematica con Russell en Cambridge.
Escribio su primer gran trabajo en logica, Tractatus logico-philosophicus, durante la primera guerra mundial, primero
en el frente ruso y luego en el norte de Italia. Envio el manuscrito a Russell desde un campo de prisioneros en Italia.
Liberado en 1919, regalo la fortuna que haba heredado de su familia y trabajo en Austria como profesor en una
escuela primaria. Volvio a Cambridge en 1929 y fue profesor en esta universidad hasta 1947, ano en que renuncio. Su
segundo gran trabajo, Investigaciones filosoficas fue publicado en 1953, es decir, dos anos despues de su muerte.
Otras obras postumas de Wittgenstein son: Observaciones filosoficas sobre los principios de la matematica(1956),
Cuadernos azul y marron(1958) y Lecciones y conversaciones sobre estetica, sicologa y fe religiosa(1966).
1.2.2 Disyuncion

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncion de ambas a la proposicion


com- puesta p o q y la notaremos p q. Esta proposicion sera verdadera si al menos una de
las dos p o q lo es.

De acuerdo con la definicion dada se sigue que si una de las dos, p o q, es verdad entonces p q es
verdad y que p q sera falsa, unicamente si ambas lo son. Su tabla de verdad sera, por tanto,

pqp q
VVV
VFV
FVV
FFF

Al igual que en la conjuncion, podemos razonar en sentido inverso. En efecto, si p q es verdad,


entonces una de las dos, al menos, ha de ser verdad y si p q es falsa, entonces ambas han de ser
falsas.
La palabra o se usa en el lenguaje ordinario de dos formas distintas. A veces se utiliza en el sentido de
p o q, o ambos, es decir, al menos una de las dos alternativas ocurre y, a veces es usada en el
sentido de p o q, pero no ambos es decir, ocurre exactamente una de de las dos alternativas.

Por ejemplo, la proposicion El ira a Madrid o a Bilbao usa o con el ultimo sentido. A este
tipo de disyuncion la llamaremos disyuncion exclusiva.

1.2.3 Disyuncion Exclusiva

Dadas dos proposiciones cualesquiera p y q, llamaremos disyuncion exclusiva de ambas a la


proposicion compuesta p o q pero no ambos y la notaremos p q. Esta proposicion sera
verdadera si una u otra, pero no ambas son verdaderas.

Segun esta definicion una disyuncion exclusiva de dos proposiciones p y q sera verdadera cuando
tengan distintos valores de verdad y falsa cuando sus valores de verdad sean iguales. Su tabla de verdad
es, por tanto,

pqp q
VVF
VFV
FVV
FFF

Haciendo el razonamiento contrario si p q es verdad, unicamente podemos asegurar que una de las
dos es verdad y si p q es falsa, solo podemos deducir que ambas tienen el mismo valor de verdad.
Nota 1.3 Salvo que especifiquemos lo contrario, o sera usado en el primero de los sentidos.
Esta discusion pone de manifiesto la precision que ganamos con el lenguaje simbolico: p q esta
definida por su tabla de verdad y siempre significa p y/o q.

1.2.4 Negacion

Dada una proposicion cualquiera, p, llamaremos negacion de p a la proposicion no p y la


notare- mos p. Sera verdadera cuando p sea falsa y falsa cuando p sea verdadera.
La tabla de verdad de esta nueva proposicion, p, es:

pp
VF
FV

De esta forma, el valor verdadero de la negacion de cualquier proposicion es siempre opuesto al


valor verdadero de la afirmacion original.

Ejemplo 1.6 Estudiar la veracidad o falsedad de las siguientes proposiciones:

p1: El Pentium es un microprocesador.

p2: Es falso que el Pentium sea un microprocesador.

p3: El Pentium no es un microprocesador.

p 4: 2 + 2 = 5

p5: Es falso que 2 + 2 = 5

p 6: 2 + 2 = 4

Solucion

X p2 y p3 son, cada una, la negacion de p1 .

X p5 y p6 son, cada una, la negacion de p4 .

Pues bien, de acuerdo con la tabla de verdad para la negacion, tendremos:

X p1 es verdad, luego p2 y p3 son falsas.

X p4 es falsa, luego p5 y p6 son verdad.

Ejemplo 1.7 Construir la tabla de verdad de la proposicion (p


q). Solucion

p q p (p
V V Fq q
F q)
V
V F V V F
F V F F V
F F V F V
Existen proposiciones que son verdaderas (falsas) simplemente por su forma logica y no por su
contenido.
1.2.5 Tautologas y Contradicciones

Sea P una proposicion compuesta de las proposiciones simples p1 , p2 , . . . , pn


P es una Tautologa si es verdadera para todos los valores de verdad que se asignen
a
p1, p 2, . . . , pn .
P es una Contradiccion si es falsa para todos los valores de verdad que se asignen a p1 , p2 , .
. . , pn .
Una proposicion P que no es tautologa ni contradiccion se llama, usualmente, Contingencia.

Ejemplo 1.8 Probar que la proposicion compuesta p p es una tautologa y la p p es una


con- tradiccion.

Solucion

En efecto:

ppp pp p
VFVF
FVVF

Observese que p p es verdad, independientemente de quienes sean las variables de enunciado, p y


p
y lo mismo ocurre con la falsedad de p p.

1.2.6 Proposicion Condicional

Dadas dos proposiciones p y q, a la proposicion compuesta


si p, entonces
q se le llama proposicion condicional y se nota por

p q
A la proposicion p se le llama hipotesis, antecedente, premisa o condicion suficiente y a
la q tesis, consecuente, conclusion o condicion necesaria del condicional. Una proposicion
condicional es falsa unicamente cuando siendo verdad la hipotesis, la conclusion es falsa (no
se debe deducir una conclusion falsa de una hipotesis verdadera).

De acuerdo con esta definicion su tabla de verdad es,

pqp q
VVV
VFF
FVV
FFV

Observese que si p q es verdad no puede deducirse practicamente nada sobre los valores de
verdad de p y q ya que pueden ser ambas verdad, ambas falsas o la primera falsa y la segunda verdad.
Ahora bien, si el condicional p q es falso, entonces podemos asegurar que p es verdadera y q falsa.
Otras formulaciones equivalentes de la proposicion condicional p q son:
p solo si q .
q si p.
p es una condicion suficiente para q
. q es una condicion necesaria
para p. q se sigue de p.
q a condicion de p.
q es una consecuencia logica de p
. q cuando p.

Analizaremos con detalle cada uno de los cuatro casos que se presentan en la tabla de verdad.

1. Antecedente y consecuente verdaderos.


En este caso parece evidente que el condicional si p, entonces q se evalue como verdadero.
Por ejemplo,

Si como mucho, entonces engordo

es una sentencia que se evalua como verdadera en el caso de que tanto el antecedente como
el consecuente sean verdaderos.
Ahora bien, observese que ha de evaluarse tambien como verdadero un condicional en el que
no exista una relacion de causa entre el antecedente y el consecuente. Por ejemplo, el
condicional

Si Garca Lorca fue un poeta, entonces Gauss fue un matema


tico

ha de evaluarse como verdadero y no existe relacion causal entre el antecedente y el


consecuente. Es por esta razon que no hay que confundir el condicional con la implicacion lo
gica.

Garca Lorca fue un poeta implica que Gauss fue un matema


tico

Es una implicacion falsa desde el punto de vista logico. Mas adelante estudiaremos la
implicacion logica.
2. Antecedente verdadero y consecuente falso.
En este caso parece natural decir que el condicional se evalua como falso. Por ejemplo,
supongamos que un poltico aspirante a Presidente del Gobierno promete:

Si gano las elecciones, entonces bajare los impuestos

Este condicional sera falso solo si ganando las elecciones, el poltico no baja los impuestos. A
nadie se le ocurrira reprochar al poltico que no ha bajado los impuestos si no ha ganado las
elecciones. Observese que el hecho de que p sea verdadero y, sin embargo, q sea falso viene,
en realidad, a
refutar la sentencia p q, es decir la hace falsa.
3. Antecedente falso y consecuente verdadero.
Nuestro sentido comun nos indica que el condicional p q no es, en este caso, ni verdadero
ni falso. Parece ilogico preguntarse por la veracidad o falsedad de un condicional cuando la
condicion expresada por el antecedente no se cumple. Sin embargo, esta respuesta del sentido
comun no nos
sirve, estamos en logica binaria y todo ha de evaluarse bien como verdadero, bien como falso,
es decir, si una sentencia no es verdadera, entonces es falsa y viceversa.
Veamos que en el caso que nos ocupa, podemos asegurar que el condicional no es falso. En efecto,
como dijimos anteriormente, p q es lo mismo que afirmar que
p es una condicion suficiente para q

es decir, p no es la unica condicion posible, por lo cual puede darse el caso de que q sea
verdadero siendo p falso. O sea, la falsedad del antecedente no hace falso al condicional y si no lo
hace falso, entonces lo hace verdadero. Por ejemplo,

Si estudio mucho, entonces me canso

Que ocurrira si no estudio y, sin embargo, me cansara? Pues que la sentencia no sera inva
lida, ya que no se dice que no pueda haber otros motivos que me puedan producir cansancio.
4. Antecedente y consecuente falsos.
La situacion es parecida a la anterior. La condicion p no se verifica, es decir, es falsa, por lo
que el consecuente q puede ser tanto verdadero como falso y el condicional, al no ser falso, sera
verdadero.
Observese, anecdoticamente, que es muy frecuente el uso de este condicional en el lenguaje
coloquial, cuando se quiere senalar que, ante un dislate, cualquier otro esta justificado.

Si tu eres programador, entonces yo soy el dueno de


Microsoft

Ejemplo 1.9 Sean p, q y r las proposiciones El numero N es par, La salida va a la pantalla


y Los resultados se dirigen a la impresora, respectivamente. Enunciar las formulaciones equivalentes
de las siguientes proposiciones.

(a) q p.
(b) q r.
(c) r (p q).

Solucion

(a) q p.
Si la salida va a la pantalla, entonces el numero N es par.
La salida ira a la pantalla, solo si el numero N es par.
El numero N es par si la salida va a la pantalla.
Una condicion suficiente para que el numero N sea par es que la salida vaya a la pantalla.
Una condicion necesaria para que la salida vaya a la pantalla es que el numero N sea par.
(b) q r.
Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora.
La salida no va a la pantalla solo si los resultados se dirigen a la impresora.
Los resultados se dirigen a la impresora si la salida no va a la pantalla.
Una condicion suficiente para que los resultados se dirijan a la impresora es que la salida
no vaya a la pantalla.
Una condicion necesaria para que la salida no vaya a la pantalla es que los resultados se
dirijan a la impresora.
(c) r (p q).
Si los resultados se dirigen a la impresora, entonces el numero N es par o la salida va a
la pantalla.
Los resultados se dirigen a la impresora solo si el numero N es par o la salida vaya a la
pantalla.
El numero N es par o la salida va a la pantalla si los resultados se dirigen a la impresora.
Una condicion suficiente para que el numero N sea par o la salida vaya a la pantalla es
que los resultados se dirijan a la impresora.
Una condicion necesaria para que los resultados se dirijan a la impresora es que el numero
N
sea par o que la salida vaya a la pantalla.

Ejemplo 1.10 Sean las proposiciones

p : Esta
nevando. q : Ire
a la ciudad. r :
Tengo tiempo.

(a) Escribir, usando conectivos logicos, una proposicion que simbolice cada una de las
afirmaciones siguientes:
(a.1) Si no esta nevando y tengo tiempo, entonces ire a la ciudad.
(a.2) Ire a la ciudad solo si tengo tiempo.
(a.3) No esta nevando.
(a.4) Esta nevando, y no ire a la ciudad.

(b) Enunciar las afirmaciones que se corresponden con cada una de las proposiciones
siguientes: (b.1) q (r p)
(b.2) r q
(b.3) (q r) (r q)
(b.4) (r q)

Solucion

(a) Escribimos en forma simbolica las afirmaciones


propuestas. (a.1) (p r) q
(a.2) q r
(a.3) p
(a.4) p q
(b) Escribimos en forma de afirmaciones las proposiciones.

(b.1) Ire a la ciudad si, y solo si tengo tiempo y no esta nevando.


(b.2) Tengo tiempo e ire a la ciudad.
(b.3) Ire a la ciudad si y solo si tengo tiempo.
(b.4) Ni tengo tiempo, ni ire a la ciudad.

1.2.7 Proposicion Recproca

Dada la proposicion condicional p q, su recproca es la proposicion, tambien condicional, q


p.
Por ejemplo, la recproca de Si la salida no va a la pantalla, entonces los resultados se dirigen a
la impresora sera Si los resultados se dirigen a la impresora, entonces la salida no va a la
pantalla.
1.2.8 Proposicion Contrarrecproca

Dada la proposicion condicional p q, su contrarrecproca es la proposicion, tambien


condicional,
q p.
Por ejemplo, la contrarrecproca de la proposicion Si Mara estudia mucho, entonces es buena
estudi- ante es Si Mara no es buena estudiante, entonces no estudia mucho.

Ejemplo 1.11 Escribir la recproca y la contrarrecproca de cada una de las afirmaciones


siguientes:

(a) Si llueve, no voy.

(b) Me quedare, solo si tu te vas.

(c) Si tienes cien pesetas, entonces puedes comprar un helado.

(d) No puedo completar la respuesta si no me ayudas.

Solucion

Escribiremos la recproca y la contrarrecproca de varias


formas.

(a) Si llueve, no voy.

Recproca.
Si no voy, entonces llueve.
Llueve si no voy.
Una condicion necesaria para no ir es que llueva.
Una condicion suficiente para que llueva es no ir.
Contrarrecproca.
Si voy, entonces no llueve.
Voy solo si no llueve.
Es necesario que no llueva, para que vaya.
Es suficiente que vaya para que no llueva.
(b) Me quedare solo si te vas.

Recproca.
Si te vas, entonces me quedare.
Me quedare, si te vas.
Una condicion necesaria para que te vayas, es quedarme.
Una condicion suficiente para quedarme es que te vayas.
Contrarrecproca.
Si no te vas, entonces no me quedare.
No me quedare si no te vas.
Es suficiente que no te vayas, para no quedarme.
(c) No puedo completar la respuesta si no me ayudas.

Recproca.
Si no puedo completar la respuesta, entonces no me ayudas.
Contrarrecproca.
Si puedo completar la respuesta, entonces me ayudas.
Puedo completar la respuesta solo si me ayudas.
Es necesario que ayudes para poder completar la respuesta.
1.2.9 Proposicion bicondicional

Dadas dos proposiciones p y q, a la proposicion compuesta


p si y solo si
q se le llama proposicion bicondicional y se nota por

p q

La interpretacion del enunciado es:

p solo si q y p si q

o lo que es igual

si p, entonces q y si q, entonces p

es decir, (p q) (q p)

Por tanto, su tabla de verdad es:

pqp qq pp q
VVVVV
VFFVF
FVVFF
FFVVV

Luego la proposicion bicondicional p q es verdadera unicamente en caso de que ambas


proposiciones,
p y q, tengan los mismos valores de verdad.

Nota 1.4 Observese que la proposicion condicional p q, se enunciaba

Si p, entonces q

siendo una formulacion equivalente,

Una condicion necesaria para p es q

y la proposicion condicional q p, se enunciaba

Si q, entonces p

siendo una formulacion equivalente,

Una condicion suficiente para p es q

Por tanto, una formulacion equivalente de la proposicion bicondicional en estos terminos, sera:
Una condicion necesaria y suficiente para p
es q
Ejemplo 1.12 Sean a, b y c las longitudes de los lados de un triangulo T siendo c la longitud
mayor. El enunciado

T es rectangulo si, y solo si a2 + b2 = c2

puede expresarse simbolicamente p q


como

donde p es la proposicion T es rectangulo y q la proposicion a2 + b2 = c2 .


Observemos lo siguiente: La proposicion anterior afirma dos cosas

1. Si T es rectangulo, entonces a2 + b2 = c2
o tambien,
Una condicion necesaria para que T sea rectangulo es que a2 + b2 = c2

2. Si a2 + b2 = c2 , entonces T es rect
angulo o tambien,
Una condicion suficiente para que T sea rectangulo es que a2 + b2 = c2

Consecuentemente, una forma alternativa de formular la proposicion dada es

Una condicion necesaria y suficiente para que T sea rectangulo es que a2 + b2 = c2

Nota 1.5 Los valores de verdad de una proposicion compuesta, pueden determinarse a menudo,
con- struyendo una tabla de verdad abreviada. Por ejemplo, si queremos probar que una proposicion
es una contingencia, es suficiente con que consideremos dos lneas de su tabla de verdad, una que
haga que la proposicion sea verdad y otra que la haga falsa. Para determinar si una proposicion es
una tautologa, bastara considerar, unicamente, aquellas lneas para las cuales la proposicion
pueda ser falsa.

Ejemplo 1.13 Consideremos el problema de determinar si la proposicion (pq) p es una


tautologa. Solucion

Construimos su tabla de verdad.

pqp q(p q) p
VVVV
VFFV
FVFV
FFFV

Luego, en efecto, (p q) p es una tautologa.

Observemos ahora lo siguiente: Una proposicion condicional solo puede ser falsa en caso de que
siendo la hipotesis verdadera, la conclusion sea falsa, por tanto si queremos ver si (p q) p es
una tautologa, bastara comprobar los casos en que p q sea verdad, ya que si es falsa, entonces (p
q) p es verdad, consecuentemente una tabla de verdad abreviada para este ejercicio sera:

p q p q(p q) p
V V V V
Ejemplo 1.14 Establecer si las siguientes proposiciones son tautologas, contingencias o
contradic- ciones.

(a) (p q) (q p)
(b) [p (q r)] [(p q) (p r)]
(c) (p q) q
(d) p (p q)
(e) (p q) p
(f) [(p q) p] (p q)
(g) [(p q) (r s)] [(p r) (q s)]

Solucion

(a) (p q) (q p)

pqp qq p(p q) (q p)
VVVVV
VFFVF
FVVFF
FFVVV

Luego es una contingencia.


(b) [p (q r)] [(p q) (p r)]
Haremos una tabla de verdad abreviada. La proposicion condicional solo es falsa cuando
siendo verdad la hipotesis, la conclusion es falsa. Ahora bien, la hipotesis es verdad cuando lo
sean, a un tiempo, p y q r y esta es verdad si, al menos, una de las dos q o r lo es, entonces

p q r q p (q p p (p q) (p
V V F rV r) V qV rF r) V V
V F V V V F V V V
V V V V V V V V V

Por tanto, la proposicion es una tautologa.


(c) (p q) q

p q p (p q)
V V Fq q
V q V
V F V V F
F V F F V
F F V V F

luego la proposicion es una contingencia.


(d) p (p q)
Esta proposicion sera falsa unicamente cuando siendo verdad p, p q sea falsa, pero si p es
verdad, entonces p q es verdad independientemente del valor de verdad de q, luego una tabla
de verdad abreviada sera
pp qp (p q)
VVV

y la proposicion es una tautologa.


(e) (p q) p
Haremos una tabla de verdad abreviada. la proposicion condicional, unicamente, es falsa
cuando siendo p q verdad, la conclusion p es falsa, pero p q es verdad, unicamente,
cuando ambas, p y q, lo son, luego,

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

es decir, la proposicion es una tautolog


a. (f) [(p q) p] (p q)
p q p (p q) p [(p q) p] (p
V V qV p V qV q) V
V F F F F V
F V F V F F
F F F V V V

luego la proposicion es una contingencia.


(g) [(p q) (r s)] [(p r) (q s)]
La proposicion condicional unicamente es falsa cuando siendo verdad la hipotesis es falsa la
con- clusion. Por el mismo argumento (p r) (q s) es falsa cuando siendo p r verdad
sea q s sea falsa, y esta es falsa cuando ambas, q y s, lo son.
Ahora bien, para que la conclusion (p r) (q s) sea falsa, y utilizando el mismo
argumento, p r ha de ser verdad y q s falsa, luego p y r han de ser una de las dos, al menos,
verdad mientras q y s han de ser, las dos, falsas.
Haremos, pues, una tabla de verdad abreviada que recoja unicamente estos casos.

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

y, consecuentemente, la proposicion es una contingencia.

También podría gustarte