Unidad I LOGICA SIMBOLICA (Para Blog)

Descargar como doc, pdf o txt
Descargar como doc, pdf o txt
Está en la página 1de 25

UNIDAD N° 1

INTRODUCCIÓN A LA LOGICA SIMBÓLICA

Objetivos específicos:

 Traducir proposiciones verbales del lenguaje usual al


simbólico y del simbólico al lenguaje usual.
 Identificar razonamientos válidos.
 Valorar proposiciones lógicas.
 Plantear esquemas proposicionales.
 Uso adecuado de cuantificadores.

INTRODUCCION.-

Todo desarrollo matemático exige razonar en forma válida acerca


de cosas trascendentes y particularmente abstractas.

Hay que comenzar por eliminar, las ambigüedades del lenguaje


ordinario, introduciendo símbolos y conectivos cuyo uso adecuado
descarte las contingencias, aporte claridad y economía de
pensamiento.

En esta unidad introducimos el concepto de proposición, las


operaciones proposicionales y sus propiedades, reglas de inferencia
y la cuantificación de esquemas proposicionales cuyo uso estará
presente en todas las unidades posteriores.

PROPOSICION.-

La proposición es un elemento fundamental de la lógica matemática.

DEFINICIÓN.-

Una proposición es una oración declarativa de la cual podemos


decir que es verdadera o falsa, pero no ambas a la vez.

También una proposición es toda expresión verbal o escrita de la


cual tenga sentido afirmar es verdadera o falsa.

Una proposición es una colección de palabra, números o símbolos,


de las cuáles tiene sentido afirmar si es verdadera o falsa.

Las oraciones interrogativas e imperativas no son proposiciones.


ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
A continuación se tienen algunos ejemplos de proposiciones válidas
y no válidas, y se explica el porqué algunos enunciados no son
proposiciones.

Ejemplo.-

Indicar cuáles de las siguientes expresiones son proposiciones y


luego explique el porque de su respuesta.

1.- “La tierra es cuadrada”

2.- “17 + 4. log (10) = 21”

3.- “x > y - 9”

4.- “Oriente Petrolero es el campeón del apertura”

5.- “¿Como estas?”

6.- “¡Llévame en coche por favor!”

7.- “¡Pásame el marcador!”

Solución.- ¿?

NOTACIÓN.-

Las proposiciones se denotan con letras minúsculas, así como: p, q,


r, s, t, …..etc
Las proposiciones se indican por medio de una letra minúscula, dos
puntos y la proposición propiamente dicha entre comillas, como se
ilustra a continuación:
p: “La tierra es cuadrada”

q: “17 + 4. log (10) = 21”

s: “Oriente Petrolero es el campeón del campeonato apertura”

VALOR DE VERDAD DE UNA PROPOSICION.-

Toda proposición al ser tal, trae asociado un valor de verdad. Una


proposición puede tener un valor de verdad verdadero o falso.
El valor de verdad de una proposición “p” se simboliza de la
siguiente manera:
(p) = V, se lee valor de verdad de p verdadero, también se suele
representar así: (p) = 1
Autor: Elio Romero Cuéllar Página
2
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
(p) = F, se lee valor de verdad de p falso, también se suele
representar así: (p) = .

TERMINOS DE ENLACE O CONECTIVOS LOGICOS.- Los


términos de enlace o conectivos lógicos son:
“y”, “o”, “no”, “si ….., entonces ……”, “….. si y solo si …..”

CLASES DE PROPOSICIONES.- Las proposiciones se clasifican en


simples o atómicas y compuestas o moleculares.

PROPOSICIONES SIMPLES O ATOMICAS.- Son proposiciones


que no se pueden descomponer en otras más sencillas. Son
proposiciones completas sin términos de enlace o conectivos
lógicos.

PROPOSICIONES COMPUESTAS O MOLECULARES.- Las


combinaciones de las proposiciones simples mediante los términos
de enlace o conectivos lógicos, conforman las proposiciones
compuestas

Ejemplo.- Identificar cuáles de las siguientes proposiciones son


simples y cuáles son compuestas. Justificar su respuesta.

1.- “Juan es estudioso”


2.- “Todo alumno estudia”
3.- “Algunos números son primos”
4.- “Hoy no es jueves”
5.- “ 25 = 5 si y solo si 52 = 5”
6.- “La Luna es redonda y de queso”
7.- “Mañana estudiamos o trabajamos”

Respuesta.- ¿?

OPERACIONES PROPOSICIONALES.-

LA NEGACION.- Se llama negación de la proposición “p” a la


