Matemática Logica

MATEMÁTICA BÁSICA Unidad 1
UNIDAD 1
INTRODUCCIÓN
La Lógica es la ciencia que estudia el razonamiento pero no desde una perspectiva psicológica sino
que estudia el producto o resultado de la actividad de razonar (por ejemplo, los pasos dados en una
demostración). Por lo tanto, desde nuestro punto de vista, las leyes de la Lógica no son leyes
psicológicas, más bien, son leyes que determinan cuándo ciertas creencias (o suposiciones)
constituyen una buena razón para afirmar una conclusión.
Por otra parte, el deseo de emplear la lógica como herramienta de representación del conocimiento
hace que los lenguajes formales se empleen como modelos (abstracciones) del conocimiento
expresado mediante el lenguaje natural. Cuando se toma esta dirección es necesaria una
simplificación del lenguaje natural, que conduce al uso de lenguajes formales.
En una primera aproximación al tema, podemos dar la siguiente:
Definición: La Lógica investiga la relación de consecuencia que se da entre una sucesión de

premisas y la conclusión de un argumento o razonamiento correcto.
LÓGICA DE PROPOSICIONES
Para que la definición de Lógica cobre sentido debemos precisar ciertos conceptos, por ejemplo el
de enunciado.
Habitualmente un enunciado se define como una expresión lingüística que establece un

pensamiento completo. Los enunciados se pueden clasificar en interrogativos, imperativos y
declarativos. Los enunciados declarativos son aquellos sobre los que podemos afirmar su verdad o
falsedad o más generalmente, aquellos enunciados a los que se pueden asignar un valor de verdad
(verdadero o falso). Nosotros estamos interesados en estos últimos y dejaremos de lado los otros
tipos de enunciados; de ahora en adelante, cuando hablemos de “enunciado” nos estaremos
refiriendo siempre a los enunciados declarativos. A estos enunciados declarativos los llamamos
proposiciones.
La Lógica de proposiciones no analiza la estructura de los enunciados: las relaciones entre sujeto y
predicado, sino que es la parte más simple de la Lógica simbólica y se ocupa de los enunciados,
como un todo, y sus relaciones con otros enunciados.
EL LENGUAJE FORMAL DE LA LÓGICA DE PROPOSICIONES
Definición: Una proposición es una frase u oración que afirma o niega algo y de la cual tiene
sentido afirmar que es verdadera o falsa, no ambas cosas a la vez.
Prof. Mg. Estela Torres 1

Dicho de otro modo, las proposiciones son oraciones que son verdaderas o falsas.
Notación: Las proposiciones se simbolizarán con letras mayúsculas imprenta: P, Q, R, A, B,… En

caso de ser necesario se utilizarán subíndices: P1, P2, Q1 , ....
Ejemplos:
Son proposiciones No son proposiciones
A: 3 es múltiplo de 2 (falsa) ¿Quién viene?
B: Un cuadrado tiene cuatro lados (verdadera) ¡Deténgase!
C: El 0 no es positivo ni negativo (verdadera) ¿Me encuentra mejor?
Playa de estacionamiento
CONECTORES LÓGICOS
Los conectores más comunes y los símbolos que emplearemos para denotarlos se indican a
continuación:
Negación. La forma enunciativa P permite simbolizar la proposición “no P”, a partir de otra
cualquiera P.
Conjunción. La forma enunciativa P  Q simboliza enunciados del lenguaje natural de la forma:

“P y Q”.
Disyunción. La forma enunciativa P  Q simboliza enunciados de la forma: “P o Q”.
Condicional. La forma enunciativa P  Q simboliza enunciados de la forma: “si P entonces Q”;

“P es suficiente para Q”, “Q es necesario para P”, “Q cuando quiera que P”, “Q si P”, “Q siempre
que P”, “no P a menos que Q”.
Bicondicional. La forma enunciativa P  Q denota enunciados de la forma: “P si y sólo si Q”; “P

necesario y suficiente para Q”.
Conector Expresión en el lenguaje corriente

− No
 Y
 O
 Si … entonces …
 … si y sólo si …
CLASIFICACIÓN DE PROPOSICIONES
Proposición simple: Es aquella que no contiene conectivos lógicos (no, y, o, entonces, si y sólo si).
Proposición compuesta: Es aquella que contiene al menos un conectivo lógico.

Ejemplos:
1) Los números naturales son números reales. Proposición simple.
2) Para cursar como alumno promocional la asignatura Álgebra Lineal, es condición necesaria y
suficiente aprobar el examen final de Matemática Básica. Proposición compuesta.
3) Si un número termina en cero o en cinco entonces es múltiplo de cinco. Proposición

compuesta.
TRADUCCIÓN DEL LENGUAJE NATURAL AL LENGUAJE FORMAL
El proceso de traducción del lenguaje natural al lenguaje formal de la Lógica es complejo y requiere
de mucha práctica, ya que no existen reglas fijas. Dado que en los estados iniciales del diseño de un
sistema informático (ya sea una aplicación de gestión de la información o un sistema experto) las
informaciones sobre el sistema se presentan muchas veces en lenguaje natural no formalizado, el
dominio de las técnicas de traducción es de vital importancia para el informático.
Aunque, como estamos insistiendo, no hay reglas precisas para resolver este problema, podemos
seguir ciertas pautas sencillas:
1. Primero, identificamos los enunciados simples y, después, los conectores (utilizando el

significado que hemos atribuido a los conectores).
2. Luego, asignamos una letra enunciativa a cada uno de los enunciados identificados y aplicamos
las normas de escritura abreviada de formas enunciativas.
Ejemplos: Traducir al lenguaje formal de la lógica de proposiciones los siguientes enunciados:
1. El sucesor de 5 es 6 y su opuesto es -5.
Analizamos los enunciados simples y asignamos letras enunciativas:
P: El sucesor de 5 es 6.
Q: El opuesto de 5 es -5.
Formalizamos: P  Q
2. José guardará su dinero en el banco o comprará dólares.
P: José guardará su dinero en el banco.
Q: José comprará dólares.
Formalizamos: P  Q

