¿Es necesaria la Lógica para pensar matemáticamente, o es necesaria la Matemática para pensar

lógicamente?

DEFINICION

La palabra conjunto generalmente la asociamos con la idea de agrupar objetos, por ejemplo un conjunto de discos, de
libros, de plantas de cultivo y en otras ocasiones en palabras como hato, rebaño, piara, parcelas, campesinado,
familia, etc., es decir la palabra conjunto denota una colección de elementos claramente entre sí, que guardan alguna
característica en común. Ya sean números, personas, figuras, ideas y conceptos.

En matemáticas el concepto de conjunto es considerado primitivo y ni se da una definición de este, sino que se
trabaja con la notación de colección y agrupamiento de objetos, lo mismo puede decirse que se consideren primitivas
las ideas de elemento y pertenencia.

La característica esencial de un conjunto es la de estar bien definido, es decir que dado un objeto particular,
determinar si este pertenece o no al conjunto. Por ejemplo si se considera el conjunto de los números dígitos,
sabemos que el 3 pertenece al conjunto, pero el 19 no. Por otro lado el conjunto de las bellas obras musicales no es
un conjunto bien definido, puesto que diferentes personas puedan incluir distintas obras en el conjunto.

Los objetos que forman un conjunto son llamados miembros o elementos. Por ejemplo el conjunto de las letras de
alfabeto; a, b, c, ..., x, y, z. que se puede escribir así:

{ a, b, c, ..., x, y, z}

Como se muestra el conjunto se escribe entre llaves ({}) , o separados por comas (,).

El detallar a todos los elementos de un conjunto entre las llaves, se denomina forma tabular, extensión o
enumeración de los elementos.

Dos conjuntos son iguales si tienen los mismos elementos, por ejemplo:

El conjunto { a, b, c } también puede escribirse:

{ a, c, b }, { b, a, c }, { b, c, a }, { c, a, b }, { c, b, a }

En teoría de conjuntos se acostumbra no repetir a los elementos por ejemplo:

El conjunto { b, b, b, d, d } simplemente será { b, d }.

MEMBRESIA

Los conjuntos se denotan por letras mayúsculas : A, B, C,... por ejemplo:

A={ a, c, b }

B={ primavera, verano, otoño, invierno }

El símbolo  indicará que un elemento pertenece o es miembro de un conjunto. Por el contrario para indicar que un
elemento no pertenece al conjunto de referencia, bastará cancelarlo con una raya inclinada / quedando el símbolo
como  .

Ejemplo:

Sea B={ a, e, i, o, u }, a B y c  B

SUBCONJUNTO

Sean los conjuntos A={ 0, 1, 2, 3, 5, 8 } y B={ 1, 2, 5 }

En este caso decimos que B esta contenido en A, o que B es subconjunto de A. En general si A y B son dos conjuntos
cualesquiera, decimos que B es un subconjunto de A si todo elemento de B lo es de A también.

Por lo tanto si B es un subconjunto de A se escribe B  A. Si B no es subconjunto de A se indicará con una diagonal

.

Note que  se utiliza solo para elementos de un conjunto y  solo para conjuntos.

UNIVERSO O CONJUNTO UNIVERSAL

El conjunto que contiene a todos los elementos a los que se hace referencia recibe el nombre de conjunto Universal,
este conjunto depende del problema que se estudia, se denota con la letra U y algunas veces con la letra S (espacio
muestral).
Por ejemplo si solo queremos referirnos a los 5 primeros números naturales el conjunto queda:

U={ 1, 2, 3, 4, 5 }

Forma alternativa para indicar conjuntos de gran importancia:

 Conjunto de números naturales (enteros mayores que cero) representados por la letra N donde

N={ 1, 2, 3, .... }

 Conjunto de números enteros positivos y negativos representados por la letra Z donde

Z={..., -2, -1, 0, 1, 2, ... }

 Conjunto de números racionales (números que se representan como el cociente de dos números enteros
{fracciones }). Estos números se representan por una Q
 Conjunto de números irracionales (números que no puedan representarse como el cociente de dos números
enteros) representados por la letra I.
 Conjunto de los números reales que son los números racionales e irracionales es decir todos, representados
por R.

Todos estos conjuntos tienen un número infinito de elementos, la forma de simbolizarlos por extensión o por
enumeración es de gran utilidad cuando los conjuntos a los que se hace referencia tienen pocos elementos para poder
trabajar con ellos se emplean la notación llamada comprehensión.

Por ejemplo, la denotar el conjunto de los números naturales menores que 60. Aquí U es el conjunto N y se tiene una
propiedad que caracteriza a los elementos del conjunto: ser menores que 60.

Para indicar esta situación empleamos la simbología del álgebra de conjuntos:

{ x/x  N ; x<60 }

En esta expresión se maneja un conjunto de x que pertenece a los números naturales (N) y además que los valores de
x son menores que 60.

Ahora si se desea trabajar con conjuntos que manejen intervalos estos pueden ser representados por medio de una
expresión algebraica; supongamos que se desea expresar los números enteros (Z) entre -20 y 30 el conjunto quedaría
de la manera siguiente:

{ x/x  Z ; -20  x  30 }

También se puede expresar el valor de un conjunto indicando la pertenencia o no pertenencia a uno diferente, por
ejemplo
 L={ 1, 3, 4, 6, 9 }

P={ x/x  N ; X  L }

En el conjunto P se indica que los elementos x de un conjunto pertenecen a los números naturales y además x no
pertenece al conjunto L.

OPERACIONES CON CONJUNTOS

UNION

La unión de dos conjuntos A y B la denotaremos por A  B y es el conjunto formado por los elementos que
pertenecen al menos a uno de ellos ó a los dos. Lo que se denota por:

A  B = { x/x  A ó x  B }

Ejemplo: Sean los conjuntos A={ 1, 3, 5, 7, 9 } y B={ 10, 11, 12 }

A  B ={ 1, 3, 5, 7, 9, 10, 11, 12 }

INTERSECCION

Sean A={ 1, 2, 3, 4, 5, 6, 8, 9 } y B={ 2, 4, 8, 12 }

Los elementos comunes a los dos conjuntos son: { 2, 4, 8 }. A este conjunto se le llama intersección de A y B; y se
denota por A  B, algebraicamente se escribe así:

A  B = { x/x  A y x  B }

Y se lee el conjunto de elementos x que están en A y están en B.

Ejemplo:

Sean Q={ a, n, p, y, q, s, r, o, b, k } y P={ l, u, a, o, s, r, b, v, y, z }