proposición obtenida enunciando “p” a continuación de la palabra
“no”.
Su función es negar la proposición. Esto significa que sí alguna
proposición es verdadera y se le aplica esta operación se obtendrá
su complemento o negación (falso).

NOTACION.- La negación de la proposición “p”, se simboliza de la


siguiente manera: “p”, y se lee “no p”

Autor: Elio Romero Cuéllar Página


3
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
VALOR DE VERDAD DE LA NEGACION.- Si el valor de verdad de
“p” es verdadero, el valor de verdad de “p” es falso.

Si el valor de verdad de “p” es falso, el valor de verdad de “p” es


verdadero.

O sea que simbólicamente tenemos:

(p) = V si (p) = F

(p) = F si (p) = V

TABLA DE VERDAD.- La tabla de verdad de una proposición


compuesta nos presenta el valor de verdad de esta, considerando
todas las combinaciones de valores de verdad de las proposiciones
simples componentes.

Si la proposición compuesta esta formada por “n” proposiciones


simples, el número de combinaciones de valores de verdad de las
proposiciones simples componentes es 2n. (Esta expresión será
demostrada posteriormente en la unidad III).

Para determinar cada una de las combinaciones de valor de verdad


se puede seguir del siguiente modo.

Supongamos que la proposición compuesta esta integrada por tres


proposiciones simples, entonces n=3 y el número de combinaciones
de valores de verdad será 23, es decir ocho.

p q r

V V V

V V F

V F V

V F F

F V V

F V F

F F V

F F F

Del número de combinaciones se asignan la mitad verdaderas y la


otra mitad falsas en la primer columna, en la segunda columna de la
mitad la mitad verdadero y la mitad falso y en la tercer columna la
Autor: Elio Romero Cuéllar Página
4
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
mitad de la mitad verdaderos y la mitad de la mitad falsos y así
sucesivamente, siempre la última columna queda intercalando uno

verdadero y otro falso. Esta es una forma práctica de obtener todas


las combinaciones de los valores de verdad de las proposiciones
simples que la componen.

TABLA DE VERDAD DE LA NEGACION.- n=1.

2n= 21= 2 combinaciones de valores de verdad de las proposiciones


componentes.

Ejemplo.- Negar las proposiciones siguientes simbólica y


verbalmente y luego determinar su valor de verdad.

t: “Hoy hace frío”


u: “La aceleración de la gravedad es de 9.81 m/seg2”
r: “15 no es multiplo de 2”

Solución.- ¿?

Ejemplo.- Hacer la tabla de verdad de (p), es decir de la doble


negación.

Solución.- ¿?

LA CONJUNCION O PRODUCTO LOGICO.-


La conjunción de las proposiciones “p”, “q” es la proposición
obtenida enunciando “q” a continuación de “p”, unidas ambas por la
letra “y”.
Se utiliza para conectar dos proposiciones que se deben cumplir
para que se pueda obtener un resultado verdadero.

NOTACION.- La conjunción de la proposición “p”, “q”; se simboliza


de la siguiente manera: “pq”, y se lee “p y q”

VALOR DE VERDAD DE LA CONJUNCION.- (pq) = V, cuando


ambas proposiciones son verdaderas. (pq) = F, cuando al menos
una de las proposiciones es falsa.

Autor: Elio Romero Cuéllar Página


5
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

TABLA DE VERDAD DE LA CONJUNCION.-

p q p q
V V V
V F F
F V F
F F F

Ejemplo.-
Dada la proposición “Pedro es estudioso y María es no es casada”,
expresarla simbólicamente.

Solución.- ¿?

Ejemplo.-
Determine el valor de verdad de cada una de las siguientes
proposiciones compuestas.
a) “ log 100=2 y 102=100”
b) “-3-7=-10 y 3/2 es número irracional”
c) “todo número divido por cero es cero y cinco es cuadrado
perfecto”

Solución.- ¿?

LA DISYUNCION O SUMA LOGICA.-

Para la disyunción se presentan dos clases: la inclusiva y la


exclusiva

LA DISYUNCION INCLUSIVA.-
La disyunción inclusiva de las proposiciones “p”, “q” es la
proposición obtenida enunciando “q” a continuación de “p”, unidas
ambas por la letra “o”, en el sentido inclusivo (la una, la otra o
ambas). Con esta operación se obtiene un resultado verdadero
cuando alguna de las proposiciones es verdadera.
NOTACION.- La disyunción inclusiva de la proposición “p”, “q”; se
simboliza de la siguiente manera: “pq”, y se lee “p o q, en el
sentido inclusivo”, es decir p o q o ambas.