USO DE PARÉNTESIS
Cuando una proposición compuesta contiene más de dos proposiciones simples, se debe agrupar las
partes que la componen a fin de evitar ambigüedades, y para ello se utilizan paréntesis, corchetes o
llaves.
Ejemplo: P  Q  R es una expresión ambigua, pues puede interpretarse de dos formas distintas:
Forma 1: Es la conjunción de P con Q  R.
Forma 2: Es el condicional de P  Q con R.
Si usamos paréntesis, eliminamos la ambigüedad, pues tenemos:
1) P  ( Q  R ) corresponde a la primera interpretación.
2) ( P  Q )  R corresponde a la segunda interpretación.
En los siguientes ejemplos traduciremos a forma simbólica algunos enunciados compuestos del
lenguaje natural, con el fin de ir familiarizándonos en la aplicación de los criterios enunciados.
Ejemplos: Traducir al lenguaje formal de la lógica de proposiciones los siguientes enunciados:
1. Si los automovilistas no tienen carné, son irresponsables y violan la ley.
P: Los automovilistas tienen carné.
Q: Los automovilistas son irresponsables.
R: Los automovilistas violan la ley.
Formalizamos: P  ( Q  R )
2. El paciente se internará para ser operado pero no quiere compartir la habitación.
P: El paciente se internará para ser operado.
Q: El paciente quiere compartir la habitación.
Formalizamos: P  Q
3. Si aumenta el dólar o suben las tasas de interés, aumentará la inflación y disminuirá el poder
adquisitivo.

P: Aumenta el dólar
Q: Suben las tasas de interés.
R: Aumentará la inflación.
S: Disminuirá el poder adquisitivo.
Formalizamos: ( P  Q )  ( R  S )
VALOR DE VERDAD DE UNA PROPOSICIÓN
Uno de los objetivos de la Lógica es establecer relaciones de consecuencia lógica entre los
enunciados (proposiciones) que componen un razonamiento o argumento.
Este problema está relacionado con la actividad de determinar el valor de verdad de los enunciados.
Tradicionalmente, la Lógica se ha regido, desde Aristóteles, por el principio de bivalencia, según el
cual “todo enunciado o es verdadero o es falso, pero no ambas cosas a la vez”. Nosotros nos
adherimos a ese principio. Así pues, una proposición podría tomar uno de entre los dos posibles
valores de verdad: V (verdadero) o F (falso). La verdad o falsedad de un enunciado o proposición
compuesto no depende de las relaciones de afinidad entre los enunciados elementales que lo
componen ni de las relaciones de causalidad que puedan existir entre ellos, sino sólo de los valores
de verdad de sus componentes. Por consiguiente, necesitamos definir con claridad el significado de
cada uno de los conectivos los cuales definen las diferentes operaciones lógicas.
Definición: Si una proposición es verdadera su valor de verdad es 1, en caso contrario es 0.
1 si P es verdadera
Simbólicamente V (P) = 
0 si P es falsa
Ejemplo: Para las proposiciones de los ejemplos anteriores tenemos:

A: 3 es múltiplo de 2 V(A) = 0
B: Un cuadrado tiene cuatro lados V(B) = 1
C: El 0 es un número natural V(C) = 0
TABLAS DE VERDAD
Definición: Tabla de verdad de una proposición es aquella que contiene todos los posibles valores
de verdad de la proposición.
Dadas n proposiciones, ellas pueden ser todas verdaderas, todas falsas o algunas verdaderas y otras
falsas. Cada una de estas posibilidades se llama “caso posible”.
Se puede demostrar que el número de casos posibles para n proposiciones simples es 2n.

El valor de verdad de una proposición compuesta depende de los valores de verdad de las
proposiciones simples que la integran. Si está formada por n proposiciones simples distintas, es
necesario considerar los 2n casos posibles correspondientes. Todos estos se presentan en una tabla
llamada “tabla de verdad” de la proposición compuesta dada.
La tabla de verdad se construye del siguiente modo:
1) Encolumnamos las proposiciones simples en orden alfabético (y numérico si se utilizan

subíndices). Tendremos n columnas.
2) Colocamos los casos posibles de valores de verdad en filas. Tendremos 2n filas.
Primera Columna: De las 2n filas, colocamos en la primera mitad 0 (falso) y 1 (verdadero) en las
restantes.
Segunda Columna: Volvemos a dividir por la mitad.
Y así sucesivamente hasta llegar a la última columna, en la que alternaremos 0 y 1.
3) En una columna al final, colocamos la proposición compuesta dada y se determina su valor de

verdad para cada una de las filas (es decir para cada uno de los casos posibles).
Ejemplos:
1) Si tenemos dos proposiciones simples P y Q, hay 22 = 4 casos posibles.
P Q Prop. Comp.
0 0
0 1
1 0
1 1
2) Si tenemos 3 proposiciones simples P, Q y R, hay 23 = 8 casos posibles
P Q R Prop. Comp.
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Como se puede observar, al aumentar la cantidad de proposiciones simples que intervienen en la

proposición compuesta, la construcción de la tabla de verdad constituye un trabajo lerdo y tedioso.

