LGICA MATEMTICA

LA
BICONDICIONAL
EQUIVALENCIA - DOBLE IMPLICACIN

- El smbolo empleado es:

- Al enlazar dos proposiciones sera: a
b
- Significa: (a
b) (b
a). Se
cumple cuando ambas son iguales.
- Se lee: a si y slo si b
- REGLA: Es VERDADERA cuando ambas
a
b
a
proposiciones son verdaderas o ambas
b
falsas, es decir cuando0tienen
el 1mismo
0
valor de VERDAD.
0
1
0
1

Ejemplo: Se tienen las proposiciones

a: La matriz tiene inversa
b: El determinante de la matriz es
diferente de cero
Si se quiere decir que una matriz tenga inversa implica
que su determinante es diferente de cero; y
recprocamente, si el determinante de una matriz es
diferente de cero entonces tiene inversa; se lo
expresar de la forma:
a
b: Una matriz tiene inversa; si y slo si, su
determinante es diferente de cero

La BICONDICIONAL, tambin llamada equivalencia

o implicacin doble, es una extensin de la
implicacin y relaciona las proposiciones p y q de
tal manera que solo se puede cumplir cuando
ambas son iguales.
En trminos formales seria el equivalente a escribir

En esta forma proposicional se llamar a la primera

proposicin implicacin y a la segunda recproca .

EJEMPLOS:

REALICE EL SIGUIENTE EJERCICIO:

p: El tringulo T es equiltero
q: El tringulo Tes equingulo

p1
q1

p
q: El tringulo T es equiltero; si y slo
si, es equingulo.
V (p

q) 1

TRADUCCIONES DE LA BICONDICIONAL:

a si y solo si b
b si y solo si a
Si a entonces b, y recprocamente.
Si b entonces a, y recprocamente.
a es una condicin suficiente y
necesaria para b.
- a es una condicin necesaria y
suficiente para b.
- b es una condicin necesaria y
suficiente para a.

DEMOSTRACIN DE LA TABLA DE VERDAD:

a b a
b
0 0
0 1
1 0
1 1
LA RELACIN ENTRE

a
b
1
0
0
1

1
1
0
1
CON

b
a

(a

b)
a)

1
0
1
1

ES:

1
0
0
1

(b

DEMOSTRAR MEDIANTE LA TABLA DE VALORES DE VERDAD:

( a v b)

a b a
b
0 0
0 1
1 0
1 1

a v
b

(a v
b)

1
0
0
1

DEBER: DEMOSTRAR EL CUMPLIMIENTO DE LAS OTRAS 3 EQUIVALENCIAS (LGEBRA

PROPOSICIONAL)

LGICA MATEMTICA

PROPOSICIONES
MOLECULARES

OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
DEFINA PROPOSICIONES ATMICAS Y
MOLECULARES
ESTABLEZCA EL VALOR DE VERDAD DE UNA
PROPOSICIN

PROPOSICIONES MOLECULARES:
Son expresiones que estn compuestas por
varias
proposiciones
conectadas
por
operadores lgicos.

PROPOSICIONES ATMICAS:
Son proposiciones simples en las que no
aparecen operadores lgicos.
EJEMPLOS:
((a b) c)
(a b)
Las proposiciones atmicas seran: a, b y c.
El valor de verdad depende de las proposiciones

EJERCICIO:
DETERMINE EL VALOR DE VERDAD DE LA
PROPOSICIN:
[(a b) c]
(a b)
Suponga que:

a1 ; b 0 y c 1

LGICA MATEMTICA

FORMAS
PROPOSICIONALES

OBJETIVOS:
SE PRETENDE QUE EL ESTUDIANTE:
DEFINA FORMAS PROPOSICIONALES
DEFINA TAUTOLOGAS, FALACIAS Y
CONTRADICCIONES
APLIQUE LA DEFINICIN DE TAUTOLOGA Y
LA DE FALACIA PARA CLASIFICAR FORMAS
PROPOSICIONALES DADAS.

FORMA PROPOSICIONAL:
Es una expresin constituida por smbolos que
representan o conectores lgicos o variables
proposicionales.
EJEMPLO:
((p v q) r) ( p q )
p, q y r son: VARIABLES PROPOSICIONALES
(representan proposiciones atmicas o
proposiciones moleculares)
Si las reemplazamos por proposiciones los

FORMA PROPOSICIONAL:
Las formas proposicionales se representan
con letras maysculas del alfabeto espaol:
A,B,C
Si reemplazamos a las variables
proposicionales por proposiciones verdaderas
o falsas, el nmero de proposiciones que se
generen es 2n, siendo n el nmero de
variables proposicionales.
En otras palabras, las formas proposicionales

Dada la siguiente forma proposicional:

A: [ (p q ) ( r v p) ] r
Construya la tabla de verdad de A
Tenga en consideracin que hay la presencia
de 3 variables proposicionales : a, b y c.

LGICA MATEMTICA

CLASES DE FORMAS
PROPOSICIONALES

Dada la estructura lgica de una forma

proposicional:
TAUTOLOGA.- Forma proposicional SIEMPRE
VERDADERA para cualquier valor de verdad de
las proposiciones atmicas que contiene.
CONTRADICCIN.- Forma proposicional
SIEMPRE FALSA para todo valor de verdad
que se de a las proposiciones atmicas que
contiene.
FALACIA O CONTINGENCIA.- Forma

TAUTOLOGA SIEMPRE VERDADERO

CONTRADICCIN SIEMPRE FALSO
CONTINGENCIA O FALACIA VERDADERO Y
FALSO