VALOR DE VERDAD DE LA DISYUNCION INCLUSIVA.-

(pq) = F , cuando ambas proposiciones son falsas.

(pq) = V, cuando al menos una de ellas es verdadera.


Autor: Elio Romero Cuéllar Página
6
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

TABLA DE VERDAD DE LA DISYUNCION INCLUSIVA.-

p q pq
V V V
V F V
F V V
F F F

DISYUNCION EXCLUSIVA.-
La disyunción exclusiva de las proposiciones “p”, “q” es la
proposición obtenida enunciando “q” a continuación de “p”, unidas
ambas por la letra “o”, en el sentido exclusivo (la una, la otra pero no
ambas).
Con esta operación se obtiene un resultado verdadero cuando
ambas tienen valores de verdad diferentes.

NOTACION.- La disyunción exclusiva de la proposición “p”, “q”; se


simboliza de la siguiente manera: “p ⊻q”, y se lee “p o q, en el
sentido exclusivo”, es decir p o q, pero no ambas

VALOR DE VERDAD DE DISYUNCION EXCLUSIVA.-

(p ⊻q) = F, cuando ambas proposiciones simples son falsas.

(pq) = V, cuando al menos una de ellas es verdadera.


TABLA DE VERDAD DE LA DISYUNCION EXCLUSIVA.-

p q p ⊻q
V V F
V F V
F V V
F F F

Ejemplo.-

Expresar simbólicamente las siguientes proposiciones y determinar


luego su valor de verdad.
a) “Hoy es jueves o viernes
b) “5+9 es una suma o 14”
c) “El bebé es hombre o mujer”
d) “Te regalo rosas o claveles”

Solución.- ¿?

LA CONDICIONAL.-
Autor: Elio Romero Cuéllar Página
7
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

La condicional de dos proposiciones p, q dadas en ese orden, es la


proposición condicional de la forma:
“Si p, entonces q”
“p es condición suficiente para q”

“q es condición necesaria para p”


“Si p también q”
“q cuando p”
“ q cada vez que p”
“A fin de que q basta que p”

NOTACION.-
La condicional de las proposiciones p, q se simboliza de la siguiente
manera: “pq”
La proposición “p”, se denomina antecedente o hipótesis
La proposición “q”, se denomina tesis o consecuente.

VALOR DE VERDAD DE LA CONDICIONAL.-

(pq) = F, cuando el antecedente es verdadero y el consecuente


falso, en todas las demás opciones es verdadero.

TABLA DE VERDAD DE LA CONDICIONAL.-

p q p q
V V V
V F F
F V V
F F V

Ejemplo.- Determinar el valor de verdad de la siguiente proposición


compuesta: [(pq)r], si (p) = V

Solución.- ¿?

IMPLICACIONES ASOCIADAS.- Las condicionales asociadas son:


La Reciproca: La Reciproca de (p  q) es (q  p)
La Contraria: La Contraria de (p  q) es (p  q)
La Contra-reciproca: La contra-reciproca de (p q) es (q  p)

PROPOSICIONES EQUIVALENTES.- Dos proposiciones son


equivalentes si tienen la misma tabla de verdad. Es decir si tienen el

mismo valor de verdad para las mismas opciones de valor de


verdad de las proposiciones simples que la componen.
Autor: Elio Romero Cuéllar Página
8
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

Ejemplo.- Establecer cuales de las condicionales asociadas son


lógicamente equivalentes.

LA BICONDICIONAL.-
La bicondicional de dos proposiciones p, q es la proposición de la
forma “p si y solo si q”

NOTACION.-
La bicondicional de las proposiciones p, q se simboliza de la
siguiente manera: ‘“pq” y se lee:
“p si y solo si q”
“p es condición suficiente y necesaria par q”
“q es condición necesaria y suficiente para p”

VALOR DE VERDAD DE LA BICONDICIONAL.- La bicondicional


tiene un valor de verdad falso, cuando el valor de verdad de ambas
proposiciones es falso y el valor de verdad de la bicondicional es
verdadero, cuando el valor de verdad de ambas proposiciones es
verdadero.
(pq) = F, cuando (p) ≠ (q)
(pq) = V, cuando (p) = (q)

TABLA DE VERDAD DE LA BICONDICIONAL.-

p q p q
V V V
V F F
F V F
F F V

La bicondicional se define también como la conjunción de la


condicional y la reciproca, es decir: pq  (pq)  (qp)