OPERACIONES LÓGICAS
El uso de los conectivos lógicos nos permite obtener proposiciones compuestas a partir de
proposiciones simples. Esto significa que se puede operar con proposiciones.
NEGACIÓN (Operación unitaria).
Dada una proposición P se llama “negación de P” a la proposición compuesta “no P”, que se
simboliza P
La negación de P es verdadera cuando P es falsa, y recíprocamente.
La tabla de verdad es:
P P
0 1
1 0
CONJUNCIÓN (Operación binaria).
Dadas dos proposiciones P y Q, se llama “conjunción de P con Q” a la proposición compuesta “P

y Q”, que se simboliza P  Q
La conjunción P  Q es verdadera únicamente cuando ambas proposiciones son verdaderas.
P Q PQ
0 0 0
0 1 0
1 0 0
1 1 1
DISYUNCIÓN (Operación binaria).
Dadas las proposiciones P y Q, se llama “disyunción de P con Q” a la proposición compuesta “P o

Q", que se simboliza P  Q
La disyunción P  Q es falsa únicamente cuando ambas proposiciones son falsas.
P Q PQ
0 0 0
0 1 1
1 0 1
1 1 1
CONDICIONAL
Dadas dos proposiciones P y Q se llama “condicional de P con Q” en ese orden, a la proposición

compuesta “si P entonces Q”, que se simboliza P  Q donde P recibe el nombre de antecedente y Q
el de consecuente.
El condicional P  Q es falso únicamente cuando el antecedente es verdadero y el consecuente

es falso.
P Q PQ
0 0 1
0 1 1
1 0 0
1 1 1
BICONDICIONAL
Dadas dos proposiciones P y Q se llama “bicondicional de P con Q” a la proposición compuesta

“P si y sólo si Q”, que se simboliza P  Q.
El bicondicional P  Q es verdadero únicamente cuando ambas proposiciones tienen el mismo

valor de verdad.
P Q PQ
0 0 1
0 1 0
1 0 0
1 1 1
EJEMPLOS DE CONSTRUCCIÓN DE TABLAS DE VERDAD
Cuando se utiliza paréntesis, corchetes y llaves, las tablas de verdad se resuelven “de adentro hacia
afuera” (primero los paréntesis, después los corchetes y por último las llaves).
Por otra parte, para evitar un trabajo muy lerdo y tedioso que puede presentarse con proposiciones
compuestas muy extensas, al construir la tabla de verdad colocaremos simplemente la proposición
compuesta dada, debajo de cada proposición los valores de verdad y debajo de cada conectivo los
valores de verdad que vayan resultando, recordando que los valores de verdad se asignan en orden
alfabético.
1) ( P  Q )  Q

(P  Q)  Q
0 0 0 1 1
0 0 1 0 0
1 0 0 1 1
1 1 1 1 0
2) Q  ( P  Q )
Q  (P  Q)
0 1 0 1 0
1 0 0 0 1
0 1 1 0 0
1 0 1 0 1
3) { [ ( P  ( R  S ) ]  ( R  P ) }  P
{[( P  (R  S )]  (R  P )}  P
0 0 0 0 1 1 0 1 0 1 1
0 0 0 0 0 1 0 1 0 1 1
0 1 1 1 1 1 1 0 0 1 1
0 0 1 0 0 0 1 0 0 0 1
1 1 0 0 1 1 0 0 1 0 0
1 1 0 0 0 1 0 0 1 0 0
1 1 1 1 1 1 1 0 1 0 0
1 1 1 0 0 1 1 0 1 0 0
Observaciones:
1. Si en una proposición se fijan los valores de verdad de cada una de las proposiciones
simples que la integran, estaremos en uno de los casos posibles de la tabla de verdad y no
será necesario analizar los demás.
Ejemplos: Si P es verdadera, Q es falsa y R es verdadera; determinar el valor de verdad de:
i) ( P  Q )  [ ( Q  R )  P ]
1 0 0 0 0 1 1 1 0
La proposición compuesta es falsa para los valores de verdad asignados a las proposiciones simples
que la integran.
ii) ( Q  ( P  R ) )  ( P  Q )
0 1 1 1 1 1 1 1 0
La proposición compuesta es verdadera para los valores de verdad asignados a las proposiciones
simples que la integran.

2. En algunas situaciones es posible determinar el valor de verdad de las proposiciones

simples que integran una proposición compuesta, si se conoce el valor de la proposición
compuesta.
Ejemplos:
1. Si ( P  R )  Q es Falsa, determinar el valor de verdad de P, Q y R.
V ( ( P  R )  Q ) = 0 , recordando las tablas de verdad de las operaciones lógicas:

• La disyunción es falsa únicamente cuando ambas proposiciones son falsas, resulta:
V( P  R ) = 0 y V ( Q ) = 0
• El condicional es falso únicamente cuando el antecedente es verdadero y el consecuente

es falso, resulta: V( P ) = 1 y V (R ) = 0
Luego: Si ( P  R )  Q es Falsa entonces P es Verdadera, Q es Falsa y R es Falsa.
2. Si A  ( B  A
̅ ) es Verdadera, determinar el valor de verdad de A y B.
V (A  ( B  A
̅ ) ) = 1 , recordando las tablas de verdad de las operaciones lógicas:
• La conjunción es verdadera únicamente cuando ambas proposiciones son verdaderas, resulta:

̅ )=1
V( A ) = 1 y V (B  A
• El bicondicional es verdadero únicamente cuando ambas proposiciones tienen el mismo valor
de verdad resulta: V( B ) = 0
Luego: Si A  ( B  A
̅ ) es Verdadera entonces A es Verdadera y B es Falsa.
EQUIVALENCIA LÓGICA
En esta sección nos ocupamos de las nociones de equivalencia y tautología que son muy
importantes para mostrar algunas propiedades.
Definición: Una proposición se dice que es una:
1) Tautología, si toma el valor de verdad V para toda valoración y lo indicaremos Ta

2) Contradicción, si toma el valor de verdad F para toda valoración y lo indicaremos Co.
Ejemplos: La proposición
1. P  P es una tautología 3. P  P es una tautología
2. P  P es una contradicción
Ejercicio: Comprobar que las proposiciones del ejemplo anterior son tautologías.
IMPLICACIONES
Definición: Si el condicional P  Q es tautológico decimos que P implica a Q y escribimos

P → Q.
Ejemplo: ( P  Q ) → Q
Para verificar que es una implicación, debemos comprobar que el condicional (P  Q)  Q es

tautológico.
(P  Q)  Q
0 0 0 1 0
0 0 1 1 1
1 0 0 1 0
1 1 1 1 1
BIIMPLICACIONES O EQUIVALENCIAS
Definición: Si el bicondicional P  Q es una tautología decimos que P y Q son lógicamente

equivalentes o que P biimplica a Q y denotamos P  Q
Ejemplos:
1. ( P  Q )  ( Q  P )
Para verificar la equivalencia debemos comprobar que el bicondicional es tautológico. Para ello
construimos la tabla de verdad del bicondicional.
(P  Q )  ( Q  P)
0 0 1 1 1 0 0
0 0 0 1 0 0 0
1 1 1 1 1 1 1
1 0 0 1 0 0 1
2. Equivalencia del condicional: P  Q  P  Q
3. Equivalencia del bicondicional P  Q  ( P  Q )  ( Q  P)
Ejercicio: Comprobar que las proposiciones del ejemplo anterior son equivalentes.
De acuerdo con la anterior definición podemos decir que las proposiciones P y Q, son lógicamente
equivalentes si y sólo si tienen los mismos valores de verdad. Esta visión alternativa de equivalencia
lógica tiene implicaciones prácticas porque nos indica que, para comprobar que dos proposiciones P
y Q son lógicamente equivalentes basta con:
1. construir la tabla de verdad de P, la tabla de verdad de Q
2. comprobar si las columnas en la que aparece los respectivos resultados coinciden.

Observaciones:
1) En el caso que comparemos las tablas de verdad, debemos tener la precaución de asignar, en
ambas tablas y para cada caso posible, el mismo valor de verdad a una misma proposición.
2) Todas las tautologías son equivalentes entre sí, cualquiera sea la cantidad de proposiciones que la
integren. Lo mismo sucede con las contradicciones.
PROPIEDADES DE LAS OPERACIONES LÓGICAS
1. LEYES DE DE MORGAN
Negación de la conjunción: P  Q  P  Q
Negación de la disyunción: P  Q  P  Q
Negación del condicional: P  Q  P  Q
Ejemplos
AB )  ( ̅̅̅̅̅̅̅
1. ( ̅̅̅̅̅̅̅̅ AB)(AB
̅)(A
̅B
̅)
̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
2. P  ( R  S)  P  ( ̅̅̅̅̅̅̅
RS)P(R
̅  S̅ )
2. CONMUTATIVA
De la conjunción: P  Q  Q  P
De la disyunción: P  Q  Q  P
Del bicondicional: P  Q  Q  P
Ejemplos
1. S  ( P  S̅ )  S  ( S̅  P )
2. ( A  B )  ( C  A )  ( C  A )  ( A  B )
3. ASOCIATIVA
De la conjunción: ( P  Q )  R  P  ( Q  R )
De la disyunción: ( P  Q )  R  P  ( Q  R )
Del bicondicional: ( P  Q )  R  P  ( Q  R )
Ejemplos

1. S̅  ( S  Q)  ( S̅  S )  Q
2. ( R  S)  S̅  R  ( S  S̅ )
4. IDEMPOTENCIA
De la conjunción: P  P  P
De la disyunción: P  P  P
Ejemplos
1. S̅ ( Q  Q)  S̅  Q
2. ( R  S)  ( R  S)  R  S
5. DISTRIBUTIVA
De la conjunción respecto de la disyunción: P  ( Q  R )  ( P  Q )  ( P  R )
De la disyunción respecto de la conjunción: P  ( Q  R )  ( P  Q )  ( P  R )
Ejemplos
1. S̅  ( S  Q )  ( ̅S  S )  ( S̅  Q )
2. ( R  S )  S̅  ( R  S̅ )  ( S  S̅ )
6. ABSORCION
P(PQ) P
P(PQ) P
Ejemplos
1. ( P  Q )  [( P  Q )  S̅ ]  P  Q
2. ( R  S̅)  [ ( A  B )  ( R  S̅ ) ]  R  S̅
7. INVOLUCIÓN
P P
Ejercicio: Probar que el condicional no cumple la propiedad asociativa.

Las propiedades mencionadas anteriormente serán utilizadas para encontrar proposiciones

equivalentes.
REDUCCIÓN DE PROPOSICIONES
La importancia de la equivalencia de proposiciones radica en que, si en una proposición compuesta

reemplazamos cualquiera de las proposiciones que la integran por otra equivalente, esto nos permite
reducir la proposición compuesta dada a otra más simple. Para ello se utilizan las propiedades de las
operaciones que acabamos de enunciar.
Importante: Al reducir proposiciones, debe tenerse en cuenta que si P es una proposición

arbitraria, Ta es una tautología y Co es una contradicción, entonces se verifican las siguientes
equivalencias:
1) Ta  P  P
2) Ta  P  Ta
3) Co  P  Co
4) Co  P  P
Ejemplos: Reducir las siguientes proposiciones:
1. (R  Q)  R
(R  Q)  R  (R  Q)  R DEM R  Q   R CONM,

 (Q
 
 R )  R  Q   R  R   Q  R