Q  P={ a, b, o, r, s, y }

CONJUNTO VACIO

Un conjunto que no tiene elementos es llamado conjunto vacío ó conjunto nulo lo que denotamos por el símbolo  .

Por ejemplo:

Sean A={ 2, 4, 6 } y B={ 1, 3, 5, 7 } encontrar A  B.

A  B= { }

El resultado de A  B= { } muestra que no hay elementos entre las llaves, si este es el caso se le llamará conjunto
vacío ó nulo y se puede representar como:

A  B=

CONJUNTOS AJENOS

Sí la intersección de dos conjuntos es igual al conjunto vacío, entonces a estos conjuntos les llamaremos conjuntos
ajenos, es decir:

Si A  B =  entonces A y B son ajenos.

COMPLEMENTO

El complemento de un conjunto respecto al universo U es el conjunto de elementos de U que no pertenecen a A y se

denota como A' y que se representa por comprehensión como:

A'={ x  U/x y x  A }
Ejemplo:

Sea U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

A= { 1, 3, 5, 7, 9 } donde A  U

El complemento de A estará dado por:

A'= { 2, 4, 6, 8 }

DIFERENCIA

Sean A y B dos conjuntos. La diferencia de A y B se denota por A-B y es el conjunto de los elementos de A que no
están en B y se representa por comprehensión como:

A - B={ x/x  A ; X  B }

Ejemplo:

Sea A= { a, b, c, d } y

B= { a, b, c, g, h, i }

A - B= { d }

En el ejemplo anterior se observa que solo interesan los elementos del conjunto A que no estén en B. Si la operación
fuera B - A el resultado es

B – A = { g, h, i }

E indica los elementos que están en B y no en A.

DIAGRAMAS DE VENN

Los diagramas de Venn que de deben al filósofo inglés John Venn (1834-1883) sirven para encontrar relaciones entre
conjuntos de manera gráfica mediante dibujos ó diagramas.
La manera de representar el conjunto Universal es un rectángulo, ó bien la hoja de papel con que se trabaje.

Un ejemplo de la representación del conjunto universal se muestra como:

Los conjuntos se representan por medio de dibujos dentro del rectángulo, los aspectos de interés se resaltan
sombreando las áreas respectivas. En el caso de este curso las indicaremos por medio de un color azul por ejemplo:
Teoría de conjuntos
Hipótesis del continuo. La colección de todos los conjuntos de números naturales P(N) tiene la llamada potencia del
continuo: tantos las funciones como (por ejemplo) puntos en una recta. Su estudio es uno de los principales
problemas en la teoría de conjuntos.

La teoría de conjuntos es una rama de las matemáticas que estudia las propiedades y relaciones de los conjuntos:
colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más
elementales son una herramienta básica en la formulación de cualquier teoría matemática.1

Sin embargo, la teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras
de interés en matemáticas: números, funciones, figuras geométricas, ...; y junto con la lógica permite estudiar los
fundamentos de aquélla. En la actualidad se acepta que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es
suficiente para desarrollar toda la matemática.

Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta auxiliar. En esta
disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis del
continuo o la existencia de un cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran
medida en la lógica.

El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones
conjuntistas «puras» del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard
Bolzano e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana, de
conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand Russell, Ernst Zermelo, Abraham
Fraenkel y otros a principios del siglo XX.

Índice
 1 Teoría básica de conjuntos
o 1.1 Álgebra de conjuntos
 2 Teoría axiomática de conjuntos
 3 Véase también
 4 Referencias
 5 Bibliografía
 6 Enlaces externos

Teoría básica de conjuntos

Artículo principal: Conjunto

La teoría de conjuntos más elemental es una de las herramientas básicas del lenguaje matemático. Dados unos
elementos, unos objetos matemáticos como números o polígonos por ejemplo, puede imaginarse una colección
determinada de estos objetos, un conjunto. Cada uno de estos elementos pertenecen al conjunto, y esta noción de
pertenencia es la relación relativa a conjuntos más básica. Los propios conjuntos pueden imaginarse a su vez como
elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica como a ∈ A.

Una relación entre conjuntos derivada de la relación de pertenencia es la relación de inclusión. Una subcolección de
elementos B de un conjunto dado A es un subconjunto de A, y se indica como B ⊆ A.

Ejemplos.

 Los conjuntos numéricos usuales en matemáticas son: el conjunto de los números naturales N, el de los
números enteros Z, el de los números racionales Q, el de los números reales R y el de los números complejos
C. Cada uno es subconjunto del siguiente:

 El espacio tridimensional E3 es un conjunto de objetos elementales denominados puntos p, p ∈ E3. Las rectas
r y planos α son conjuntos de puntos a su vez, y en particular son subconjuntos de E3, r ⊆ E3 y α ⊆ E3.

Álgebra de conjuntos

Artículo principal: Álgebra de conjuntos

Existen unas operaciones básicas que permiten manipular los conjuntos y sus elementos, similares a las operaciones
aritméticas, constituyendo el álgebra de conjuntos:

 Unión. La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene cada elemento que está por lo
menos en uno de ellos.
 Intersección. La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene todos los elementos
comunes de A y B.
 Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de
A que no pertenecen a B.
 Complemento. El complemento de un conjunto A es el conjunto A∁ que contiene todos los elementos
(respecto de algún conjunto referencial) que no pertenecen a A.

 Diferencia simétrica La diferencia simétrica de dos conjuntos A y B es el conjunto A Δ B con todos los
elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.
 Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto A × B que contiene todos
los pares ordenados (a, b) cuyo primer elemento a pertenece a A y su segundo elemento b pertenece a B.

EYES DE LA LÓGICA PROPOSICIONAL Y DEMOSTRACIONES MATEMATICAS

(GRUPO No. 3)

LEYES DE LA LÓGICA PROPOSICIONAL

Leyes de La Lógica:
 Una proposición lógica, compuesta por varias proposiciones representadas con letras y unidas entre
sí con símbolos lógicos, que tenga la propiedad de que cuando se reemplazan las letras por proposiciones
reales siempre resulta verdadera aunque algunas o todas esas proposiciones sean falsas, es lo que se l
lama una LEY LÓGICA.

Son expresiones formales o fórmulas Proposicionales cuya función veritativa es una tautología que
se utiliza para organizar un cálculo axiomático.

Principios Lógicos Básicos:

En el cálculo de inferencia es necesario tener en cuenta los siguientes principios lógicos.

1- Identidad: esta ley permite hacer equivalencia entre dos proposiciones de un mismo argumento.

