PROPOSICIN

Consideremos las siguientes expresiones:

1. La matemtica es una ciencia emprica.
2. 2 es un nmero par.
3. Hoy es lunes y hace fro.
4. No se retire!
5. El 12 de marzo del ao 100 llovi durante 10 horas seguidas en la ciudad de Mendoza.
6. En primer ao de la Licenciatura en Administracin hay 121 alumnos.
7. Todos los nmeros mayores que 5 son mltiplos de 5.
8. Haga silencio por favor.
9. Aprobaste Introduccin a la economa I?
10.  10
11. Juan es muy buen estudiante.
Podra interesarnos determinar a cul de estas expresiones se les puede asignar un valor de
verdad.
Definicin: Una proposicin es todo enunciado del cual se puede afirmar que es verdadero o falso.
De las expresiones anteriores son proposiciones: 1, 2, 3, 5, 6, 7 y 11.
Simbolizaremos a las proposiciones con letras minsculas , ,

Ejemplo: : Todos los nmeros mayores que 5 son mltiplos de 5.

: 2 es un nmero par
Indicamos su valor de verdad:
  = F
  = V

OPERACIONES LGICAS

Existen proposiciones simples como por ejemplo:

: 2 es un nmero par y otras proposiciones
llamadas compuestas como: : Este nmero es mayor que 5 y este nmero es mltiplo de 5.
Vamos ahora a ver los distintos tipos de enunciados compuestos a los cuales arribamos a travs de
las operaciones lgicas.
NEGACIN
Sea  una proposicin, se llama Negacin de  a la proposicin No es cierto , cuyo valor de
verdad es contrario al de , y que simbolizaremos  o  o tambin ~.
El valor de verdad de la operacin puede expresarse muy simplemente por medio de una tabla,
llamada Tabla de valor de verdad de la Negacin.

 

1
Por ejemplo:


: La factura de la luz fue anulada.
Su negacin es
: No es cierto que la factura de la luz fue anulada.
o tambin
: La factura de la luz no fue anulada.

: 20 es un nmero par y es divisible por 8.

: No es cierto que, 20 es un nmero par y es divisible por 8.

: 2 + 4 = 6

: 2 + 4 6

CONJUNCIN
Sean  y dos proposiciones, se llama Conjuncin de  y a la proposicin "  " cuyo valor
de verdad slo es verdadero cuando ambas proposiciones son verdaderas.La simbolizamos  .
La tabla de valor de verdad de la conjuncin es entonces:

  

  

  

  

Ejemplos:


: La factura de la luz fue anulada.
: Edemsa cort el suministro de luz

: La factura de la luz fue anulada y Edemsa cort el suministro de luz.

: Hoy es lunes
: Hoy tengo clases de yoga.
 : Hoy es lunes y tengo clases de yoga.

: 2 es un nmero par
: 3 no es un nmero par

: 2 es un nmero par pero 3 no es un nmero par.

Debe observarse que en lenguaje castellano, las palabras pero, aunque, sin embargo suele
utilizarse para ligar dos proposiciones mediante una conjuncin.

DISYUNCIN
Sean  y dos proposiciones, se llama Disyuncin de  y a la proposicin "  " cuyo valor
de verdad slo es falso cuando ambas proposiciones son falsas.La simbolizamos  .

2
La tabla de valor de verdad de la disyuncin es entonces:

  

  

Ejemplos:


: 2 + 5 = 7
: 3 no es un nmero par

: 2 + 5 = 7 o 3 no es un nmero par.

: Mara es estudiante de Economa.

: Mara es traductora de ingls.
 : Mara es estudiante de Economa o es traductora de ingls.

: 5 es un nmero primo
: 3 es un nmero primo

: 5 es un nmero primo o 3 es un nmero primo.
La disyuncin est definida en sentido inclusivo, pues se considera que la disyuncin de dos
proposiciones es verdadera cuando una de las proposiciones es verdaderas o ambas proposiciones
son verdaderas. En contraste est la disyuncin en sentido estricto o excluyente, la cual
considera que una disyuncin de dos proposiciones es verdadera cuando una de las proposiciones
es verdadera y la otra falsa.
Ejemplo:

No se otorgarn primas en caso de enfermedad o desempleo.
Claramente estamos utilizando el o en sentido inclusivo, pero por ejemplo si en el men de un
restaurante dice:

Puede acompaar la carne con ensalada o con papas fritas.
En este caso el o est usado en sentido excluyente.

IMPLICACIN o CONDICIONAL
Sean  y dos proposiciones, se llama Implicacin o Condicional de  y ,en ese orden, a la
proposicin ""#  $%%&$ " cuyo valor de verdad slo es falso cuando la proposicin  es
verdadera y la proposicin es falsa. La simbolizamos  .
La tabla de valor de verdad de la Implicacin es entonces:

3
   

  

  

En  , la proposicin  recibe el nombre de ()*+,+-+)*+ de la implicacin y la

proposicin  recibe el nombre de ,.)/+,0+)*+ de la implicacin.
Podemos afirmar entonces que la Implicacin o condicional es slo falso cuando el antecedente es
verdadero y el consecuente falso.
Ejemplos:

: Mara es estudiante de Economa.
: Mara es traductora de Ingls.
 : Si Mara estudia Economa entonces Mara es traductora de Ingls.


: Este nmero es mayor que 10.
: Este nmero es mayor que cero

: Si este nmero es mayor que 10, entonces este nmero es mayor que cero.

: Juan es mendocino.
: Juan es argentino.
: Si Juan es mendocino entonces Juan es Argentino.

Existen otras formas equivalentes de expresar la implicacin:

 Se puede leer: Si  entonces
 implica
Si ,
Cuando , q
 es suficiente para
 slo si
es necesario para 
si 
cuando 

Si tomamos el tercer ejemplo, lo podramos expresar:

 Que Juan sea mendocino implica que Juan es argentino.
 Si Juan es mendocino, Juan es argentino.
 Es suficiente decir que Juan es mendocino para afirmar que Juan es argentino.
 Juan es mendocino slo si es argentino.
O si tomamos el penltimo ejemplo:
4
  Este nmero es mayor que 10 slo si es mayor que cero.
 Este nmero es mayor que cero si es mayor que 10.
 Es necesario que este nmero sea mayor que cero para afirmar que es mayor que 10.
Dada una implicacin  1 , existen otras implicaciones asociadas a esta:
Implicacin recproca:

Implicacin contararia: 

Implicacin contrarrecproca:


Ejemplo:
Sea la implicacin:
Si Juana presenta el balance antes del cierre de mes, Juana solicitar el crdito.
Su implicacin recproca es:
Si Juana solicita el crdito entonces Juana presenta el balance antes de cierre de mes.
Su implicacin contrarrecproca es:
Si Juana no solicita el crdito entonces Juana no presentar el balance antes de cierre de
mes.
Su implicacin contraria es:
Si Juana no presenta el balance antes del cierre de mes entonces Juana no solicitar el
crdito.

DOBLE IMPLICACIN o BICONDICIONAL

Sean  y dos proposiciones, se llama Doble Implicacin o Bicondicional de  y , en ese
orden, a la proposicin "  #  3 # " cuyo valor de verdad es verdadero cuando las
proposiciones tienen el mismo valor de verdad. La simbolizamos  .
La tabla de valor de verdad de la Doble Implicacin es entonces:

  

  

  

  

Ejemplos:


: Este nmero es mayor que 10.
: Este nmero es mayor que cero

: Este nmero es mayor que 10 si y slo si este nmero es mayor que cero.

: Mara no tiene hermanas.
: Mara es hija nica.
 : Mara no tiene hermanas si y slo si Mara es hija nica.


: Hoy es lunes.
5
 : Maana es martes.

: Hoy es lunes si y slo si maana es martes.
As como en matemtica se combinan las operaciones, es decir en una misma expresin
matemtica aparecen distintas operaciones entre nmeros, en lgica tambin se pueden
combinar operaciones obtenindose proposiciones compuestas.
Por ejemplo:

Si : Juan recibe el subsidio,
: Juan presenta el proyecto y : Juan supera todos los
exmenes mdicos.

  Si Juan presenta el proyecto y supera los exmenes mdicos, recibir el
subsidio.

Siendo , y  proposiciones simples, la tabla de valor de verdad de la proposicin
compuesta    es:

  /  /  /

    6  

    6  

    7  

    6  

    6  

    7  

    7  

    7  

Veamos otros ejemplos de proposiciones compuestas. Siendo , ,