FORMULAS PROPOSICIONALES.-
DEFINICIÓN.- Una formula proposicional es la combinación de
letras y conectivos lógicos de manera tal que al sustituir las letras
por proposiciones se obtiene una proposición.

Ejemplo.- (pq)  (qp)

(pq)  (qp)

Autor: Elio Romero Cuéllar Página


9
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
CLASIFICACION DE LAS FORMULAS PROPOSICIONALES.- Se
clasifican en Tautológicas, antitautologicas y contingencias.

TAUTOLOGICAS.- Son formulas proposicionales que siempre son


verdaderas cualquiera sea la combinación de valores de verdad de
las proposiciones componentes, es decir tienen su tabla de verdad
llena de verdades y solo de verdades.

ANTITAUTOLOGICAS.- Son formulas proposicionales que siempre


son falsas cualquiera sea la combinación de valores de verdad de
las proposiciones componentes, es decir tienen su tabla de verdad
llena de falsedades y solo de falsedades.

CONTINGENCIAS.- Son formulas proposicionales que no son


tautológicas ni antitautologicas.

Ejemplo.- Determinar la tabla de verdad de las formulas


proposicionales siguientes y luego clasificarlas.

1.-  ((pq)p)

2.- [(pq) (qp)]((qr)

3.- [q(pq](p)
Solución.- ¿?

FORMULAS LOGICAMENTE EQUIVALENTES.-

Dos formulas son lógicamente equivalentes si toman los mismos


valores de verdad cualquiera sea la combinación de los valores de
verdad de las proposiciones simples componentes.

Dos formulas son lógicamente equivalentes si y solamente si la


bicondicional entre ellas es una verdad lógica (Tautológica).

Ejemplo.- Demostrar la equivalencia lógica de las siguientes


formulas proposicionales (pq) y (pq)
Solución.- ¿?

PROPIEDADES DE OPERACIONES PROPOSICIONALES.-

PROPIEDAD 1.- IDEMPOTENCIA


pp  p pp  p

PROPIEDAD 2.- CONMUTATIVA


pq  qp
Autor: Elio Romero Cuéllar Página
10
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
pq  qp
pq  qp

PROPIEDAD 3.- ASOCIATIVA


[(pq)r]  [p(qr)]
[(pq)r]  [p(qr)]

PROPIEDAD 4.- DISTRIBUTIVA


p(qr)  (pq)(pr)
p(qr)  (pq)(pr)
p(qr)  (pq)(pr)
p(qr)  (pq)(pr)

PROPIEDAD 5.- DOBLE NEGACION (Involución)


(p)  p

PROPIEDAD 6.- NEGACION DE LAS OPERACIONES BASICAS


(pq)  p  q
(pq)  p  q
(pq)  p  q
(pq)  p  q
(pq)  p  q
(pq)  p ⊻q

PROPIEDAD 7.- IMPLICACION MATERIAL


pq  p  q

PROPIEDAD 8.- CONTRARECIPROCA


pq  q  p

PROPIEDAD 9.- LEY DE BICONDICIONAL


pq  (p  q)  (qp)

PROPIEDAD 10.- IDENTIDAD


pT  p
Donde:
pT  T T es una Tautológica
pF F F es una Antitautológica
pF  p

PROPIEDAD 11.- COMPLEMENTACION


pp  F
pp  T
Autor: Elio Romero Cuéllar Página
11
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
T  F

Ejemplo.- Usando las propiedades de las proposiciones demostrar


que las siguientes formulas son lógicamente equivalentes.
a) [(p  q)  q]  (p  q)  q
b) {[p  (p  q) ] }  F

Solución.- ¿?

Ejemplo.- Usando las propiedades de las proposiciones demostrar


la ley de absorción.
(p  q)  p  p

Solución.- ¿?

APLICACIÓN A LA TEORIA DE CIRCUITOS ELECTRICOS.-

Cada formula proposicional se puede representar por un circuito


eléctrico. Para ello primero estableceremos las componentes del
circuito.
Los interruptores: (o llaves)
Representan las proposiciones de las formulas proposicionales. La
proposición es verdadera cuando el interruptor esta cerrado y es
una proposición falsa cuando el interruptor esta abierto. Se
representa gráficamente de la siguiente forma:

Si (p) = F

Si (q) = V

La bombilla eléctrica.-
Representa el valor de verdad de la formula proposicional asociada
al circuito, es verdadera cuando la bombilla se enciende y es falsa
cuando la bombilla se apaga. Se representa de la siguiente manera:

Los cables eléctricos.-


Permiten las conexiones entre los interruptores, se representan por
líneas.

La fuente de energía.-
Da vida al circuito, y se representa por:

Autor: Elio Romero Cuéllar Página


12
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
Los circuitos se pueden conectar en serie o en paralelo y
combinaciones de ambos.

CIRCUITO EN SERIE.- (Conjunción)

p q pq
p q V V V
V F F
(pq)
F V F
F F F

Los interruptores conectados en serie representan la conjunción de


las proposiciones p, q

CIRCUITO EN PARALELO.- (Disyunción inclusiva)


p q pq
p V V V
V F V
q
(pq) F V V
F F F

Los interruptores conectados en paralelo representan la disyunción


inclusiva de las proposiciones p, q

Ejemplo.- Construir el circuito lógico de la disyunción exclusiva.


(p ⊻q)

Ejemplo.- Construir el circuito lógico mas simple asociado a la


siguiente formula proposicional.
q [(pq) q]

Solución.- ¿?

INFERENCIA LOGICA.-

El proceso de inferir una proposición t de las proposiciones dadas


S1, S2, S3,……, Sn, se llama razonamiento y se representa mediante
el esquema siguiente:
Autor: Elio Romero Cuéllar Página
13
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

s1 

s2 
s3 

.  premisas
. 

. 
s n 
 t  conclusión

Con esto queremos significar que como las proposiciones s 1, s2, s3,
….., sn son verdaderas, por lo tanto t es verdadera. A las
proposiciones s1, s2, s3, ….., sn se las denomina premisas del
razonamiento y a “t” conclusión.

Se dice que tal razonamiento es valido si y solamente si:


(s1 s2  s3  ….. sn)  t es una formula tautológica.

Ejemplo.- Sean las proposiciones


p: “José es responsable”
q: “José formó en la Gabriel”
s2 : p  q
s1 : p
q

Este razonamiento es valido si la conjunción de las premisas


condicional la conclusión es una formula tautológica.

p q pq (pq)p [(pq)p]q


V V V V V
V F F F V
F V V F V
F F V F V

Como podemos observar la formula [(pq)p]q es una


tautología.
Por lo tanto el razonamiento es valido.

TABLAS DE INFERENCIA.-

REGLA 1.- Modus ponendo ponens.- PP


Método que afirma el consecuente afirmando el antecedente
Autor: Elio Romero Cuéllar Página
14
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
pq
p
q
REGLA 2.- Modus Tollendo Tollens.- TT
Método que niega el antecedente negando el consecuente
p q
q
 p

REGLA 3.- Modus Tollendo Ponens.- TP


pq pq
q p
p q

REGLA 4.- Regla de simplificación.- S


pq pq
p q

REGLA 5.- Regla de Adjunción.- A


p p
q q
p  q qp

REGLA 6.- Ley del silogismo hipotético.- SH


pq
qr
p  r

REGLA 7.- Ley de adición.- LA


p q
p  q p  q

REGLA 8.- Ley del silogismo disyuntivo.- SD


pq pq
pr pr
qs qs
rs sr
Autor: Elio Romero Cuéllar Página
15
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

REGLA 9.- Ley de simplificación disyuntiva.- LSD


pp
p

REGLA 10.- Ley de doble negación.- DN


 (  p) p
p  (  p )

REGLA 11.- Leyes de Morgan.- LDM


 (p  q)  (p  q) p   q
 p   q  p   q  (p  q)
p   q
 (p  q)

REGLA 12.- Leyes conmutativas.- LC


pq pq
q p q  p

REGLA 13.- Leyes de las proposiciones bicondicionales.- LPB


pq
(p  q) (p  q)
qp
p  q q  p
p  q
pq
 (p  q)  (q  p)

REGLA 14.- Regla de las premisas.- P

Una premisa se puede introducir en cualquier punto de la


deducción.

Ejercicio.- Demostrar la ley del silogismo disyuntivo.

Solución.- ¿?

METODOS PARA DEDUCIR LA VALIDEZ DE


RAZONAMIENTOS.-
Vamos ha estudiar cuatro métodos o formas para deducir la validez
de un razonamiento. El método Directo, el método indirecto, el
método de la demostración condicional y el abreviado.
Autor: Elio Romero Cuéllar Página
16
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1

METODO DIRECTO.- Este método consiste en llegar a la


conclusión usando reglas de inferencia en forma sucesiva con las
premisas iniciales y las intermedias que se van determinando en el
proceso deductivo.

