Escolar Documentos
Profissional Documentos
Cultura Documentos
Matemtica Bsica
LGICA PROPOSICIONAL
2.1 Elementos de la Lgica Simblica
a. Enunciado: Se denomina enunciado a toda frase u oracin. Algunos enunciados
indican expresiones imperativas, exclamativas, interrogativas, otros en cambio,
pueden ser verdaderos o falsos.
Ejemplos: Son enunciados:
Qu hora es?
Arriba Per!
2+5=7
La cordillera del Cndor es peruano
5
Los enunciados que matemticamente tienen significado son aquellos que pueden ser
considerados como verdaderos o falsos (proposiciones); algunos enunciados
no son
posibles afirmar si es verdadero o falso, como por ejemplo, las interrogantes, las
exclamaciones o las preguntas.
b. Enunciado Abierto: Son aquellas oraciones que contienen variables sin especificar
un valor determinado; no tienen la propiedad de verdadero o falso.
Ejemplos: Son enunciados abiertos:
X+3=8
x2 + y2 = 9
Z+4
l tiene 25 aos
Los enunciados que usan las palabras l, ella son enunciados abiertos.
Matemtica Bsica
UNAB
Matemtica Bsica
A los enunciados abiertos que contienen variables algebraicas se les denomina funcin
proposicional, que tienen la propiedad de convertirse en proposiciones, al sustituirse
la
ii.
Y=
campo o recorrido de x es x
Matemtica Bsica
UNAB
Matemtica Bsica
Ejemplos:
p:
.Verdadera (v)
q: 15 3 = 12
.Verdadera (v)
.Falso (F)
t: 7 es nmero par
Falso (F)
Nota: Se llaman valores veritativos a valores de verdad de una proposicin a sus dos
valores posibles: verdadero o falso. Estos posibles valores se pueden esquematizar en una
forma tabla de verdad como sigue:
Ejemplo:
p
V
F
Matemtica Bsica
UNAB
Matemtica Bsica
O.B.S: Ejemplos:
Algunos han nacido virtuosos, otros han conseguido la virtud y a otros les ha sido
impuesta.
Paola tomo leche con limn y muri
Andrs y Karla son hermanos
b. Disyuncin dbil (inclusiva o incluyente) ().- Es la operacin que vincula
proposiciones atmicos o moleculares, por medio de la conectiva o. Indica dentro
de la proposicin que la ocurrencia de una de ellas no descarta la ocurrencia de la
otra (cuando es posible que sus miembros componentes sean aceptados a la vez).
Ejemplos:
i.
Matemtica Bsica
UNAB
d. Condicionales (
Matemtica Bsica
Condicional directa (
- Solo p si q
- Si p entonces q
- p de ah se sigue q
- p por consiguiente q
- p as pues q
- p luego q
- p se deduce q
- p de manera que q
- Como p, q
- p de ah que q
- p de modo que q
- p por lo tanto q
- Solo p si q
- p en consecuencia q
- p se concluye q
- Cuando p, q
- Suponiendo que p, q
Ejemplos:
i. Si estudias entonces apruebas
ii. Si te vas entonces estar triste
Condicional indirecta (
p cada vez q
- p suficiente que q
p dado que q
- p a condicin de que q
p ya que q
- p en vista de que q
p puesto que q
- p siempre que q
p porque q
- p supone q
p si q
- p pues q
p es una condicin necesaria de q
Matemtica Bsica
UNAB
Matemtica Bsica
Ejemplos:
i. Ir de vacaciones siempre que acabe con el trabajo.
ii. Eres cantante si tienes talento.
e. Bicondicional ( ).- Esta representado por el s y solo si, en el lenguaje ordinario
se pueden encontrar otras expresiones equivalentes como:
-
Ejemplos:
i. Alfonso ingresara si y solo si estudia.
ii. Todo nmero es par si y solo es divisible por 2
Matemtica Bsica
UNAB
Matemtica Bsica
proposicionales.-
Son
letras
minsculas
que
representan
las
.o.
Operadores
O..o.
Didicos
Si.entonces
si y solo s..
Operador
No es cierto que
Mondico
no
Ejemplo:
i.
Matemtica Bsica
UNAB
Matemtica Bsica
qyr
Simbolizando: p
ii.
r)
p entonces q y r
Simbolizando:
r)
Resumen General
Proposiciones
Formulas
Lectura
compuestas
lgicas
Conjuntiva
pq
pyq
Disyuntiva dbil
pq
poq
Disyuntiva fuerte
pq
Opoq
Condicional
pq
Si p entonces q
Bicondicional
pq
p si y solo si q
Negacin libre
(pq)
No es cierto que
pyq
Matemtica Bsica
UNAB
Negacin ligada
Matemtica Bsica
No p
Barras
Llaves { }
Corchetes [ ]
Parntesis ( )
a. Jerarquizacin.-
Matemtica Bsica
UNAB
Matemtica Bsica
i. Yolanda
.s
jerarqua 1 jerarqua 2
mayor jerarqua
Jerarquizando la simbolizacin = [ ( p q) r ] s
Conectivo principal
2.7. Ejemplos
Simbolizar las siguientes proposiciones:
i.
ii.
iii.
iv.
v.
vi.
vii.
viii.
ix.
x.
Matemtica Bsica
UNAB
Matemtica Bsica
Matemtica Bsica