proposiciones las tablas de
valor de verdad de la proposicin 

 y de la proposicin  
son:

 1  1 1 

   7 

   7 

   7 

6
      

   6 

   6 

   6 

   6 

En estos dos ltimos ejemplos observamos que el valor de verdad de las proposiciones
compuestas no cambia segn el valor de verdad de las proposiciones simples que la forman,
dichas proposiciones reciben un nombre especial:
Tautologa: Una proposicin compuesta es una Tautologa si su valor de verdad es siempre
Verdadero, independientemente del valor de verdad de las proposiciones simples que la forman.
Contradiccin: Una proposicin compuesta es una Contradiccin si su valor de verdad es siempre
Falso, independientemente del valor de verdad de las proposiciones simples que la forman.
Una proposicin compuesta que no es una Tautologa ni una Contradiccin recibe el nombre de
Contingencia.

IMPLICACIN LGICA e EQUIVALENCIA LGICA

Sean 8 y 9 dos proposiciones (simples o compuestas). Se dice que la proposicin
"8 #:3#&; 3<#&;:$%$ ; 9" si la proposicin 8 9 es una tautologa. Lo anotamos: 8 9
Ejemplos:

La proposicin 
implica lgicamente la proposicin
.

 
Sean 8 y 9 dos proposiciones (simples o compuestas). Se dice que la proposicin
"8 $ $ >#?;3$%$ 3<#&;:$%$ ; 9" si la proposicin 8 9 es una tautologa. Lo anotamos:
89
Ejemplos:

La proposicin 
es equivalente lgicamente la proposicin
.

 

Algunas proposiciones compuestas que son tautologas tienen mucha importancia y utilidad y
reciben el nombre de Leyes Lgicas.
Algunas Leyes lgicas son:
i. 
ii.  
iii.  
iv.  
v. 
  

vi. 
  

7
 vii. 
   

viii. 
   

ix.   
x.   
xi.   
xii.   
xiii.   


xiv.   
xv.   A   B
Para probar que las proposiciones anteriores son tautologas basta con construir la tabla de valor
de verdad de cada una de ellas.

PROPOSICIONES GENERALES
Analicemos la siguiente expresin:
 $ :;
>$ 5"
Claramente esta oracin no es una proposicin, pues no sabemos que es la . Expresiones como
esta en la que aparece una variable reciben el nombre de Funciones Proposicionales o Predicados.
Definicin: Sea 8  una expresin en la aparece una variable  y sea C un conjunto. 8 es una
Funcin Proposicional o Predicado (respecto de C) si para cada ; C, 8 ; es una proposicin. El
conjunto C recibe el nombre de Universo de Discurso.
Por ejemplo, si en la funcin proposicional 8 :  $ :;
>$ 5, consideramos el universo
de discurso C = E y reemplazamos la variable  por 10 obtenemos 10 $ :;
>$ 5", que
es una proposicin verdadera y si reemplazamos la variable  por 1 obtenemos una proposicin
falsa.
Pero esta no es la nica forma de obtener una proposicin a partir de una funcin proposicional o
predicado. Tambin pueden obtenerse proposiciones por el llamado Proceso de Generalizacin o
Cuantificacin. As por ejemplo la expresin Todos los nmeros son mayores que 5 es una
proposicin que contiene el mismo predicado que antes. Pero no es una proposicin como la
anterior, pues no contiene ningn individuo en particular, este tipo de proposicin recibe el
nombre de Proposicin General.
Ejemplos:

Todos los das de la semana estn nublados.

Todos los alumnos de segundo ao asistieron al concierto.
Y tambin expresiones del tipo:

Algunos nmero mayores que 5

Existen hombres que son generosos.
Son proposiciones generales obtenidas a partir de una funcin proposicional por el llamado
proceso de cuantificacin.
Analicemos nuevamente la funcin proposicional
8 :  $ :;
>$ 5
Obtenemos proposiciones reemplazando a la variable  por el nmero 2 y tambin obtuvimos
proposiciones con el proceso de generalizacin:

8
 FG 3 %:$
 % :;
$ >$ 5.
O
I#$% %:$
 >$ % :;
$ >$ 5.
Y simblicamente:
: 8 
O
: 8 
El smbolo " se lee para todo y recibe el nombre de cuantificador universal, y el smbolo ""
se lee existe al menos un y recibe el nombre de cuantificador existencial.
Cuando estas proposiciones son negadas se vinculan entre ellas. Por ejemplo si negamos la
proposicin general "FG 3 %:$
 % :;