2- No contradicción: una proposición no puede ser simultáneamente verdadera y falsa: p Λ –p.

3- Tercer excluido: una proposición es verdadera o es falsa.

p V –p.

4- Doble negación: una proposición afirmativa equivale a la misma proposición negada dos veces.

LEYES DE INFERENCIA: Las leyes de inferencia que corresponden a formas de razonamiento

elementales cuya validez es fácil de demostrar.

1. MODUS PONENDO PONENS (MPP)

p → q, p ├ q

El condicional o implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ‘ponendo ponens’ significa,
“afirmando afirmo” y en un condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo
término, en este caso q).

p entonces q “Si llueve, entonces las calles se mojan” (premisa)

p “Llueve” (premisa)

q “Luego, las calles se mojan” (conclusión)

2. MODUS TOLLENDO TOLLENS (MTT)

p → q, ¬q ├ ¬p
 “Tollendo Tollens” significa “negando, niego”, y se refiere a una propiedad inversa de los
condicionales, a los que nos referíamos en primer lugar.

p entonces q “Si llueve, entonces las calles se mojan”

¬q “Las calles no se mojan”

¬p “Luego, no llueve”

Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha podido darse.

Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas de
una misma propiedad de la implicación; la regla ponendo ponens sólo nos permite afirmar si está afirmado
el antecedente (el primer término de la implicación), y la regla tollendo tollens sólo nos permite negar a
partir del consecuente (segundo término de la implicación); ambas consecuencias se derivan de que la
implicación es una flecha que apunta en un único sentido, lo que hace que sólo se pueda afirmar a partir
del antecedente y negar sólo a partir del consecuente.

3- DOBLE NEGACIÓN (DN)

¬p ↔ p

¬C↔T

¬T↔C

p sí sólo sí p

El esquema representa, “p doblemente negada equivale a p”. Siguiendo el esquema de una

inferencia por pasos, la representaríamos así:

¬¬ p “No ocurre que Ana no es una estudiante”

p “Ana es una estudiante”

La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado, equivaldría
al enunciado afirmado.

4.- CONJUNCIÓN
p, q ├ p Λ q

Conjunción (C): Si disponemos de dos enunciados afirmados como dos premisas separadas,
mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador Λ (conjunción).

p “Juan es cocinero”

q “Pedro es policía”

p Λ q “Juan es cocinero y Pedro es policía”

5. - SIMPLIFICACIÓN (S):

Obviamente, es la operación inversa. Si disponemos de un enunciado formado por dos miembros

unidos por una conjunción, podemos hacer de los dos miembros dos enunciados afirmados por separado.

p Λ q “Tengo una manzana y tengo una pera”

p “Tengo una manzana”

q “Tengo una pera”

6.- MODUS TOLLENDO PONENS (TP)

La disyunción, que se simboliza con el operador V, representa una elección entre dos enunciados.
Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos enunciados, es decir, la
verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos.

A partir de lo anterior, se deduce la siguiente regla, denominada tollendo ponens (negando afirmo):
si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado,
ya que uno de los términos de la elección ha sido descartado.

p V q “He ido al cine o me he ido de compras”

¬q “No he ido de compras”

p “Por tanto, he ido al cine”

7.- LEY DE LA ADICIÓN (LA)

 Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción) acompañado
por cualquier otro enunciado.

p “He comprado manzanas”

p V q “He comprado manzanas o he comprado peras”

8.- SILOGISMO HIPOTÉTICO (SH)

Dados dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la otra (el
mismo enunciado), podemos construir una nueva implicación cuyo antecedente sea el de aquella
implicación cuya consecuencia sea el antecedente de la otra implicación, y cuyo consecuente sea el de
ésta última, cuyo antecedente era consecuencia del primero.

Expresado de otro modo, si una causa se sigue una consecuencia, y ésta consecuencia es a su vez
causa de una segunda consecuencia, se puede decir que esa primera causa es causa de esa segunda
consecuencia, expresado en forma de inferencia lógica:

p entonces q “Todos los gatos son vertebrados”.

q entonces r “Todos los vertebrados son animales”.

p entonces r “todos los gatos son animales”.

9- SILOGISMO DISYUNTIVO (DS)

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyunción cuyos miembros sean
los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de disyunción,
cuyos miembros serían los consecuentes de las dos implicaciones. Lógicamente, si planteamos una
elección entre dos causas, podemos plantear una elección igualmente entre sus dos posibles efectos, que
es el sentido de esta regla.

p entonces q “Si llueve, entonces las calles se mojan”

r entonces s “Si la tierra tiembla, los edificios se caen”

p V r “Llueve o la tierra tiembla”

q V s “Las calles se mojan o los edificios se caen”

10.- SIMPLIFICACIÓN DISYUNTIVA (SD)

 Si disponemos de dos premisas que corresponden a dos implicaciones con el mismo consecuente,
y sus antecedentes se corresponden con los dos miembros de una disyunción, podemos concluir con el
consecuente de ambas implicaciones.

p V q “Helado de fresa o helado de vainilla”

p entonces r “Si tomas helado de fresa entonces repites”

q entonces r “Si tomas helado de vainilla entonces repites”

r Luego, repites

11- LEY CONMUTATIVA

Esta ley, no es válida para la implicación, pero sí para conjunción y para la disyunción. Una
conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia
este hecho. Igualmente, una disyunción es presentar una elección entre dos cosas, sin importar en qué
orden se presente esta elección. Así pues,

p Λ q sí y sólo sí q Λ p “«p y q» equivale a «q y p»”

p V q sí y sólo sí q V p “«p ó q» equivale a «q ó p»

12- LEYES DE MORGAN (DM)

Esta ley permite transformar una disyunción en una conjunción, y viceversa, es decir, una conjunción
en una disyunción. Cuando se pasa de una a otra, se cambian los valores de afirmación y negación de los
términos de la disyunción/conjunción así como de la propia operación en conjunto, como podemos observar
aquí:

pΛqpVq