* *  *  * ASOC
 *  IDEMP
2. U  ( U  M ) ( F  M)  F
  
  (
 U   U  M   ( F  M )  F  ) ( )  ( ) (
 U  U  M  F M  F  U  U  M  F  M  F 

) 
  *  * * ABS

( 
)   
  U  U  M   F   U  U   M   F  (Ta  M )  F  Ta  F  F
ABS
 *  ASOC
 *  
TA TA TA
3. (Q  S)  S  (P  S)

 
 (
 Q  S   S  P  S )  (Q  S) S(P  S)  (Q  S) S   P  S ( )  (
 Q S  S P S  )
 *  DE M  *    *  DE M
( 
) 
( ) (
 Q  S  S  P  S   Q  S  S  S )
 *  ABS * ABS
4. Q  (Q  P) Q  (Q  P)
[Q ∨ (Q ⇒ P)] ∨ [Q ⇒ (Q ∨ P)] ≡ [Q ∨ (Q ∧ P)] ∨ [Q ∧ (Q ∧ P)] ≡
(∗) De M. ∗ De M.
≡ [Q ∨ (Q ∧ P)] ∨ [Q ∧ (Q ∨ P)] ≡ [(Q ∨ Q) ∧ (Q ∨ P)] ∨ [(Q ∧ Q) ∨ (Q ∧ P)] ≡

De M. ∗ ∗ DIST. ∗ Ta
≡ [Ta ∧ (Q ∨ P)] ∨ [(Q ∧ Q) ∨ (Q ∧ P)] ≡ (Q ∨ P) ∨ [(Q ∧ Q) ∨ (Q ∧ P)] ≡

Ta Ta ∗ Co
≡ (Q ∨ P) ∨ [Co ∨ (Q ∧ P)] ≡ (Q ∨ P) ∨ (Q ∧ P) ≡ Q ∨ [P ∨ (Q ∧ P)] ≡ Q ∨ P

Co Co ∗ ASOC ABS
RAZONAMIENTO, VALIDEZ Y CONSECUENCIA LÓGICA
Definición: Un razonamiento es una sucesión finita de proposiciones o enunciados, de las cuales

la última se considera la conclusión (tesis) y el resto las premisas (hipótesis).
Es decir; un razonamiento es una sucesión finita de proposiciones llamadas “premisas o hipótesis”

que se suponen verdaderas, seguidas de otra proposición llamada “conclusión o tesis”.
Notación: Un razonamiento con premisas o hipótesis P1, P2, … , Pn y conclusión C se simbolizará

de cualquiera de las siguientes maneras:
{P1, P2, … , Pn } C ; P1
P2
...
Pn
C
Esto se lee: “Del conjunto de las premisas o hipótesis se deduce la conclusión o tesis”.
Ejemplos: En los siguientes razonamientos determinemos premisas o hipótesis y conclusión
1. { S̅, P  S } P
Premisas o hipótesis del razonamiento