Ejemplo.- Esquematizar el razonamiento y deducir su validez


usando el método directo.

“Si Javier gano la carrera, entonces José fue el segundo o Abel fue
el tercero”
“Si José fue el segundo, entonces Javier no gano la carrera”
“Si Marcos fue el segundo, entonces Abel no fue el tercero”
“Javier ganó la carrera”
Por tanto: “Marcos no fue el segundo”

Solución.- ¿?

Ejemplo.- Esquematizar el razonamiento y demostrar su validez


usando el método directo.
“Si dos es mayor que uno, entonces tres es mayor que uno”
“Si tres es mayor que uno, entonces tres es mayor que cero”
“Dos es mayor que uno”
Por lo tanto: “Tres es mayor que cero”

Solución.- ¿?

Ejemplo.- Deducir la validez del siguiente razonamiento, usando el


método directo.
s1: h  j
s2: h
s3: j  g
g

Solución.- ¿?

METODO INDIRECTO.- Según este método para probar que:


(s1 s2  s3  ….. sn)  t es una formula tautológica se incluye la
negación de la conclusión (t) como premisa y la formula

proposicional (s1 s2  s3  ….. sn  t) debe ser una falsedad


para que el razonamiento sea válido.

Ejemplo.- Deducir la validez del siguiente razonamiento, usando el


método indirecto.
s1: p  (s  j)
Autor: Elio Romero Cuéllar Página
17
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
s2: s
s3: p
sj

Solución.- ¿?

METODO DE LA DEMOSTRACION CONDICIONAL.-

Para utilizar este método la conclusión del razonamiento debe ser


una condicional, y consiste en introducir el antecedente de la
conclusión como premisa (verdadera) y con ello se debe establecer
la verdad del consecuente de la conclusión, para que el
razonamiento sea válido.

Ejemplo.- Deducir la validez del siguiente razonamiento, usando el


método de la demostración condicional.
s1: p  (q  r)
s2: q p
s3: s  r
 p s

Solución.- ¿?

METODO ABREVIADO.-
Para deducir la validez de un razonamiento por su definición es
necesario construir la tabla de verdad de la formula proposicional
(s1 s2  s3  ….. sn)  t , este método nos libera de esta tarea.
El método consiste en lo siguiente:
 Se asigna valor de verdad verdadero a cada una de las
premisas y valor de verdad falso a la conclusión.
 Con estas condiciones, se determina el valor de verdad de
las proposiciones simples que componen el razonamiento.
Comenzando por aquella condición que asigna un valor de
verdad único a las proposiciones que la componen, y con
estos valores y las demás condiciones vamos determinando
los valores únicos de las proposiciones componentes del
razonamiento.

 Si alguna proposición toma dos valores de verdad diferentes


para que se cumplan las condiciones impuestas, entonces
el razonamiento es válido.
 Si todas las proposiciones toman un único valor de verdad
para el cumplimiento de las condiciones impuestas,
entonces el razonamiento no es válido.

Autor: Elio Romero Cuéllar Página


18
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
Ejemplo.- Deducir la validez del siguiente razonamiento, usando el
método abreviado.
s1: p  q
s2: p⊻r
s3: r  q
 p r

Solución.- ¿?

ESQUEMAS PROPOSICIONALES.- (E. P.)

ESQUEMAS PROPOSICIONALES EN UNA VARIABLE.-

DEFINICION.- Un E. P. en una variable es una expresión en la que


aparece una letra generalmente designada con x con la siguiente
propiedad “Hay por lo menos un nombre o constante que al
reemplazar la variable x la expresión se convierte en una
proposición”.

Ejemplo.-
1.- “x es el libertador de América”
2.- “x+3 = 9”
3.- “¿Que estudia x?”
4.- ”¡ Viva x! “

NOTACION.- Los E. P. en una variable se simbolizan de la siguiente


manera: F(x), G(x), H(x),… y se leen “F de x”, “G de x”, “H de x”, …

Ejemplo.-
1.- F(x): “x es el libertador de América”
2.- G(x): “x+3 = 9”
3.- H(x): “x estudia”
4.- P(y): “y-2 > 5”

VALOR DE UN E. P. EN UNA VARIABLE.-

DEFINICION.- El valor de un E. P. en la variable x, para x=a es la


expresión obtenida al reemplazar la variable x por la constante “a”.

El valor del E. P. F(x) para x=a se simboliza por F(a).

Autor: Elio Romero Cuéllar Página


