Está en la página 1de 11

LGICA PROPOSICIONAL

Operaciones Proposicionales

VARIABLES CONJUNCIN
DISYUNCIN
DBIL
DISYUNCIN
FUERTE
CONDICIONAL BICONDICIONAL NEGACIN
NEGACIN
ALTERNA
NEGACIN
CONJUNTA
p q p q p v q p v q p q
p q p
p | q
p q
V V V V F V V F F V
V F F V V F F V V
F V F V V V F V V V
F F F F F V V V F

Simbolizacin de esquemas moleculares
1.
a) Si Cristal gana el campeonato, entonces Alianza queda en segundo lugar y Universitario no gana
todos los partidos restantes.
b) Universitario gana todos los partidos restantes pues Cristal gana el campeonato o Alianza queda en
segundo lugar.
c) O bien, si Cristal gana el campeonato, entonces Alianza queda en segundo lugar, o bien
Universitario gana todos los partidos restantes si Alianza no queda en segundo lugar.
2. Si es despus de las 7 de la noche, entonces la puerta est cerrada y el profesor no me dejar
ingresar
3. Si no es el caso que Juan sea un comerciante o un prspero ingeniero, entonces es director de una
compaa de teatro.
4.
5. Si estudias, sers un buen ingeniero. Si no lo haces, el fracaso te acompaar.
6. Eres sincero o no lo eres. Si eres sincero, podrs superarte; si no lo eres, no tendrs buenos amigos.
7.
8. La leyes de la mecnica son exactas si Newton dice la verdad, si y slo si el movimiento no es relativo.
9. Si has escogido bien tu carrera, te esforzars y triunfars. Si no triunfas, no has escogido bien tu
carrera o no te has esforzado.
10. Sean p= hace fro; q= Est lloviendo y r = Rafael est enfermo. Traducir:
a) ( v ( ( (


Evaluacin de Esquemas Moleculares por medio de Tablas de Valores de Verdad.
Evaluar un esquema molecular por medio de tablas de valores de verdad, consiste en obtener
los valores del conectivo de mayor jerarqua presente en la proposicin, a partir de los valores
de verdad de cada una de las proposiciones simples (atmicas) que la conforman.

Un esquema molecular es:
CONSISTENTE cuando en su columna resultado hay por lo menos una verdad y una
falsedad
TAUTOLGICO cuando los valores de verdad de su conectivo de mayor jerarqua son
todos verdaderos
CONTRADICTORIO cuando en su columna resultado son todos falsos

EJEMPLO: evaluar los siguientes esquemas moleculares por medio de tablas de valores de verdad

1. [( ( ](

2. {( [ ( ]} [[ (]]

3. [( ] [ ( ]



Solucin

1. [( ( ](


p q r
[( ( ] (
V V V F F F V V
V V F F F V V V
V F V V F F V V
V F F V V V V F
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V F F F F

Por lo tanto el sistema es CONSISTENTE o CONTINGENTE

2. El sistema es TAUTOLGICO

3. El sistema es CONTRADICTORIO

VALOR DE VERDAD DE UNA PROPOSICIN MOLECULAR
Cuando se desea hallar el valor de verdad de una proposicin
molecular, por tablas de valores de verdad, se procede de forma
abreviada, utilizando solamente la fila que contiene los valores de
verdad de las proposiciones atmicas que intervienen o, tambin,
usando niveles

EJEMPLO: Determinar el valor de verdad de la proposicin:



Solucin

p: 2 + 3 = 6 (F)

q: 2 = 3 (F)

r: 2 < 3 (V)




Simbolizando tenemos: [( ] (

p q r
[( ] (
F F V F V V F F

Utilizando niveles

[( ] (
F F F V


F V V F


V F

F

Por lo tanto, la proposicin es FALSA.

EJEMPLO:
Si se sabe que la proposicin es verdadera y la proposicin
( es falsa, hallar el valor de verdad de la proposicin:
[( ( ] (

Solucin

F


V V


V

Tambin:

(
V


V F


V F


F

Ahora, como p es F, q es V, r es V y t es V, hallamos el valor de
verdad de la proposicin:

[( ( ] ( )

V V F


F F V F V V


F F


V F

F

Por lo tanto, la proposicin es FALSA

EJERCICIO: Sabiendo que la proposicin simbolizada por
[( ( ] es verdadera, hallar el valor de verdad de:
[( ( ] v (


IMPLICACIN Y EQUIVALENCIA


a) IMPLICACIN
Cuando tratamos de la condicional observamos que muchas veces no hay
relacin entre las proposiciones que la constituyen. Sin embargo, la mayor
parte de los condicionales tiles dentro del lenguaje cientfico y, en especial
dentro de la matemtica, contienen proposiciones que se relacionan de
alguna forma, como por ejemplo: Si un tringulo es Issceles, entonces
sus ngulos interiores son iguales


DEFINICIN: Decimos que una proposicin p implica a otra proposicin q, o
que q se deduce de p, si no se verifica que p sea verdadera y q sea falsa, o
tambin si q es verdadera siempre que p sea falsa. La relacin p implica a q
se denota .

DEFINICIN: Un esquema o una proposicin A implica a otro esquema o
proposicin B, cuando unidos por el condicional , estando A como
antecedente y B como consecuente, el resultado es una TAUTOLOGA.
Ejemplo: Determinar si la proposicin Un nmero es mayor que
cero si es positivo aunque sea primo, implica a la proposicin Un
nmero es mayor que cero puesto que no es primo


Solucin
p= Un nmero es mayor que cero
q= Un nmero es positivo
r = Un nmero es (sea) primo
Simbolizando tenemos: (







p q r
[( ] (
V V V
V V V V F V V
V V F
V F F V V V V
V F V
F F V V F V V
V F F
F F F V V V V
F V V
V V V V F V F
F V F
V F F V V F F
F F V
V V V V F V F
F F F
V F F V V F F

Por lo tanto la proposicin A implica a la proposicin B

b) EQUIVALENCIA
Cuando tratamos de la bicondicional, observamos que en muchos casos no
hay relacin entre las proposiciones que la constituyen, sin embargo, la
generalidad de los bicondicionales tiles en el lenguaje cientfico y, en
especial dentro de la matemtica, contiene proposiciones que se relacionan
de alguna manera, como por ejemplo:
Un cuadriltero es un cuadrado si y slo si el cuadriltero es regular

DEFINICIN: se dice que una proposicin p es equivalente a otra
proposicin q, si se verifica que p implica a q y q implica a p, es
decir: ( (

DEFINICIN: Decimos que una proposicin p es equivalente a otra
proposicin q, si p y q tienen los mismos valores de verdad. La
equivalencia se denota tambin

DEFINICIN: Dos esquemas A y B, son equivalentes, cuando
unidos por el bicondicional el resultado es una TAUTOLOGA

DEFINICIN: Dos esquemas o dos proposiciones son
equivalentes, cuando tienen los mismos valores de verdad en sus
columnas principales.

Ejemplo: Determinar cules de las proposiciones siguientes son
equivalentes:

A= Si los nmeros enteros son reales, entonces con nmeros
enteros se forman fracciones; sin embargo, los nmeros reales
no son divisibles por cero a pesar de que con nmeros enteros
se forman fracciones.

B= No es el caso que los nmeros reales son divisibles por cero o
con nmeros enteros no se forman fracciones.

C= O con nmeros enteros se forman fracciones o los nmeros
enteros no son reales; no obstante, con nmeros enteros se
forman fracciones a la vez que los nmeros reales no son
divisibles por cero.

Solucin

Simbolizando la proposiciones simples
p= Los nmeros enteros son reales
q= Con nmeros enteros se forman fracciones
r = Los nmeros reales son divisibles por cero

Simbolizando los esquemas

A= ( (
B= (
C= ( (

Evaluando los esquemas

p q r ( ( ( ( (
V V V V F F F V V F F
V V F V V V V F V V V
V F V F F F F V F F F
V F F F F F F V F F F
F V V V F F F V F F F
F V F V V V V F F F V
F F V V F F F V V F F
F F F V F F F V V F F

Por lo tanto, como los esquemas A y B son iguales, entonces


LEYES LGICAS

Un esquema molecular es una ley lgica, si y slo si, cualquiera que
sea la interpretacin formalmente correcta que se haga del mismo, d
como resultado una verdad lgica, es decir, una TAUTOLOGA.

A. PRINCIPIOS LGICOS

En la lgica tradicional son conocidas las tautologas con el nombre
de principios lgicos y son los siguientes:

1. PRINCIPIO DE IDENTIDAD: Toda proposicin es idntica a s
misma



2. PRINCIPIO DE NO CONTRADICCIN: Es imposible que una
proposicin sea verdadera y falsa a la vez.

(


3. PRINCIPIO DEL TERCIO EXCLUIDO: Una proposicin o es
verdadera o es falsa; no hay una tercera posibilidad.

(


B. EQUIVALENCIAS NOTABLES: Son leyes lgicas que sirven para
transformar esquemas o proposiciones, y obtener sus respectivas
equivalencias.

1. DOBLE NEGACIN (DN): Dos negaciones de igual alcance
equivale a una afirmacin



2. IDEMPOTENCIA (Idem): las variables que se repiten en una
cadena de conjunciones o disyunciones, se pueden eliminar


De la conjuncin De la disyuncin




3. CONMUTATIVIDAD (Conm) si en las proposiciones conjuntivas o
disyuntivas se permutan sus respectivos componentes, sus
equivalencias significan lo mismo.

De la conjuncin De la disyuncin




4. ASOCIATIVA (Asoc) si en un esquema conjuntivo o disyuntivo,
aparece ms de una conjuncin o disyuncin, stas pueden
agruparse indistintamente

De la Conjuncin
( (

De la Disyuncin
( (


5. DISTRIBUTIVIDAD (Dist)
i) De la Conjuncin respecto a la Disyuncin

( ( (

ii) De la Disyuncin respecto a la Conjuncin

( ( (


6. LEYES de DE MORGAN (De M)
i) Negacin de una Conjuncin
(

ii) Negacin de una Disyuncin
(

7. DE COMPLEMENTACIN (Comp)




8. DE IDENTIDAD (Ident)




9. ABSORSIN

( (
( (


DEFINICIN DE LA CONDICIONAL

(


CONDICIONALES ASOCIADAS
Sea la condicional: que llamaremos DIRECTA, en conexin
con ella se presentan otras tres, obtenidas por permutaciones o
negaciones del antecedente y consecuente, as:

DIRECTA
RECPROCA
CONTRARIA
CONTRARECPROCA

Se verifica mediante tablas de valores de verdad, que las siguientes
bicondicionales son tautologas.

( (

( ) (


Es decir:

( (

( ) (

También podría gustarte