P1: S̅
P2: P  S
Conclusión o tesis del razonamiento: P
̅  S}
2. {A, A R, R S
Premisas o hipótesis del razonamiento
P1: A
P2: A  R
̅S
P3: R
Conclusión o tesis del razonamiento: S
RAZONAMIENTO VÁLIDO
Definición: El razonamiento {P1, P2, … , Pn } C es válido si la verdad de las premisas o hipótesis

implican la verdad de la conclusión o tesis, esto es, un razonamiento es válido si y sólo si nunca se
presenta el caso de premisas o hipótesis verdaderas y conclusión o tesis falsa.
Por lo tanto, un razonamiento es válido si el condicional (P1  P2 …  Pn)  C es tautológico.
El condicional (P1  P2 …  Pn)  C se denomina condicional asociado al razonamiento. Por

lo tanto un razonamiento es válido cuando el condicional asociado es tautológico.
Una forma de investigar si el condicional asociado es tautológico, es construir su tabla de verdad.
Centraremos nuestra atención en los razonamientos válidos y su demostración formal.
REGLAS DE INFERENCIA
Definición: Una regla de inferencia es un razonamiento válido.
Es decir, una regla de inferencia es una ley o esquema de razonamiento que nos permite, a partir de
fórmulas ya establecidas, extraer una fórmula nueva. Podemos entender una regla de inferencia
como un razonamiento válido por el cual, de una o más fórmulas ya deducidas, se puede obtener
otra. O bien esta última es consecuencia lógica inmediata de las anteriores. En este apartado
estudiamos las reglas de inferencia básicas, que forman el conjunto mínimo de reglas de inferencia
que se necesitan emplear en la construcción de cualquier demostración.
1- SIMPLIFICACIÓN (S.)

“Si la conjunción de dos proposiciones es verdadera, entonces ambas proposiciones los son.”
Expresado como razonamiento: { P  Q } P y también { P  Q } Q
Ejemplos: ¿Cuál es la conclusión en los siguientes razonamientos válidos si aplicamos la regla de

inferencia Simplificación?
1. { P  ( Q  R ) } …………..
Si aplicamos la regla de inferencia Simplificación, solamente podemos dar dos respuestas:
i. {P(QR)} P
ii. {P(QR)} (QR)
2. { ( A  B )  ( B  A
̅) } ………….
Si aplicamos la regla de inferencia Simplificación, solamente podemos dos respuestas:
i. {(AB)(BA
̅) } (AB)
ii. ̅)}
{(AB)(BA ̅)
(BA
2- ADICIÓN (Ad.)
“Si una proposición es verdadera entonces es verdadera la disyunción de ella con cualquier otra
proposición.”
Expresado como razonamiento: { P } ( P  Q ) cualquiera sea Q.
Ejemplos: ¿Cuál es la conclusión en los siguientes razonamientos válidos si aplicamos la regla de

inferencia Adición?
1. { P } …………..
Si aplicamos la regla de inferencia Adición, podemos dar las siguientes respuestas:
i. {P} [P(AB)]
ii. {P} [P(RA
̅) ]
Ejercicio: ¿Es posible deducir otras conclusiones si aplicamos la regla de inferencia Adición? Si su
respuesta es afirmativa, escriba algunas de ellas.
2. { A  B } ………….
Si aplicamos la regla de inferencia Adición, podemos dar las siguientes respuestas:

i. {AB} [ ( A  B )  S̅ ]
ii. {AB} [ (A  B )  ( A
̅  R)]
Ejercicio: ¿Es posible deducir otras conclusiones si aplicamos la regla de inferencia Adición? Si su
respuesta es afirmativa, escriba algunas de ellas.
3- MODUS PONENS (M.P.)
“Si un condicional es verdadero y su antecedente es verdadero entonces su consecuente es

verdadero.”
Expresado como razonamiento: { P  Q, P } Q
Ejemplos: ¿Cuál es la conclusión en los siguientes razonamientos si aplicamos la regla de

inferencia Modus Ponens?
1. { P  Q, P } …………..
Si aplicamos la regla de inferencia Modus Ponens, podemos dar solamente una respuesta:
{P  Q,P} Q
2. { ( A  B )  ( C  A
̅), A  B } …………..
Si aplicamos la regla de inferencia Modus Ponens, podemos dar solamente una respuesta:
̅ ), A  B }
{(AB)(CA ̅)
(CA
4- MODUS TOLLENS (M.T.)
“Si un condicional es verdadero y su consecuente es falso entonces su antecedente también es

falso.”
Expresado como razonamiento: { P  Q, Q } P

inferencia Modus Tollens?
1. { P  Q, Q } …………..
Si aplicamos la regla de inferencia Modus Tollens, podemos dar solamente una respuesta:
{ P  Q, Q } P

o bien { P  Q , Q } P
2. { ( A  B )  ( C  B ), ̅̅̅̅̅̅̅
CB} …………..
Si aplicamos la regla de inferencia Modus Tollens, podemos dar solamente una respuesta:
{ ( A  B )  ( C  B ), ̅̅̅̅̅̅̅
CB} A  B,
̅̅̅̅̅̅̅
o bien { ( A  B )  ( C  B ), ̅̅̅̅̅̅̅
CB} ̅ B
(A ̅)
5- SILOGISMO DISYUNTIVO (S.D.)
“Si la disyunción de dos proposiciones es verdadera y una de las proposiciones es falsa entonces
la otra proposición es verdadera.”
Expresado como razonamiento tenemos: { P  Q, Q } P

inferencia Silogismo disyuntivo?
1. { P  Q, Q } …………..
Si aplicamos la regla de inferencia Silogismo disyuntivo, podemos dar solamente una respuesta:
{ P  Q,Q} P
2. { ( A  B )  ( C  B ), ̅̅̅̅̅̅̅
CB} …………..
Si aplicamos la regla de inferencia Silogismo disyuntivo, podemos dar solamente una respuesta:
{ ( A  B )  ̅̅̅̅̅̅̅
CB, CB} (AB)
MÉTODOS FORMALES DE DEMOSTRACIÓN
Ahora nos ocuparemos de diferentes estrategias para demostrar la validez de un razonamiento. Por
lo general los razonamientos válidos en Matemática se llaman teoremas. Un teorema es un
enunciado, llamado conclusión o tesis (T), que puede probarse a partir de supuestos iniciales o
hipótesis (H). Supuestos o hipótesis de un teorema son los enunciados que no se han deducido o
justificado previamente, es decir, las premisas iniciales. Así definido, un teorema no es otra cosa
más que un razonamiento para el cual se quiere establecer la relación de consecuencia lógica
existente entre la conclusión y las premisas. A continuación daremos una revisión de algunas de sus
técnicas o pruebas de demostración formal que serán de gran utilidad para nuestros fines.

Para realizar las demostraciones utilizaremos una tabla con dos columnas. En la primera
colocaremos las proposiciones verdaderas y en la segunda las razones por las cuales son verdaderas.
Proposiciones verdaderas Razones
A) MÉTODO DIRECTO (H →T)

Partimos de la verdad de las premisas o hipótesis y debemos llegar a la verdad de la conclusión o
tesis.
En el método directo mostramos la verdad de la tesis dando una secuencia de pequeños pasos a
partir de las premisas (supuestos o hipótesis del razonamiento que se está demostrando). En cada
uno de esos pasos se pueden utilizar las premisas, axiomas relativos a la teoría, reglas de inferencia
y equivalencias de proposiciones. Es decir, se comienza la prueba suponiendo que el antecedente H
es verdadero y se dan pasos de deducción hasta probar que se cumple el consecuente T.
Ejemplos: Demostrar, aplicando el método directo los siguientes razonamientos válidos.
̅S}
1. { A, A R , R S
Como el razonamiento es válido, realicemos una demostración formal, aplicando el Método

Directo.

1. A Premisa
2. A R Premisa
3. R M.P. 1 y 2
̅S
4. R Premisa
5. S S.D. 3 y 4
Conclusión
2. “Si la nafta aumenta, disminuye la circulación de automóviles. Si disminuye la circulación

de automóviles entonces aumenta la venta de bicicletas. Aumentó la nafta. Por lo tanto
aumenta la venta de bicicletas.”
El razonamiento es de la forma: { P  Q, Q  R, P } R

Directo.
1. P Premisa
2. P  Q Premisa
3. Q M.P. 1 y 2
4. Q  R Premisa
5. R M.P. 3 y 4
Conclusión
3. “Si Patricia es tu abogada, te declararán inocente. No te declararán inocente o serás

debidamente defendido. No fuiste debidamente defendido. Por lo tanto, Patricia no fue tu
abogada.”
El razonamiento es de la forma: { P  Q , Q R , R} P
Directo.
1. R Premisa
2. Q  R Premisa
S.D. 1 y 2
3. Q
4. P  Q Premisa
5. P M.T. 3 y 4
Conclusión
4. { A, A ( P  R ), R
̅S} S

Directo.
1. A Premisa
2. A ( P  R ) Premisa
3. P  R M.P. 1 y 2
4. P S. 3
5. R S. 3
̅S
6. R Premisa
7. S S.D. 5 y 6
Conclusión
B) MÉTODOS INDIRECTOS
̅𝐇
1. MÉTODO DEL CONTRARRECÍPROCO: 𝐓 ̅