¬(¬p V ¬q) ¬(¬p Λ ¬q

Aplicación de leyes lógicas para demostrar y argumentar.

Cuando se tienen varias premisas -o proposiciones que se sabe son verdaderas- y se quiere sacar
las conclusiones derivadas de ellas, se pueden aplicar una o varias leyes lógicas, en forma repetida si fuere
necesario, para construir nuevas proposiciones simples o compuestas que sean verdaderas y que
conduzcan a conclusiones útiles en forma totalmente lógica.
Por ejemplo:

Se sabe que las siguientes proposiciones son verdaderas: (premisas)

1. La tarde del domingo golpearon a Juan

2. Si alguien estaba en B no pudo ver la pelea

3. Juan estuvo toda la tarde del domingo en A con Carlos y Pedro

4. Ángel estuvo con Luís en B toda la tarde del domingo

5. María estuvo con Rosa en B todo el día.

6. Pedro dijo que Ángel golpeó a Juan.

7. Rosa dijo que vio a Carlos golpear ese domingo a Juan en A.

De ellas, aplicando leyes lógicas ya conocidas se pueden obtener como verdaderas:

El domingo de los hechos:

De 3 salen tres proposiciones:

Estuvo en A toda la tarde 8)

Carlos estuvo en A toda la tarde (9)

Pedro estuvo en A toda la tarde (10)

De 4 salen dos proposiciones:

Ángel estuvo en B toda la tarde (11)

Luís estuvo en B toda la tarde (12)

De 5 salen dos proposiciones:

Estuvo en B todo el día (13)

Rosa estuvo en B todo el día (14)

1 y 8 llevan a: Juan fue golpeado en A (15)

2 y 14 llevan a: Rosa no pudo ver la pelea (16)

16 y 7 llevan a: Rosa miente (17)

11 y 6 llevan a: Pedro miente (18)

De esta forma podemos concluir que: Juan fue golpeado en A y que Rosa y Pedro mienten.

Pero no se puede concluir nada acerca de quién golpeó a Juan.

DEMOSTRACIÓN MATEMÁTICA

Son pasos sucesivos que permiten la coherencia de algún problema relacionado ha algo específico,
se toma un conjunto de premisas como algo verdadero, de las mismas se obtienen una demostración que
en sí, nos permiten fortalecer la tesis, x hipótesis o Conclusiones. Debemos acotar que para llegar a la
conclusión se siguen una serie de reglas o pasos con secuencia lógica.

Por otra parte también se puede deducir que;

Una demostración es sencillamente, comprobar que alguna afirmación es verdadera en todos los
casos posibles que estipula, siguiendo pasos lógicos que llevan de la proposición p a la proposición q. Para
esto hay muchas formas de hacerlo: demostración directa, demostración por contradicción, demostración
por definición, contraejemplo, enumeración (para casos enumerables), inducción matemática,... Cada
método es un método lógico con nombre en latín, pero para nuestro interés bastará con esto.

A continuación detallaremos un ejemplo:

Esto se puede comprobar con el teorema de Pitágoras, que recibe su nombre del matemático y
filósofo griego del siglo v a.c. Pitágoras, y que establece que en un triángulo rectángulo el cuadrado de la
hipotenusa es igual a la suma de los cuadrados de los catetos.

A2+ B2 = C2

ELEMENTOS DE LA DEMOSTRACIÓN MATEMÁTICA

 Basarse en conocimientos previos.

 Probar su verdad.
 Empezar desde la hipótesis y llegar a la tesis.
  Encadenar una serie de razonamientos deductivos.
 Aplicar propiedades, principios o leyes.
 Es un razonamiento.
 Se debe verificar que una proposición matemática es verdadera o es falsa.
 Es una cuestión lógica.
 Es para que nos demos cuenta... que es algo que existe por lógica.
 Es un procedimiento.
 Es encontrar la validez de un razonamiento lógico.

DEMOSTRACIÓN POR EL CONTRA-EJEMPLO

Cuando hemos probado la validez de la implicación p= → q, frecuentemente se trata de investigar la validez

de la reciproca q = → p. Empezamos analizando casos particulares que satisfagan la hipótesis q y
confrontamos la validez o no de la conclusión p. Si damos un ejemplo donde la conclusión resulta falsa,
tenemos que q Λ ― p es verdadera. Puesto que ― (q = → p) ↔ q Λ ― p se sigue por las reglas de inferencia
que ― (q = → p) es verdadera y por lo tanto q = → p es falsa.

El determinar la falsedad de q = → p mediante un caso particular se denomina un contraejemplo.

Ejemplo. Si n es un entero primo entonces n es impar. Es una implicación falsa por que n = 2 es
primo y sin embargo es par. En este caso, n = 2 es un contraejemplo.

DEMOSTRACIÓN POR CONTRADICCIÓN:

Este tipo de demostración tiene su sustentación en las siguientes equivalencias lógicas:

1. ― (H = → T) ↔ H Λ ― T

2. H Λ ― T = → R Λ ― R ↔ H → T

El método consiste en suponer que el contenido del teorema es falso. Según 1, esto significa que siendo la
hipótesis H verdadera la conclusión T puede ser falsa. En todo razonamiento las premisas se toman como
verdaderas. Por eso se escribe el supuesto H Λ ― T.

Este supuesto tiene como consecuencia lógica la contradicción R Λ ― R y según 2 esto implicaría
que H= → T es verdadera, lo cual finaliza la demostración.

Lógica proposicional
1.1 El lenguaje de la lógica proposicional

1.1.1 Proposiciones atómicas y proposiciones moleculares

La lógica proposicional trata sobre la verdad o la falsedad de las proposiciones y de cómo la verdad se transmite de
unas proposiciones (premisas) a otras (conclusión). Una proposición es la unidad mínima de significado susceptible
de ser verdadera o falsa.

Una palabra aislada, por sí misma, no nos dice nada. La palabra "perro" tiene una referencia, pero no nos da ninguna
información si no es en el contexto de una proposición como "El perro está haciendo cosas raras". Por ello una
palabra, a menos que constituya una proposición, no es verdadera o falsa. Sólo tienen valor de verdad las
proposiciones.

Debemos distinguir dos tipos de proposiciones: las proposiciones atómicas y las proposiciones moleculares. Las
proposiciones atómicas son aquéllas que no se componen de otras proposiciones. La proposición

Todos los hombres son mortales

es una proposición atómica porque ninguno de sus elementos componentes es una proposición. Como podemos
observar, una proposición atómica es verdadera o falsa, y su verdad o falsedad no depende de otras proposiciones,
sino de cómo es la realidad. Si hubiera algún hombre inmortal, la proposición del ejemplo sería falsa.

Las proposiciones moleculares son aquéllas que están compuestas por proposiciones atómicas. Un ejemplo de
proposición molecular sería:

Voy a comprar pan y a tomar un café

La proposición del ejemplo es molecular porque se compone de dos proposiciones atómicas:

Voy a comprar pan

Voy a tomar un café

