Académique Documents
Professionnel Documents
Culture Documents
LOGICA PROPOSICIONAL:
El ser humano en la vida diaria, se comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito,..., etc.) por medio de las denominadas frases u
oraciones, estas pueden tener diferentes significados pero siempre van a resumirse a las
formas de verdaderas o falsas, siendo este el precedente fundamental para el desarrollo del
pensamiento humano. Lo importante en el presente estudio es el hecho de que, a partir de
los enunciados (frases u oraciones) y de acuerdo a su significado es posible establecer una
proposicin y a partir de un conjunto de estas podemos llegar a una conclusin, siendo la
ciencia encargada del estudio de estas, la lgica.
VALOR DE
REPRESENTACIN PROPOSICIN VERDAD
SIMBLICA
p: El pentgono tiene cuatro lados F
r: Mario Vargas Llosa escribi conversacin en la catedral V
s: Ica es la regin ms afectada por el terremoto del 2 007 V
t: El parque de la identidad se encuentra ubicado en Chilca F
p: -4+3=7 F
r: 3,56 > 0,099 V
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 1
1.4. ENUNCIADOS ABIERTOS
Los enunciados que usan las palabras el, ella o las letras x, y, z, ... , etc. No
tienen la propiedad de ser verdaderos o falsos, es decir, no son proposiciones. Pero, si a
estas palabras o letras se les asigna un determinado objeto o valor, llamado constante, el
resultado es una proposicin. A este tipo de enunciados se les denomina enunciados
abiertos.
Ejemplos:
- Ella es estudiante de contabilidad
- x3>7
- 5x + 3y = 2
Si en el primer ejemplo reemplazamos ella por Meredditt, se tiene, Meredditt es
estudiante de contabilidad, que es una proposicin donde su valor de verdad es V F
dependiendo de que si Meredditt sea o no estudiante de contabilidad.
Si en el segundo ejemplo x toma un valor menor o igual que 10 la proposicin es
falsa y si x toma un valor mayor a 10 la proposicin es verdadera.
En el tercer ejemplo las variables o letras x , y pueden tomar infinitos valores para
que el valor de verdad de la ecuacin sea verdadera o falsa.
Vdeos en YouTube:
1) Enunciados y proposiciones: https://youtu.be/Rr01MZnRKPE
LENGUAJE
LENGUAJE COLOQUIAL NOMBRE DEL OPERADOR
SIMBLICO
no ~ La negacin
y La conjuncin
o La disyuncin inclusiva
Si ... entonces ... La condicional
... s y slo s ... La bicondicional
O bien ... o bien La disyuncin exclusiva
Vdeos en YouTube:
1) Conectivos u operadores lgicos: https://youtu.be/R3J0FekzvQI
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 2
Vdeos en YouTube:
1) Proposiciones simples y compuestas: https://youtu.be/JTYb74U38u8
4.1. LA NEGACIN
La negacin de una proposicin p se escribe ~ p p ~p
y se lee no p no es cierto que p es falso V F
que p y es otra proposicin que niega que se F V
cumpla p.
Ejemplo:
Sea la proposicin: p: 4 x 5 = 20 (V)
Su negacin es: ~ p: no es cierto que 4 x 5 = 20 (F)
o se puede escribir: ~ p: 4 x 5 20 (F)
Simblicamente: V( ~ p) = F
4.2. LA CONJUNCIN
Dadas las proposiciones p, q, se simboliza p q pq
p q y se lee p y q, slo es verdadero V V V
cuando ambos son verdaderos, en los V F F
dems casos siempre es falso. F V F
F F F
Ejemplo:
Sean las proposiciones:
p: 7 es un nmero par (F)
q: 7 es menor que 5 (F)
p q: 7 es un nmero par y 7 es menor que 5 (F)
Simblicamente: V(p q) = F
4.4. LA CONDICIONAL
Dadas dos proposiciones p, q se escribe p q pq
p q y se lee si p entonces q p implica q V V V
p es suficiente para que q, etc., slo es falso V F F
cuando el primero es verdadero y el F V V
segundo es falso, en los dems casos F F V
siempre es verdadero.
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 3
( p = antecedente y q = consecuente)
Ejemplo:
p q : Si gano las elecciones entonces bajar el precio de los combustibles
Ejemplo:
Sean las proposiciones:
p: 3 es un nmero primo (V)
q: 31 es un nmero par (F)
p q : si 3 es un nmero primo entonces 31 es un nmero par (F)
Simblicamente: V(p q) = F
NOTA: En toda proposicin las palabras: porque, puesto que, ya que, siempre
que, cuando, si, cada vez que, dado que, son conectivos que representan a la
condicional. Se caracterizan porque despus de cada uno de estos trminos esta el
antecedente
Ejemplo:
No jugu porque llegu tarde
p: no jugu (consecuente)
q: llegu tarde (antecedente)
Simblicamente: q p
4.5. LA BICONDICIONAL
Dadas dos proposiciones p, q se escribe p q p q
p q y se lee p si y solo si q, es verdadero V V V
cuando los valores de verdad son iguales y es V F F
falso cuando los dos valores de verdad son F V F
diferentes. F F V
Ejemplo:
Sean las proposiciones:
p: 3 < 7 (V)
q: 3 + 5 < 7 + 5 (V)
p q: 3 < 7 si y solamente si 3 + 5 < 7 + 5 (V)
Simblicamente: V(p q) = V
Vdeos en YouTube:
1) Operaciones con proposiciones: https://youtu.be/dw5oCa6Ldn4
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 4
Vdeos de lgica en You Tube:
1) Expresar proposiciones lgicas, del lenguaje escrito al lenguaje simblico.
https://youtu.be/CaGmeOSA-9U
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 5
OBSERVACIN
p q
~ (p q) (~p) (~q)
V V
F V V F F F
V F
V F V F V V
F V
V F V V V F
F F
V F V V V V
PASOS 2 1 6 3 5 4
EQUIVALENCIA LGICA
Se llama equivalencia lgica o simplemente equivalencia a toda bicondicional p q
que sea tautologa.
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 6
Ejemplo:
Verifica si la siguiente bicondicional es una equivalencia lgica:
p (p q) p
p q p (p q)
p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F
Como se verifica que el resultado de la
bicondicional, es tautologa, afirmamos que es una equivalencia lgica.
Entonces, podemos afirmar que: p (p q) p
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 7
Simplifica la proposicin (p q) (p q) aplicando las leyes del lgebra
proposicional.
(p q) (p q) Ley condicional
(p q) (p q) Ley de doble negacin
p ( q q) Ley distributiva
pV Ley del tercio excluido
p Formas normales
https://youtu.be/sJf1Ff9pR7c
https://youtu.be/DiNvLXWinNc
Revisin C -F. de la Matemtica-4 Ao- Prof. de Matemtica ISFD N 168 Prof. Vzquez, Mario Daro Ao 2017 8