$ >$ 5", decimos:
"E $ &#$
 >$ G 3 %:$
 % :;
$ >$ 5" o lo que es lo mismo
"I#$% %:$
 >$ % % :;
$ >$ 5".
Y si negamos la proposicin: "I#$% %:$
 >$ % :;
$ >$ 5", obtenemos la
proposicin: "E $ &#$
 >$ $#$% %:$
 >$ % :;
$ >$ 5" que es equivalente
a decir "E#%<% %:$
 $ :;
>$ 5".
Vemos que la negacin de una proposicin general (universal) es tambin una proposicin general
(existencial o particular) y la negacin de una proposicin existencial o particular es una
proposicin universal. En smbolos:
L: 8 M : 8 
L: 8 M : 8 

Nos interesan particularmente las proposiciones generales de tipo Universal, a las cuales
expresamos tambin como una Implicacin de predicados o funciones proposicionales.
Por ejemplo a la proposicin universal
FG 3 %:$
 % :;
$ >$ 5
la podemos expresar como la siguiente implicacin:
N>;3$ >#$
; $; , #  $ >% %:$
 $%%&$  $ :;
>$ 5
O tambin a la proposicin:
FG 3 ;3>:% G$ $<>%G ; ;##$
% ;3 &%&#$
.
la podemos expresar equivalentemente:
N>;3$ >#$
; $; , #  $ >% ;3>:% G$ $<>%G ;, $%%&$  ;## ;3 &%&#$
.

DEMOSTRACIN Y REFUTACIN
Veremos ahora como probar que una proposicin general universal es verdadera o en caso de que
sea falsa como se justifica.
Si consideremos la proposicin universal:

9
Todos los mltiplos de 6 son mltiplos de 3, o equivalentemente Cualquiera sea el nmero ,
si  es mltiplo de 6 entonces  es mltiplo de 3. O simblicamente:
N>;3 >#$
; $; $3 %:$
 ,  = 6Q, &% Q R  = 3, &% R
que claramente es una proposicin verdadera. Cmo probamos que es verdadera?
Existen distintos mtodos para probar la verdad de una proposicin universal.
Mtodo Directo
Sea la proposicin general:
: 8  9 
Al elegir este camino debemos partir de la verdad de la proposicin: : 8  y debemos llegar a
la verdad de la proposicin: : 9 .
Mtodo Indirecto
Existen dos formas:
Por el contrarrecproco:
Es decir se parte de la verdad de : 9  y se debe llegar a la verdad de : 8 .
La justificacin de este mtodo es la ley lgica:

T: L8  9 MU T: L9  8 MU

Por contradiccin:
Se prueba por el mtodo directo la implicacin: : 8  9 

. Y este mtodo
est justificado por la ley lgica nmero xiii.
Por ejemplo probaremos por el mtodo directo la proposicin general universal:
FG 3 :3#3 G$ 6 % :3#3 G$ 3
O equivalentemente la proposicin:
N>;3 >#$
; $; $3 %:$
 ,  = 6Q, &% Q R  = 3, &% R
Sea  mltiplo de 6,  = 6. Q con Q R, luego  = 3.2. Q con Q R
De donde por propiedad asociativa de la multiplicacin de nmeros reales
 = 3. 2. Q con 2. Q R, es decir  = 3. con = 2. Q R, es decir  es mltiplo de 3.
Veremos ahora como Refutar
Para justificar por qu una proposicin universal es falsa se debe mostrar un contraejemplo, es
decir se debe exhibir un elemento del universo que transforme en una proposicin verdadera la
funcin proposicional del antecedente y en una proposicin falsa la funcin proposicional del
consecuente. Es decir debemos encontrar un elemento ; C tal que la proposicin 8 ;
9 ; sea verdadera.
Por ejemplo para refutar la proposicin
N>;3 >#$
; $; $3 %:$
 , #  $ :3#3 G$ 2, $%%&$  $ :3#3 G$ 4
que es una proposicin universal falsa, proponemos como contraejemplo ; = 6, y
"; = 6 = 32 $ >% :3#3 G$ 2  ; = 6 % $ :3#3 G$ 4" es una proposicin
verdadera.

10