El Método del Contrarrecíproco consiste en negar la tesis y a partir de allí deducir, mediante la
aplicación de premisas, propiedades y reglas de inferencia la negación de alguna premisa o
hipótesis.
En este curso no aplicaremos este método para demostrar formalmente un razonamiento válido.
2. MÉTODO POR REDUCCIÓN AL ABSURDO: ( H  T )  Co
Partimos de considerar verdadera la negación de la conclusión y utilizando la verdad de las

hipótesis debemos llegar a una contradicción.
El método tradicionalmente denominado “reducción al absurdo”, consiste en lo siguiente:
1. Se supone la falsedad de la conclusión o tesis (negamos lo que queremos probar).
2. A partir de esta suposición y utilizando la verdad de las hipótesis, se obtiene una contradicción
mediante el uso de reglas de inferencia y equivalencias. La contradicción puede consistir en derivar
la negación de alguna premisa, o bien deducir en una proposición y la negación.
3. Se rechaza la negación de la tesis o conclusión en vista de que ha sido posible llegar a una
contradicción.
4. Por tanto, como consecuencia, se afirma la conclusión deseada.
En otras palabras, debemos probar que el condicional ( H  T )  Co es tautológico.
Simbólicamente: ( H  T )  Co
1 0 0
De donde ( H  T ) debe ser falsa. Como H es verdadera entonces T es falsa y por lo tanto T es
verdadera. Luego como partimos de hipótesis verdadera y llegamos a tesis verdadera, el
razonamiento es válido.
Ejemplos: Demostraremos los razonamientos anteriores por el método de Reducción al Absurdo.
̅S}
1. { A, A R , R S
1. S̅ T
̅S
2. R Premisa

̅
3. R S.D. 1 y 2
4. A R Premisa
̅
5. A M.T. 3 y 4
6. A Premisa
̅ A
7. A Conjunción 5 y 6
Contradicción
2. “Si la nafta aumenta, disminuye la circulación de automóviles. Si disminuye la circulación
de automóviles entonces aumenta la venta de bicicletas. Aumentó la nafta. Por lo tanto
aumenta la venta de bicicletas.”
El razonamiento es de la forma: { P  Q, Q  R, P } R
̅
1. R T
2. Q  R Premisa
M.T. 1 y 2
3. Q
4. P  Q Premisa
5. P M.T. 3 y 4
6. P Premisa
7. P  P Conjunción 5 y 6
Contradicción
3. “Si Patricia es tu abogada, te declararán inocente. No te declararán inocente o serás
debidamente defendido. No fuiste debidamente defendido. Por lo tanto, Patricia no fue tu
abogada.”
El razonamiento es de la forma: { P  Q , Q  R , R } P

1. P T
2. P  Q Premisa
3. Q M.P. 1 y 2
4. Q  R Premisa
5. R S.D. 3 y 4
6. R Premisa
7. R  R
̅ Conjunción 5 y 6
Contradicción
4. { A, A ( P  R ), R
̅S} S

1. S̅ T

̅S
2. R Premisa
̅
3. R S.D. 1 y 2
4. A ( P  R ) Premisa
̅
5. A M.T. 3 y 4
6. A Premisa
7. A  A
Contradicción
Ejemplos: Demostremos los siguientes razonamientos válidos aplicando Método Directo y Método
de Reducción al Absurdo.
1. { E  B, E  D, D
̅} B
Método Directo Método de Reducción al Absurdo
Proposiciones Razones Proposiciones Razones

verdaderas verdaderas
̅
1. D Premisa ̅
1. B T
2. E  D Premisa 2. E  B Premisa
3. E S.D. 1 y 2 ̅
3. E M.T. 1 y 2
4. E  B Premisa 4. E  D Premisa
5. B M.P. 3 y 4 5. D S.D. 3 y 4
Conclusión ̅
6. D Premisa
̅
7. D  D Conjunción 5 y 6
Co
2. { A, ( A  C )  B, B
̅D
̅} ̅
D
Método Directo Método de Reducción al Absurdo
Proposiciones Razones Proposiciones Razones

verdaderas verdaderas
1. A Premisa 1. D T
2. ( A  C )  B Premisa ̅D
2. B ̅ Premisa
3. A  C Ad. 1 ̅
3. B S.D. 1 y 2
4. B M.P. 2 y 3 4. ( A  C )  B Premisa
̅D
5. B ̅ Premisa AC
6. ̅̅̅̅̅̅̅ M.T. 3 y 4
̅
7. D S.D. 4 y 5 ̅  C̅
8. A DM en 6
Conclusión ̅
9. A S.8
10. C̅ S. 8

11. A Premisa
12. A  A
̅ Conjunción11 y 12
Co
3. { P  Q, ( P  R )  T, R } (TQ)
Este razonamiento no se puede demostrar aplicando el método directo ya que no posee premisas
simples ni premisas conjuntivas. Por lo tanto, sólo puede demostrarse por Reducción al Absurdo.
Método de Reducción al Absurdo

TQ
1. ̅̅̅̅̅̅̅̅ T
̅ Q
2. T DM. 1
̅
3. T S. 2
4. Q S. 2
5. P  Q Premisa
6. P S.D. 4 y 5
7. ( P  R )  T Premisa
8. R Premisa
9. P  R Conjunción 6 y 8
10. T M.P. 7 y 9
11. T  T
Co

Matemática Logica

Cargado por

Copyright:

Formatos disponibles

Matemática Logica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Matemática Logica

Cargado por

Copyright:

Formatos disponibles

MATEMÁTICA BÁSICA Unidad 1

En una primera aproximación al tema, podemos dar la siguiente:

Definición: La Lógica investiga la relación de consecuencia que se da entre una sucesión de

Habitualmente un enunciado se define como una expresión lingüística que establece un

EL LENGUAJE FORMAL DE LA LÓGICA DE PROPOSICIONES

Prof. Mg. Estela Torres 1

Notación: Las proposiciones se simbolizarán con letras mayúsculas imprenta: P, Q, R, A, B,… En

Son proposiciones No son proposiciones

A: 3 es múltiplo de 2 (falsa) ¿Quién viene?

B: Un cuadrado tiene cuatro lados (verdadera) ¡Deténgase!

C: El 0 no es positivo ni negativo (verdadera) ¿Me encuentra mejor?

Conjunción. La forma enunciativa P  Q simboliza enunciados del lenguaje natural de la forma:

Disyunción. La forma enunciativa P  Q simboliza enunciados de la forma: “P o Q”.

Condicional. La forma enunciativa P  Q simboliza enunciados de la forma: “si P entonces Q”;

Bicondicional. La forma enunciativa P  Q denota enunciados de la forma: “P si y sólo si Q”; “P

Conector Expresión en el lenguaje corriente

Proposición compuesta: Es aquella que contiene al menos un conectivo lógico.

1) Los números naturales son números reales. Proposición simple.