Estas dos proposiciones atómicas están conectadas mediante la partícula "y". Una proposición molecular será
verdadera o falsa, pero a diferencia de lo que ocurre con las proposiciones atómicas, su verdad o falsedad no depende
directamente de la realidad, sino que depende o es función de la verdad o falsedad de las proposiciones atómicas que
la componen. Esto significa que si quiero saber si es verdadero o falso que voy a comprar pan y a tomar un café, es
necesario que conozca la verdad o falsedad de "voy a comprar pan" y de "voy a tomar un café" por separado.

1.1.2 Conectivas lógicas

Las proposiciones atómicas pueden combinarse de diferentes formas para dar lugar a proposiciones moleculares. Los
elementos que sirven para conectar las proposiciones atómicas entre sí se llaman conectivas lógicas. Las conectivas
lógicas nos dicen cómo afecta el valor de verdad de las proposiciones atómicas al valor de verdad de las
proposiciones moleculares. Ya hemos visto que en el lenguaje natural, la conjunción "y" funciona como una
conectiva lógica. Así, cuando decimos:

Las flores son plantas y los erizos aves

estamos conectando la proposición atómica "las flores son plantas" con la proposición atómica "los erizos son aves"
mediante la conectiva lógica "y". La "y" nos está diciendo que la proposición molecular "Las flores son plantas y los
erizos aves" sólo es verdadera si las dos proposiciones atómicas que la componen son ambas verdaderas, y será falsa
en caso de que, al menos una de ellas, sea falsa. Como sabemos que los erizos no son aves, podemos concluir que la
proposición "Las flores son plantas y los erizos aves" es falsa.

Probemos a cambiar la conectiva lógica del ejemplo, y conectemos las dos proposiciones atómicas del siguiente
modo:

Las flores son plantas o los erizos son aves

La disyunción "o" también funciona aquí como una conectiva lógica y nos está diciendo que la proposición
molecular "las flores son plantas o los erizos son aves" es verdadera si al menos una de las proposiciones atómicas
que la componen es verdadera. Sabemos que los erizos no son aves, pero como las flores sí son plantas, concluimos
que la proposición molecular del ejemplo es verdadera.

Como vemos, las conectivas lógicas funcionan como operadores matemáticos. En matemáticas hay símbolos como
"+" y "--". Decir "1+1" no es lo mismo que decir "1--1". Cada operador asigna un valor distinto a la misma
combinación de símbolos, de modo que a la primera combinación (1+1) le corresponde el 2 y a la segunda (1--1) le
corresponde el 0. Del mismo modo, en lógica, a la proposición "Las flores son plantas y los erizos aves" le
corresponde el valor de verdad V (verdadero) y a la proposición "Las flores son plantas o los erizos son aves" le
corresponde el valor de verdad F (falso).

En el cálculo lógico que nosotros vamos a estudiar, hay cuatro conectivas lógicas. Ya hemos visto dos: la conjunción
y la disyunción. Una tercera forma de conectar dos proposiciones atómicas sería:

Si las flores son plantas entonces los erizos son aves

Esta forma de conectar dos proposiciones nos indica que una de ellas es la condición de la otra y por eso la conectiva
correspondiente se llama "condicional" o "implicador". La primera proposición (Las flores son plantas) es la
condición que se ha de cumplir, y nos referiremos a ella como antecedente; la segunda proposición (los erizos son
aves) es lo condicionado, y nos referiremos a este elemento del condicional como consecuente.

En cuarto lugar tenemos la negación que, aplicada a una proposición atómica, simplemente invierte su valor de
verdad, de modo que si la proposición atómica

Los erizos son aves

es falsa, entonces la proposición molecular

Los erizos no son aves

será verdadera. Quizá sorprenda que consideremos molecular la proposición "los erizos no son aves", pues que no se
compone de dos proposiciones atómicas, sino de una. La razón de que dicha proposición sea molecular y no atómica
es que uno de sus elementos componentes (a saber, la proposición "los erizos son aves") es una proposición atómica.
Obsérvese que la negación no modifica el significado de la proposición negada, sino únicamente su valor de verdad.
Esta falta de significado es un rasgo esencial de las conectivas lógicas.

1.1.3 Símbolos de la lógica proposicional

Como ocurre en otras ciencias, es necesario en lógica utilizar un lenguaje simbólico especial que elimine los rasgos
que no nos interesan y pongan de manifiesto los que sí nos interesan. En lógica nos interesa saber cómo están
combinadas las proposiciones , y no nos interesa en absoluto su significado. Por ello necesitamos unos símbolos que,
prescindiendo del significado de las proposiciones, nos indiquen la forma en que se combinan. Estos símbolos
constituyen un lenguaje formal.
En primer lugar, las proposiciones atómicas pueden ser sustituidas por lo que llamaremos variables proposicionales,
que serán las letras

p, q, r, s …

La operación consistente en sustituir las expresiones del lenguaje natural por símbolos lógicos se llama
formalización. A la proposición debidamente formalizada la llamaremos fórmula. Según lo dicho, la formalización
de la proposición atómica

Los erizos son aves

será, simplemente, la fórmula

Por su parte, a cada conectiva lógica le corresponde un símbolo, como queda resumido en la siguiente tabla:

Conectiva Símbolo Lenguaje natural Formalización

Conjunción A Pepe es bombero y María es camarera pAq
Diyunción V Pepe es bombero o María es camarera pVq
Implicación -> Si Pepe es bombero, entonces María es camarera p -> q
Negación ¬ Pepe no es bombero ¬p

1.2 Sintaxis: Fórmulas bien formadas (fbf)

Todos los lenguajes se componen de unos símbolos y de unas reglas sintácticas que nos indican qué combinaciones
de símbolos son correctas y cuáles no lo son. Por ejemplo, en castellano no podemos decir:

Mis amigos y yo voy al cine

La oración del ejemplo está mal formada porque no hay la concordancia debida entre el número del sujeto (plural) y
el número del verbo (singular). También en matemáticas hay unas reglas que nos indican qué combinaciones de
símbolos podemos hacer, de modo que si nos presentaran lo siguiente:

%=4+(78-)

no sabríamos qué hacer simplemente porque la expresión está mal formada, no respeta las reglas de formación de
fórmulas matemáticas. Del mismo modo, cualquier combinación de símbolos lógicos no constituye una fórmula bien
formada. Así por ejemplo, no están bien formadas las fórmulas

Ap

vpvq

p-> ¬

etc…

No es difícil descubrir intuitivamente, a partir de ejemplos, qué fórmulas están bien formadas en lógicas y cuáles no,
pero no está de más ofrecer las siguientes reglas para la formación de fórmulas bien formadas (fbf):
Regla 1: Toda proposición atómica es una fbf