19
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
Ejemplo.- Dado el E. P. G(x): “x+3 = 15”. Determine 3 valores para
G(x) de manera que el primer valor resulte una proposición
verdadera, el segundo valor una proposición falsa y el tercer una
expresión carente de sentido.

RAIZ O SOLUCION DE UN E. P. EN UNA VARIABLE.-


DEFINICION.- Se dice que “a” es una raíz o solución del E. P. en
una variable, si el valor que toma el E. P. para x=a es una
proposición verdadera.

Simbólicamente:
“a” es raíz de F(x) si y solo si [F(a)]= V

Ejemplo.- Determine la raíz de cada uno de los E. P. siguientes:


1 1
F(y): “   y  3 ”
3 2
H(z): “z tiene 15 provincias”
G(x): “x es un numero par”

Solución.- ¿?

CUANTIFICADORES.-
Existen dos tipos de cuantificadores, el universal y el existencial.

CUANTIFICADOR UNIVERSAL.-
Un cuantificador universal en la variable x es la expresión “para todo
x”, cuya notación simbólica es: “x,”.
La expresión x, F(x) se llama proposición universal y se lee:
“para todo x, F(x)”
“para cada x, F(x)”
“para cualquier x, F(x)”

Ejemplo.- Dado el E. P. F(x): “x2- 4 = 0”. Determine simbólica y


verbalmente una proposición universal y halle su valor de verdad.

Solución.- ¿?

CUANTIFICADOR EXISTENCIAL.-

El cuantificador existencial en la variable x es la expresión “existe x,


tal que”, (Con el significado que existe por lo menos un x dado que).
Su notación simbólica es: “x:”.
La expresión “x: F(x)”, se llama proposición existencial y se lee de
la siguiente forma:

Autor: Elio Romero Cuéllar Página


20
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
“Existe x talque F(x)”
“Existe algún x talque F(x)”
“Hay un x talque F(x)”

Ejemplo.- Dado el E. P. G(x) determinar una proposición existencial


y su valor de verdad. Si G(x): “x es número primo”.

Solución.- ¿?

NEGACION DE PROPOSICIONES CUANTIFICADAS.-

Negación de una proposición universal:


x, F(x) = x: F(x)

Negación de una proposición existencial:


x: F(x) = x, F(x)

Ejemplo.- Dada la proposición “Existen números enteros cuyo cubo


aumentado en uno es igual cubo del siguiente”.
a) Simbolizarla
b) Negarla simbólica y verbalmente.

Solución.- ¿?

Ejemplo.- Dada la proposición “Todo número entero elevado al


cuadrado aumentado en uno es igual cubo del siguiente”.
a) Simbolizarla
b) Negarla simbólica y verbalmente.

Solución.- ¿?

Ejercicio.- Negar simbólica y verbalmente cada una de las


siguientes proposiciones:
1.- “Ningún número natural es divisible por 3”
2.- “Nadie es político”
3.- “Nada es absolutamente malo”

Solución.- ¿?

ESQUEMAS PROPOSICIONALES EN DOS VARIABLES.-

Definición.- Un E. P. en dos variables es una expresión en la que


aparecen dos letras generalmente x, y de manera que haya por lo
menos un par de nombres o constantes que la reemplazar las
variables x, y convierta la expresión en una proposición.

Autor: Elio Romero Cuéllar Página


21
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
Ejemplo.-
1.- “x es provincia de y”
2.- “y es hermano de z”
3.- “xy 10”

Notación.- Los esquemas proposicionales en dos variables se


simbolizan del modo siguiente F(x,y); G(x,y); H(x,y); ……….
Se leen “F de x,y”; “G de x,y”; “H de x, y”; ………

Ejemplo.-
1.- F(x,y) = “x es libertador de y”
2.- G(y,z)= “y alumbra a z”
3.- H(x,y)= “xy 10”

VALOR DE UN E. P. EN DOS VARIABLES.-

El valor de un E. P. en dos variables F(x,y), para x=a es la expresión


obtenida al reemplazar la variable x, por la constante a cuyo
resultado no es una proposición si no un E. P. en la variable y.

Ejemplo.- Si P(x,y): “x+y = 7”, entonces el valor de P(x,y) para x=5


es P(5,y): “5+y = 7”

El valor de un E.P. en dos variables F(x,y) para x=a, y=b es la


expresión que se obtiene al sustituir la variable x por a y la variable
y por b.

El valor de F(x,y) para x=a, y=b se designa con F(a,b) y es una


proposicion.

Ejemplo.- Determinar dos valores de los esquemas proposicionales


