Escolar Documentos
Profissional Documentos
Cultura Documentos
LGICA PROPOSICIONAL
INTRODUCCIN
Hay tres clases de lenguaje
mediante los cuales podemos
comunicarnos:
El
lenguaje
oral,
que
se
manifiesta
verbalmente;
el
lenguaje escrito
que es una
traduccin del lenguaje oral
mediante frases impresas; y el
lenguaje simblico que es una
traduccin de ,los anteriores,
mediante smbolos apropiados
que siguen reglas bien definidas.
Tanto el lenguaje oral y el
lenguaje escrito
sufren el
defecto de que, muchas veces
la idea no se expresa en forma
precisa-, dando lugar a las
ambigedades.
El lenguaje simblico utilizado en
las matemticas es por el
contrario preciso y no da lugar a
falsas interpretaciones.
En esta unidad los estudiantes
evaluaran el manejo del lenguaje
simblico.
7x 5 = 2
Ejemplo:
l es un escritor peruano
PROPOSICIN LGICA
Expresin u oracin que pueden
calificarse a bien verdadero (V) o
falsa (F) sin ambigedades; y se
denotan con letras minsculas:
p, q, r, s, etc.
2x -3 < 7
Ejemplo:
p: 5 +4 = 8 (
un
nmero
CLASES DE PROPOSICIONES
1) Simples o Atmicas
No tienen conjunciones
gramaticales o el adverbio
no.
Ejemplo:
1) La matemtica es una
ciencia
2) La tierra es ms grande que
la luna
2) Compuestas o Moleculares
Contienen
conjunciones
gramaticales como y, o, . .
. si, entonces, s y solo
s, no, etc.
Ejemplo:
Farfn estudia y practica
ftbol
No es cierto que Mireya se
desaprob en matemticas.
El sol brilla y hace frio
CONECTIVOS LGICOS:
Son smbolos que se usan
para relacionar proposiciones;
para
formar
proposiciones
compuestas partiendo de las
proposiciones simples.
SMBOLO
NOMBRE
LENGUAJE COMN
Negacin
Conjuncin
Disyuncin
inclusiva
Disyuncin
exclusiva
o, o... o...
Condicional
si... entonces...
si... dado que...
... siempre que...
Bicondiciona
l
s y solo s
ESQUEMAS MOLECULARES
Es una frmula lgica que
resulta de la combinacin de las
variables
proposicionales,
constantes lgicas y signos de
agrupacin; siempre y cuando
sea una frmula bien formada.
Ejemplo:
(p q) (p ~q)
Un
esquema
molecular
posee un correspondiente
valor de verdad.
El nmero de resultados en
general
proviene de las
combinaciones
de los
valores de verdad de cada
variable
proposicional,
a
travs de una tabla de
verdad, si estas fuesen n
existen 2n combinaciones,
donde 2 es una constante.
Ejemplo:
Para 1 proposicin
21= 2 valores
P
V
F
Para 2 proposiciones.
22= 4 valores
p q
V V
V F
F V
F F
Para 3 proposiciones.
23= 8 valores
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
FORMALIZACIN DE
PRPOSICIONES
Toda proposicin compuesta o
todo argumento ya sea natural
o cientfico se puede formalizar,
para ello hay que distinguir las
proposiciones simples que la
forman y los trminos de enlace
que las une; a las proposiciones
simples se las remplaza por una
letra
y al trmino de enlace
llamado conector lgico con un
smbolo convencional.
Ejemplo:
El sol es una estrella y la tierra
es un planeta
Formalizacin: p
1. CONJUNCIN
Une dos proposiciones mediante
el trmino y
Ejemplo:
q
V
F
V
F
q
V
F
F
F
q
V
F
V
F
q
F
V
V
F
2. DISYUNCIN INCLUSIVA ()
Une dos proposiciones mediante
el trmino o
Ejemplo:
Juan ir al cine o al estadio
Otras formas gramaticales a la
disyuncin exclusiva sern:
p: Juan ir al cine
p no equivale a
En smbolos p q
q: Juan ir al
q
estadio
p no se define
La Disyuncin Inclusiva es
como q
falsa nicamente cuando
p es diferente a
ambos componentes son
oo..<> q
falsos siendo verdadera
Ya bien p ya bien
cuando al menos uno de las
q
componentes es verdadero.
Ya sea p ya sea
q
p
q p q
p excluye a q
V
V
V
V
F
V
F
V
V
F
F
F
4. CONDICIONAL ()
Es la combinacin de dos
proposiciones mediante: si...
entonces
Ejemplo:
Si trabajas tendrs dinero
P: Trabajas
q: Tendrs dinero
En smbolos: p q
p
V
V
F
F
q
V
F
V
F
p q
V
F
V
V
P: Sers profesional
q: Estudias
En smbolos p q
P
V
V
F
F
q
V
F
V
F
q
V
F
F
V
La bicondicional es verdadera
cuando
ambos
componentes
tienen igual valor de verdad y es
falso cuando sus componentes
son de diferentes valores.
6. NEGACIN (~)
Cambia el valor de verdad de
la proposicin
Ejemplo:
No es cierto que Juan sea
ingeniero y mdico
P: Juan es Ingeniero
q: Juan es mdico
En smbolos ~(p q)
p
V
F
~p
F
V
SIMBOLOS AUXILIARES
Son los que se utiliza para
separar
las
propiedades
moleculares de acuerdo a la
jerarqua que le da el sentido
lgico.
1. PARNTESIS (
) Para
separar
proposiciones
bsicas
(p q) ~q
2. CORCHETE [ ]: Para
separar formas lgicas
menores
1. TAUTOLOGA
Cuando todos los valores del
operador principal son
verdaderos.
~{(q t) [q (p t)]}
Ejemplo:
De acuerdo a tu entendimiento construye
molecularmente la siguiente proposicin
compuesta.
Es falso que Pedro no hizo los ejercicios de
matemtica entonces no aprobar el rea de
matemtica, adems estudiar ingeniera
Sea:
p:
q: .
r:...
Luego el esquema molecular es:
-------------------------------------------------------
EVALUACIN DE ESQUEMAS
MOLECULARES
q [( ~p
q)
~q]
~q
2. CONTRADICCIN
Cuando los valores de su
operador principal son todos
falsos.
p
V
V
F
F
q [(p
V
F
V
F
q)
q]
~q
3. CONTINGENCIA
Cuando los valores de su
operador tiene por lo menos una
verdad y una falsedad.
Ejemplo: Evaluar
esquema:
p
V
V
F
F
el
siguiente
(p~q) (q p)
q (p q)
V
F
V
F
(p
EQUIVALENCIA LGICA
(p
~q)
(q
MATRZ PRINCIPAL
p)
Compruebe
si
el
esquema molecular
equivalencia lgica:
TAUTOLIGA
CONTRADICCIN Y
CONTINGENCIA
q)
siguiente
es una
(p ~ q) ~ (~ p q)
PROPOSICIONES
LGICAMENTE QUIVALENTES
Son aquellas que poseen tablas
de verdad equivalentes: p q
Ejemplo:
Comprobar si las proposiciones
moleculares son equivalentes.
A: (p q)
Trabaja en tu cuaderno:
Dar diferentes valores a x y
luego diga cul es su valor de
verdad de cada una de las
funciones proposicionales.
CUANTIFICADORES
UNIVERSAL Y EXISTENCIAL
1. CUANTIFICADOR
UNIVERSAL
B: ~q~p
FUNCIN PROPOSICIONAL
Es
aquel enunciado
que
contiene una variable
y que
tiene la propiedad de convertirse
en verdadero o falso para cierto
valor
de
la
variable,
las
funciones
proposicionales
se
pueden representar por P(x),
Ahora
le
agregamos
cuantificador universal
; remplazando:
el
(Proposicin lgica)
Complete!
Trabaja en tu cuaderno:
Analiza el valor veritativo de la
proposicin lgica anterior.
2. CUANTIFICADOR
EXISTENCIAL
Si
a
una
funcin
proposicional le anteponemos
la expresin EXISTE UN x
TAL
QUE
estaremos
indicando
el
sentido
existencial (que existe) de
dicha funcin.
x:P(x) x/P(x)
(x)[P(x)]
(Proposicin lgica)
Para verificar si es una
proposicin lgica nos damos
cuenta cuando x =15, se
cumple la desigualdad, hemos
encontrado por lo menos un
x que verifica a P(x), por lo
tanto, es una proposicin
lgica,
cuyo
valor
es
verdadero.
NEGACIN DE
PROPOSICIONES
CUANTIFICADOS
Su negacin se denota:
[
Ejemplo:
1.
Como la proposicin es falsa su
negacin es verdadera.
[
CIRCUITOS LGICOS
Son arreglos de interruptores
conocidos
como
compuertas
lgicas, donde cada compuerta
lgica tiene su tabla de verdad.
El valor de verdad
de una
proposicin pueda asociarse con
interruptores que controlan el
paso de la corriente. As una
proposicin es verdadera si el
interruptor est cerrado (V o 1)
y la corriente pasar. Si la
proposicin
es
falsa
el
interruptor estar abierto y la
corriente no pasar (F o 0).
A los conmutadores de un
circuito se les designa con las
letras: p, q, r, s,
con la
p q.
proposicin
conjuncin
TALLER GUIADA
1. Cules de las siguientes
proposiciones compuestas
son tautolgicas?
I. (p ~q) (~p q)
II. (q ~p) (p ~q)
III. (~q p) (q ~ p)
2. De
las
proposiciones
Circuitos en paralelo
Se, dice que dos conmutadores
estn conectados en paralelo, si
estn dispuestos de tal manera
que basta uno est cerrado
para que la corriente circule. Un
circuito con dos conmutadores p
y q conectados en paralelo se
relaciona con la proposicin conjuncin "p v q".
I.
II.
III.
IV.
siguientes
(p q) (p ~q)
(p q) (~p q)
[(p ~q) q] ~p
[(p q) q)] [(q p) q]
Son contingencias:
3. Si r s es falso y rs
es falso. Hallar el valor de
verdad
r
y
s,
respectivamente.
4. Si w t es verdadero y
v t es falso, hallar el
valor de verdad de t, v y
w, respectivamente.
5. Si
la
compuesta:
proposicin
(p ~q) (r ~s)
Circuitos Mixtos
Es la combinacin de circuitos
en serie y paralelo.
APLICO LO APRENDIDO
1. Si la proposicin:
(~p ~r) (r q)
Es
falsa
y
las
proposiciones s y t tienen
valor
de
verdad
desconocido. Cul de las
siguientes proposiciones
son verdaderas?
I. (p s) q
II. (s t) r
III. (t q) p
A) Solo II
B) Solo III
C) I y II
D) II y III
E) Ninguna
2. Si
la
proposicin
compuesta:
(q s) (s t)
Es verdadera. Cules de
las
siguientes
afirmaciones
son
correctas?
I. q t es verdadera.
II. s t puede ser
verdadera o falsa.
III. q es falsa
A) Solo I
B) I y II
C) II y III
D) I y II
E) Ninguna
3. La proposicin compuesta:
(p q) (q r)
Es falsa, luego:
I. p q no es falsa
II. q r no es verdadera
III. q q es falsa
Son ciertas:
A) Solo I
C) I y II
E) Todas
10
B) Solo II
D) I y III
B) Solo III
D) I y III
5. Si
la
proposicin
compuesta:
~(s r) ~(r t)
Es falsa Cules de las
siguientes proposiciones
son falsas?
I. (s p) (r q)
II. (q s) (p t)
III. (r s) [(r p) (s t)]
A) Solo I
B) Solo II
C) II y III
D) Todas
E) Ninguna
6. Sabiendo
que
la
proposicin
r
es
verdadera En cul de los
siguientes
casos
es
suficiente
dicha
informacin
para
determinar el valor de
verdad
de
las
proposiciones?
I. ~r (p q)
II. (p r) q
III. (p r) (r q)
A) Solo I
B) Solo II
C) Solo III D) I y II
E) II y III
7. Si p es verdadera En cul
A) Solo I
C) Solo III
E) II y III
B) Solo II
D) I y II
dicha
informacin
A) Solo I
B) Solo III
10.
Si:
{~[(p ~s) ~(r * s)] (p r)}
s
s
rs
s
C) II y III D) I y III
E) Ninguna
8. Para determinar el valor de
verdad de la proposicin:
A) I y II
B) III y IV
C) II y IV
D) I, I, y IV
E) I, III y IV
(p q) (r s)
Es suficiente para saber que:
A) r es falsa
B) s es verdadera
C) r s es falsa
D) q r es verdadera
p q es verdadera
9. Sabiendo
que
la
proposicin p es falsa
En
cules
de
los
siguientes
casos
es
suficiente
dicha
informacin
para
determinar el valor de
verdad
de
las
proposiciones?
I. [(p q) r] [(q r) p]
II. (p ~p) (p p)
III. (p q) (r p)
11
los
siguientes
moleculares.
esquemas
(b)
(e)
(c)
Cules
son
equivalentes?
lgicamente
16. Cul
de
las
siguientes
proposiciones es falsa si:
12