Regla 2: Si A es una fbf, entonces ¬A también es una fbf

Regla 3: Si A y B son fbf, entonces (A?B), (A?B) y (A?B) también son fbf

1.3 Formalización de proposiciones

A continuación comentaremos algunos ejemplos de formalización. Comenzaremos por unos ejemplos sencillos, que
agruparemos en cuatro bloques, según la conectiva lógica usada, y a continuación presentaremos algunos ejemplos
más complejos en los que combinaremos varias conectivas.

1.3.1 Formalización de la conjunción

Proposición en lenguaje natural: Los perros son listos y los gatos egoístas. p = los perros son listos

q= los gatos son egoístas

Formalización: p A q (se lee "p y q")

Proposición en lenguaje natural: Estudiaré, pero también veré la tele p = estudiaré

q = veré la tele

Formalización: p A q

Comentario: Aunque en la proposición en lenguaje natural no aparece la partícula "y", si entendemos el sentido de la
misma, veremos que lo que nos está diciendo es que estudiaré y veré la tele. El "pero también" es una conjunción,
aunque los matices que tiene en el lenguaje natural (digamos que tiene un sentido _adversativo) se pierden al
formalizarla.

Proposición en lenguaje natural: Además de comer tarta, beberé sidra. p = comeré tarta

q = beberé sidra

Formalización: p A q

Comentario: Vemos que aquí tampoco aparece la "y", sin embargo la proposición nos está diciendo simplemente que
comeré tarta y que beberé sidra. El "además" añade un matiz que no nos interesa desde un punto de vista lógico. A la
lógica sólo le interesa en qué condiciones es verdadera o falsa la proposición "Además de comer tarta, beberé sidra",
resulta que esa proposición sólo es verdadera si como tarta y bebo sidra. Eso es lo único que ha de quedar reflejado
en la formalización.

Proposición en lenguaje natural: Es completamente cierto que voy a asistir a la reunión y que luego me iré de fiesta.

p= voy a asistir a la reunión

q= después de la reunión me iré de fiesta

Formalización: p A q

Comentario: Como vemos, el "es completamente cierto" que aparece en la proposición en lenguaje natural, no vuelve
a aparecer. La razón de ello es que no añade nada al significado de las proposiciones atómicas, sino que simplemente
sirve para reforzar la idea de que es cierto lo que digo. Pero desde el punto de vista de la lógica de enunciados, la
proposición del ejemplo es equivalente a la proposición "voy a asistir a la reunión y luego me iré de fiesta".

Proposición en lenguaje natural: Pedro y María van al cine todos los sábados. p= Pedro va al cine todos los sábados

q = María va al cine todos los sábados

Formalización: p A q

Comentario: Aunque parece que sólo hay una proposición en el ejemplo, hay que advertir que en realidad son dos,
pues para que sea verdadera tiene que ser verdad que Pedro va al cine los sábados y que María va al cine los sábados.

1.3.2 Formalización de la disyunción

Proposición en lenguaje natural: Voy al cine o voy al teatro p = voy al cine

q= voy al teatro

Formalización: p v q (se lee "p o q")

Proposición en lenguaje natural: O bien voy al cine, o bien voy al teatro p = voy al cine

q = voy al teatro

Formalización: p v q

Comentario: A veces, cuando nos estamos iniciando en la formalización, puede que tengamos la tentación de
formalizar la proposición de este ejemplo del siguiente modo: (v p v q). Esto es un error garrafal, pues, como ya
hemos dicho, no se trata de traducir palabra por palabra, sino de expresar la forma lógica de la proposición. En la
proposición del ejemplo estamos diciendo que se me plantean dos opciones; una, ir al cine; otra, ir al teatro; y al
menos una de ellas debe cumplirse. Esto es una disyunción de toda la vida, por más que la reforcemos con el "O
bien… o bien…", por lo tanto se formaliza exactamente igual que la del ejemplo anterior.

1.3.3 Formalización del condicional

Proposición en lenguaje natural: Si Misha es un gato, entonces escupirá bolas de pelo.

p= Misha es un gato

q= Misha escupirá bolas de pelo

Formalización: p -> q (se lee "si p entonces q" ó "p implica q")

Proposición en lenguaje natural: Si vas a la playa, te broncearás. p = vas a la playa

q = te broncearás

Formalización: p -> q

Comentario: Aunque no aparezca literalmente el "entonces", como lo que estamos traduciendo no son las palabras,
una por una, sino la forma lógica, es evidente que basta el "si" inicial para indicarnos el condicional.

Proposición en lenguaje natural: Sólo si Misha es un gato, escupirá bolas de pelo p= Misha es un gato
q = Misha escupirá bolas de pelo

Formalización: q -> p

Comentario: Obsérvese que este condicional se formaliza al revés que el del ejemplo anterior. En la proposición "Si
Misha es un gato, entonces escupirá bolas de pelo" no excluimos la posibilidad de que otros animales, a parte del
gato, escupan bolas de pelo. Misha podría ser un tigre y escupir bolas de pelo. La proposición únicamente afirma
que, independientemente de que haya otros animales que escupan bolas de pelo, si Misha es un gato, también lo hará.
Ahora bien, si lo que digo es que Solo si Misha es un gato, escupirá bolas de pelo, estoy excluyendo la posibilidad de
que otros animales, a parte del gato, escupan bolas de pelo. Para expresar esto formalmente, tengo que invertir el
condicional, pues ahora, a diferencia del ejemplo anterior, estoy diciendo que si Misha escupe bolas de pelo entonces
es que es un gato. Nótese que esta última proposición no implica que haya gatos que no escupan bolas de pelo.

Proposición en lenguaje natural: Pégame y tendrás tu merecido p = pégame

q = tendrás tu merecido

Formalización: p -> q

Comentario: A veces el lenguaje natural puede confundirnos. En este caso la partícula "y" no funciona como un
condicional, pues la proposición no está afirmando que me hayas pegado y que además te haya dando tu merecido.
La proposición del ejemplo puede ser verdadera sin que nadie sufra ningún daño, pues tiene un sentido condicional.
En realidad está afirmando que si me pegas, entonces tendrás tu merecido.

Proposición en lenguaje natural: Asistir a clase es condición necesaria para aprobar.

p = se asiste a clase q= se aprueba Formalización: q -> p