3) Si un número termina en cero o en cinco entonces es múltiplo de cinco. Proposición

TRADUCCIÓN DEL LENGUAJE NATURAL AL LENGUAJE FORMAL

1. Primero, identificamos los enunciados simples y, después, los conectores (utilizando el

Ejemplos: Traducir al lenguaje formal de la lógica de proposiciones los siguientes enunciados:

1. El sucesor de 5 es 6 y su opuesto es -5.

Analizamos los enunciados simples y asignamos letras enunciativas:

2. José guardará su dinero en el banco o comprará dólares.

Analizamos los enunciados simples y asignamos letras enunciativas:

P: José guardará su dinero en el banco.

Q: José comprará dólares.

Prof. Mg. Estela Torres 3

Forma 1: Es la conjunción de P con Q  R.

Forma 2: Es el condicional de P  Q con R.

Si usamos paréntesis, eliminamos la ambigüedad, pues tenemos:

1) P  ( Q  R ) corresponde a la primera interpretación.

2) ( P  Q )  R corresponde a la segunda interpretación.

Ejemplos: Traducir al lenguaje formal de la lógica de proposiciones los siguientes enunciados:

1. Si los automovilistas no tienen carné, son irresponsables y violan la ley.

Analizamos los enunciados simples y asignamos letras enunciativas:

P: Los automovilistas tienen carné.

Q: Los automovilistas son irresponsables.

R: Los automovilistas violan la ley.

2. El paciente se internará para ser operado pero no quiere compartir la habitación.

Analizamos los enunciados simples y asignamos letras enunciativas:

P: El paciente se internará para ser operado.

Q: El paciente quiere compartir la habitación.

Analizamos los enunciados simples y asignamos letras enunciativas:

Prof. Mg. Estela Torres 4

Q: Suben las tasas de interés.

S: Disminuirá el poder adquisitivo.

VALOR DE VERDAD DE UNA PROPOSICIÓN

Ejemplo: Para las proposiciones de los ejemplos anteriores tenemos:

Prof. Mg. Estela Torres 5

La tabla de verdad se construye del siguiente modo:

1) Encolumnamos las proposiciones simples en orden alfabético (y numérico si se utilizan

2) Colocamos los casos posibles de valores de verdad en filas. Tendremos 2n filas.

Segunda Columna: Volvemos a dividir por la mitad.

Y así sucesivamente hasta llegar a la última columna, en la que alternaremos 0 y 1.

3) En una columna al final, colocamos la proposición compuesta dada y se determina su valor de

1) Si tenemos dos proposiciones simples P y Q, hay 22 = 4 casos posibles.

2) Si tenemos 3 proposiciones simples P, Q y R, hay 23 = 8 casos posibles