siguientes de manera que el primer valor sea proposición verdadera
y el segundo una proposición falsa.

F(x,y): “x destruye y”
G(y,z): “y + 8 = z”

RAIZ DE UN ESQUEMA PROPOSICIONAL EN DOS


VARIABLES.-

Definición.- El par (a,b) es una raiz del E.P. F(x,y) si y solo si


[F(a,b)] = V

Ejemplos.- Determine la raíz de los siguientes E.P.


F(x,y): “x2+y=4”
G(y,z): “ y  3  z ”
Autor: Elio Romero Cuéllar Página
22
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
H(x,y): “x es una ciudad de y”

Solución.- ¿?

CUANTIFICACION SIMPLE.- Si se coloca delante de un E. P. en


dos variables uno de los cuantificadores en una de las dos variables
no se obtiene una proposicion si no un esquema proposicional en la
variable no cuantificada.
Ejemplo.- Si al E. P. F(x,y): “x+y = 6”
x: F(x,y) = x: “x+y = 6” (Es un E. P. en la variable y)
y, F(x,y) = y, “x+y = 6” (Es un E. P. en la variable x)

CUANTIFICACION DOBLE.- Si se coloca delante de un


E. P. en dos variables, dos cuantificadores iguales o distintos, se
obtiene una proposicion.

Ejemplo.- Sea el E.P. F(x,y), entonces cuantificando doblemente


podemos tener las siguientes proposiciones.
x, y: F(x,y)
x, y: F(x,y)
x, y: F(x,y)
x, y: F(x,y)

NEGACION DE ENUNCIADOS DOBLEMENTE


CUANTIFICADOS.-

~[x, y, F(x,y)] = x: y: ~F(x,y)


~[x, y: F(x,y)] = x: y, ~F(x,y)
~[x: y, F(x,y)] = x, y: ~F(x,y)
~[x: y: F(x,y)] = x, y, ~F(x,y)

RAZONAMIENTO DEDUCTIVO CON EL USO DE


CUANTIFICADORES.-

Para deducir la validez de este tipo de razonamientos se siguen los


siguientes pasos:
1.- Simbolizar las premisas (Esquematizar el razonamientos)
2.- Especificar los objetivos para eliminar cuantificadores.
3.- Aplicar las reglas de inferencia lógica.

Ejemplo.- Demostrar la validez del siguiente razonamiento:

Autor: Elio Romero Cuéllar Página


23
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
“Cada número entero es un número real”
“El dos es número entero”
Por lo tanto, “El dos es número real”

Solución.- ¿?

Ejemplo.- Demostrar que: “Juan es mortal”


“Todo hombre es mortal”
“Juan es hombre”

Solución.- ¿?

Ejemplo.-
Demostrar que: 2 > 0, siendo que: F(x,y): “x>y” G(x,y):”x+1>y”
s1: “x, y, F(x, y)  G(x, y)
s2: F(1,0)
s3: 2= 1+1

Solución.- ¿?

Ejemplo.-
Deducir la validez del siguiente razonamiento:
“Para todo x, si x es un numero par, entonces x+2 es numero par”
“Para cada x, si x es un numero par, entonces x no es un numero
impar”
“2 es numero par”
Por lo tanto: “ 2+2 no es un numero impar”

Solución.- ¿?

Ejemplo.-
Dar una demostración formal de cada uno de los siguientes
razonamientos:
a) “Todos los números positivos son mayores que cero”
“Cuatro es un numero positivo”

“Cuatro es igual a tres mas uno”


Por lo tanto: “Tres mas uno es mayor que cero”

b) ”Hay personas traicioneras”


“Hay felinos traicioneros”
Luego, “Algunas personas son felinos”

BIBLIOGRAFIA:
Autor: Elio Romero Cuéllar Página
24
ALGEBRA I “La matemática honra el espíritu humano” Leibnitz UNIDAD N° 1
1.- Armando Rojo : Algebra I : Editorial Ateneo
2.- Lipschutz Seymour : Matemáticas finitas : Editorial Mc. Graw Hill
3.- Lipschutz Seymour : Teoría de Conjuntos y temas afines : Editorial Mc. Graw Hill
4.- Suppes Patrik : Introducción a la lógica simbólica : Editorial
5.- Braulio Cáceres Ch. : Lógica y conjuntos : Editorial El País
6.- Bosch : Introducción al simbolismo lógico : Editorial Eudeba
7.- Sebastián Lazo : Matemática Moderna : Ed. Soipa Ltda.

Autor: Elio Romero Cuéllar Página


25

También podría gustarte