Comentario: Probablemente la formalización está al revés de lo que esperábamos, pero es correcta. Si digo que algo
es una condición necesaria para aprobar, estoy diciendo que es un requisito imprescindible –necesario--, pero que no
es suficiente para aprobar, es posible que además de asistir a clase haya que hacer algún trabajo, por ejemplo, o
aprobar un examen… Esto significa que aunque se cumpla una condición necesaria, no por ello se aprobará, pues
puede que no se cumplan otras condiciones necesarias. Lo que está claro es que si no se cumple, aunque se cumplan
todas las demás, se suspenderá. En el ejemplo decimos que asistir a clase es condición necesaria para aprobar. Esto
no significa

que si asisto a clase entonces apruebo (p -> q), pues es posible que asista a clase

y no apruebe. Lo que significa la proposición es que si he aprobado, entonces

tiene que ser verdad que he asistido a clase.

Proposición en lenguaje natural: Asistir a clase es condición suficiente para aprobar.

p = se asiste a clase q = se aprueba

Formalización: p -> q

Comentario: A diferencia de una condición necesaria, una condición suficiente se basta por sí misma para que el
consecuente del condicional sea verdadero. Si digo que estudiar es condición suficiente para aprobar estoy diciendo
que basta estudiar para aprobar el curso, o lo que es lo mismo, que si estudio entonces aprobaré el curso. Por lo tanto
la formalización correcta es (p?q). Nótese que una condición suficiente no tiene por qué ser también necesaria, pues
podría haber otra condición suficiente para aprobar. Podría ser que el profesor dijera que para aprobar basta venir a
clase o hacer un trabajo. En ese caso tanto venir a clase como hacer un trabajo serían condiciones suficientes para
aprobar, pero no necesarias, pues cualquiera de ellas podría no cumplirse y aprobar, siempre que se cumpla la otra.
Por su parte, las condiciones necesarias no tienen tampoco por qué ser suficientes.

Proposición en lenguaje natural: Asistir a clase es condición necesaria y suficiente para aprobar.

p = se asiste a clase q = se aprueba

Formalización: p <--> q (se lee "p coimplica q")

Comentario: Decir que asistir a clase es condición necesaria y suficiente para aprobar significa que basta asistir a
clase para aprobar, y que no hay otro modo de aprobar a parte de asistir a clase. En realidad la proposición es
equivalente a

afirmar (p->q) y (q->p) simultáneamente. Esto significa que

[(p->q) ? (q->p)] = (p<-->q)

El símbolo "?" sirve para indicar esta doble dirección del condicional y se llama bicondicional. También podría
formalizarse con ayuda del bicondicional la proposición

Si estudias y sólo si estudias, aprobarás.

Proposición en lenguaje natural: Te besaré si me prometes amor eterno. p= te besaré

q= me prometes amor eterno

Formalización: q -> p

Comentario: La única dificultad de esta proposición es que para darle más efecto al consecuente, se sitúa en primer
lugar, pero es perfectamente equivalente a la proposición "si me prometes amor eterno, entonces te besaré"

1.3.4 Formalización de la negación

Proposición en lenguaje natural: No voy a solucionarte el problema p= voy a solucionarte el problema

Formalización: ¬p

Proposición en lenguaje natural: No es cierto que haya estado en ese cine. p= he estado en ese cine

Formalización: ¬p

Comentario: el "no es cierto que" del ejemplo no es sino una forma reforzada de negar, por lo tanto se formaliza
como una simple negación, que es lo que es.

Proposición en lenguaje natural: Ningún hombre puede volar p= algún hombre puede volar

Formalización: ¬p

Comentario: En el ejemplo no aparece expresamente la partícula "no", pero el

"ningún" expresa negación, de modo que la proposición del ejemplo no es sino la negación de la proposición atómica
"algún hombre puede volar".
Proposición en lenguaje natural: No hay nada en el cajón p= hay algo en el cajón

Formalización: ¬p

Comentario: No hay que entender el "no hay nada" como una doble negación, que sería equivalente a afirmar, sino
como una negación reforzada, por eso la

proposición atómica es "hay algo en el cajón" y la proposición del ejemplo ha de interpretarse como la negación de
esa proposición atómica.

1.3.5 Formalizaciones combinando todas las anteriores

Proposición en lenguaje natural: Si estudias y vienes a clase, entonces aprobarás. p= estudias

q= vienes a clase r= aprobarás

Formalización: (p A q) -> r

Comentario: La proposición del ejemplo dice que para aprobar hay que cumplir dos condiciones: asistir a clase y
estudiar. Esto significa que tiene que ser verdad que estudias y que vas a clase para que sea verdad que apruebas.
Esto se formaliza con ayuda del condicional. Nótese que no es lo mismo "(p A q)-> r" que "p A (q -> r)". El
significado de una proposición puede cambiar enormemente según cómo usemos los paréntesis. Aunque existen
algunas reglas para simplificar el uso de los paréntesis, de momento es mejor usarlos siempre para evitar
ambigüedades.

Proposición en lenguaje natural: No es cierto que vaya a ir a Polonia y que esté engordando.

p = voy a ir a Polonia q = estoy engordando

Formalización: ¬(p A q)

Comentario: Es importante darse cuenta de que en el ejemplo comentado no estoy diciendo que no voy a ir a Polonia
y que no estoy engordando. Lo que estoy diciendo es que no es cierto que las dos proposiciones sean verdaderas,
pero eso no significa que las dos sean falsas; puede que sea una verdadera y otra falsa. Lo que estoy negando no es
cada una de las proposiciones atómicas, sino la conjunción de las dos.

Proposición en lenguaje natural: Ni yo bordo pañuelos ni tú rompes contratos p = yo bordo pañuelos

q = tú rompes contratos

Formalización: ¬p A ¬q

Comentario: A diferencia del ejemplo anterior, en este caso sí estamos negando cada una de las proposiciones
atómicas de la conjunción, lo que en lenguaje natural se expresa con el "ni… ni…". Hay que observar que "¬(p ? q)"
no significa lo mismo que "¬p A ¬q", como tendremos ocasión de demostrar más tarde.

Proposición en lenguaje natural: Si copias en el examen, no aprobarás y, o bien serás expedientado o bien te
quedarás castigado todos los días por la tarde.

p= copias en el examen q = aprobarás

r = serás expedientado
s = te quedarás castigado todos los días por la tarde

Formalización: p -> [¬q A (r v s)]

Comentario: Antes de analizar la estructura de la proposición, conviene advertir que el uso de corchetes ([,]) o de
paréntesis ((,)) obedece a razones de claridad expositiva. Simplemente la fórmula se lee más fácilmente si
distinguimos los paréntesis más externos de los más internos mediante los corchetes. Quede dicho, no obstante, que
pueden usarse sólo paréntesis, si se desea. Ciñéndonos a la proposición del ejemplo, observaremos que nos está
advirtiendo de las consecuencias de copiar en el examen, por ello tiene una forma condicional. En efecto, la
proposición nos dice que si copias en el examen, entonces te ocurrirá algo. Concretamente te ocurrirán al menos dos
cosas, una de ellas la sabemos segura: no aprobarás (¬q). La otra consecuencia, depende, pues hay dos opciones,
pues puedes ser expedientado (r) o ser castigado (s) (o las dos cosas) la cuestión es que esa segunda consecuencia
todavía no se ha concretado, por eso se expresa como una disyunción. Según lo dicho, si se cumple la condición de
copiar en el examen, entonces no aprobarás y ocurrirá alguna de las dos opciones expuestas (serás expedientado o
serás castigado).

Proposición en lenguaje natural: No voy a ir a París, pero si voy, me acordaré de ti y de tu madre.

p = voy a París

q = me acordaré de ti

r= me acordaré de tu madre

Formalización: ¬p -> [p A (q -> r)]

Proposición en lenguaje natural: Si vas al cine, entonces, o compras palominas o me envidiarás si tienes hambre.

p = vas al cine

q = compras palomitas r = me envidias

s = tienes hambre

Formalización: p -> [q v (s->r)]

Comentario: La complejidad de esta proposición radica en el hecho de que el consecuente del condicional es una
disyunción y uno de los términos de esa disyunción es un condicional, de modo que tenemos un condicional dentro
de otro condicional.

Proposición en lenguaje natural: Me quieras o no, tendrás que soportarme p = me quieres

q = tienes que soportarme

Formalización: (p v ¬p) A q

1.4 Tablas de verdad

1.4.1 Tablas de verdad de las conectivas lógicas

Formalizar una proposición es sólo el primer paso. Ahora tenemos que analizar las fórmulas obtenidas en relación
con su verdad o la falsedad. El valor de verdad de las proposiciones moleculares depende del valor de verdad de las
proposiciones atómicas que la componen y de las conectivas lógicas. Una proposición atómica puede ser verdadera o
falsa. Nosotros adoptaremos la convención de referirnos al valor de verdad "Verdadero" con el símbolo "1" y al valor
de verdad "Falso" con el símbolo "0". Podemos expresar los posibles valores de verdad de una proposición atómica
mediante la siguiente tabla:

P
1
0

Esta tabla significa que la proposición atómica "p" (que puede ser cualquier proposición atómica) puede ser
verdadera (1) o falsa (2). En realidad no sabemos si es verdadera o falsa, porque eso depende de su significado, que
desconocemos. Pero lo que sabemos con toda seguridad es que debe tener uno de esos valores de verdad.

La cosa se complica cuando pretendemos averiguar los posibles valores de verdad de una proposición molecular. En
efecto, la proposición molecular

pAq

puede ser verdadera o falsa, pero su verdad o falsedad depende de la verdad o falsedad de p y de q. Así pues, si p es
verdadera pero q es falsa, (p A q) será falsa, por ejemplo. A cada combinación de valores de verdad de p y de q, le
corresponde un valor de verdad a la proposición compleja. Podemos expresar esto con la siguiente tabla de verdad
de la conjunción:

p q pAq
1 1 1
1 0 0
0 1 0
0 0 0

Como vemos en la tabla, la fórmula (p A q) sólo es verdadera cuando p es verdadera y q es verdadera, siendo falsa en
todos los demás casos. Podemos confeccionar una tabla semejante para todas las conectivas lógicas:

Tabla de verdad de la disyunción

p q pAq
1 1 1
1 0 1
0 1 1
0 0 0

Como vemos, la disyunción sólo es falsa en caso de que sus dos términos lo sean, y es verdadera en todos los demás
supuestos.

Tabla de verdad del condicional

p q pvq
1 1 1
 1 0 0
0 1 1
0 0 1

La tabla de verdad del condicional siempre causa cierta inquietud y, de hecho, ha sido objeto de crítica por parte de
muchos lógicos. Nosotros no entraremos en tales disquisiciones y nos conformaremos con comprenderla, lo que ya es
bastante. Lo primero que observamos en la tabla del condicional es que sólo es falso en un caso: cuando el
antecedente es verdadero y el consecuencia falso. En efecto, supongamos que a principio de curso un profesor dice a
sus alumnos:

Si venís a clase entonces aprobaréis

Ahora supongamos que, al final de curso, un determinado alumno, tras asistir religiosamente a todas las clases,
suspende. Diremos, en ese caso, que el profesor mintió al principio de curso pues la proposición "si venís a clase
entonces aprobaréis" es manifiestamente falsa, pues un alumno ha ido a clase y no ha aprobado.

Lo que sorprende de la tabla de verdad del condicional no es esto, sino los casos que lo hacen verdadero. En el
primer caso no parece haber problema, pues si el antecedente es verdadero y también lo es el consecuente, no hay
razón para negar el condicional: se ha cumplido la condición y también se ha cumplido lo condicionado.

El segundo caso merece algo más de atención. En efecto, como vemos en la tabla, si el antecedente es falso pero el
consecuente es verdadero, el condicional es verdadero. La razón de esto es que el consecuente de un condicional
puede ser verdadero independientemente del antecedente. Si es verdad que si Pepito estudia entonces aprueba, eso no
excluye que apruebe sin estudiar, pues aun en ese caso seguiría siendo verdad que si hubiera estudiado, aprobaría.

El tercer caso en el que el condicional es verdadero no carece tampoco de interés. Si tanto el antecedente como el
consecuente son falsos, el condicional es verdadero. Hay que recordar que un condicional no está describiendo un
hecho actualmente existente del mundo, sino que establece una condición y dice que, en el caso de que se cumpliera,
ocurriría tal o cual cosa. Que el antecedente y el consecuente sean falsos no excluye que si el antecedente hubiera
sido verdadero también lo hubiera sido el consecuente. Si yo no estudio y no apruebo, no por eso es falso que si
estudio, entonces apruebo.

Tabla de verdad de la negación

Como hemos visto en apartados anteriores, la negación invierte el valor de verdad de la proposición negada, tal y
como se establece en la siguiente tabla:

p ¬p
1 0
0 1

Es decir, que cuando p es verdadera, ¬p es falsa, y cuando p es falsa, ¬p es verdadera.

Leer más: http://www.monografias.com/trabajos-pdf5/la-logica-proposicional/la-logica-proposicional.shtml#ixzz3ikGzduAe