Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Proposiciones Lógicas

Descargar como docx, pdf o txt
Descargar como docx, pdf o txt
Está en la página 1de 6

¿Te agradaría convivir en un espacio sucio, desordenado y contaminado?

Ejemplo:
p: Juan es profesor o Manuel es arquitecto
Donde podemos observar que la proposición p, se divide en dos
PROPOSICIONES LÓGICAS proposiciones simples:
r: Juan es profesor y
Enunciado.- Es toda frase u oración que se utiliza en nuestro lenguaje s : Manuel es arquitecto
Es decir , p : r o s
PROPOSICIÓN.-Es todo enunciado, respecto de la cual se puede decir si es
verdadera (V) o falsa (F) CONECTIVOS LÓGICOS.- Enlazan proposiciones simples
Notación
Por lo general, a las proposiciones se las representa por las letras del
alfabeto desde la letra p, es decir, p, q, r, s, t,... etc. A partir de proporciones simples es posible generar otras, simples o
Así, por ejemplo, podemos citar las siguientes proposiciones y su valor de compuestas. Es decir que se puede operar con proposiciones, y para ello se
verdad: utilizan ciertos símbolos llamados conectivos lógicos
Proposición
Símbolo Operación asociada Significado
q: Rímac es el distrito de la provincia de Lima (V)
r: El número 15 es divisible por 3 (V)
~
s: El perro es un ave. (F)
no p o no es cierto que p
t: Todos los triángulos tienen cuatro lados (F)
Negación
u: ¿Qué día es hoy? No es una proposición
 pyq
p: ¡Viva el Perú 1!
Conjunción o producto lógico p o q (en sentido
EXPRESIONES NO PROPOSICIONALES incluyente)
 Disyunción o suma lógica
a) ¡Levántate temprano!
Implicación
 p implica q, o si p
b) ¿Has entendido lo que es una proposición? entonces q
Doble implicación
c) ¡Estudia esta lección!  p si y sólo si q
No son proposiciones por no
poder ser evaluadas como Diferencia simétrica
d) ¿Cuál es tu nombre l?  p o q (en sentido
verdaderas ni falsas. Las
exclamaciones, órdenes ni excluyente)
e) Prohibido pasar las preguntas no son
proposiciones. OPERACIONES PROPOSICIONALES
f) Borra el pizarrón
Definiremos las operaciones entre proposiciones en el sentido siguiente:
dadas dos o más proposiciones, de las que se conoce los valores veritativos,
ENUNCIADOS ABIERTOS.- son aquellos enunciados que constan de se trata de caracterizar la proposición resultante a través de su valor de
variables. Se convierte en una proposición cuando se le asigna un valor verdad. A tal efecto, estudiaremos a continuación el uso y significado de los
específico a la variable". Ejemplos: diferentes conectivos lógicos mencionados arriba:
1.-NEGACIÓN
a) p: x es la capital del Perú Dada una proposición p, se denomina la negación de p a otra proposición
denotada por ~p (se lee "no p") que le asigna el valor veritativo opuesto al
Sí x: Lima, Quito… de p. Por ejemplo:
Para p (Lima): Lima es la capital del Perú es verdadero (V)
Para p (Quito): Quito es la capital del Perú es falso (F) P : Diego estudia matemática
b) q: y + 4 = 11 , y es número natural ~p : Diego no estudia matemática
Y: 0; 1; 2; 3; 4;…..
Para q (1): 1+ 4 = 11 , es falso (F) Por lo que nos resulta sencillo construir su tabla de verdad:
q (7): 8+4 = 11 , es verdadero (V)
p ~p
V F
CLASE DE PROPOSICIONES F V

A) Proposición Simple o Atómicas.- Son aquellas proposiciones que constan Se trata de una operación unitaria, pues a partir de una proposición se
de un solo enunciado proposicional . obtiene otra, que es su negación.
Por ejemplo, sea la proposición
p: 3 + 6 = 9 Ejemplo.

B) Proposición Compuesta o molecular.- Son aquellas proposiciones que La negación de


constan de dos o más proposiciones simples. p: todos los alumnos estudian matemática es
Ejemplo: ~p: no todos los alumnos estudian matemática o bien: ~p: no es
cierto que todos los alumnos estudian matemática
r: Pitágoras era griego y era geómetra ~p: hay alumnos que no estudian matemática
p q
Encontramos dos enunciados. El primero (p) nos afirma que Pitágoras era
griego y el segundo (q) que Pitágoras era geómetra.
2.-CONJUNCIÓN
Supongamos la implicación

Dadas dos proposiciones p y q, se denomina conjunción de estas


i)Si apruebo, ENTONCES te presto el libro
proposiciones a la proposición p  q (se lee "p y q")

Ejemplo. p  q

Sea la declaración La implicación está compuesta de las proposiciones

i) 5 es un número impar y 6 es un número par p: apruebo


 q: te presto el libro
p q
vemos que está compuesta de dos proposiciones a las que llamaremos p y Nos interesa conocer la verdad o falsedad de la implicación i), en relación a
q, que son la verdad o falsedad de las proposiciones p y q. El enunciado puede
pensarse como un compromiso, condicionado por p, y podemos asociar su
p: 5 es un número impar verdad al cumplimiento del compromiso. Es evidente que si p es F, es decir
q: 6 es un número par si no apruebo el examen, quedo liberado del compromiso y preste o no el
apunte la implicación es verdadera.
y por ser ambas verdaderas, la conjunción de ellas (que no es sino la Si p es verdadera, es decir si apruebo el examen, y no presto el libro, el
declaración i) es verdadera. compromiso no se cumple y la proposición i) es falsa. Si p y q son
verdaderas, entonces la proposición i) es verdadera pues el compromiso se
Tabla de verdad cumple.

p q p  q Tabla de verdad
V V V p q p  q
V F F
F V F V V V
F F F V F F
F V V
F F V
La tabla que define esta operación, establece que la conjunción es La tabla nos muestra que la implicación sólo es falsa si el antecedente es
verdadera sólo si lo son las dos proposiciones componentes. En todo otro verdadero y el consecuente es falso.
caso, es falsa.
Ejemplo 2: Si p: 3 es mayor que 7
q: Todo número par es múltiplo de dos 5.-DOBLE IMPLICACIÓN O BICONDICIONAL
Entonces:
p  q : 3 es mayor que 7 y todo número par es múltiplo de dos
Por ser ambas verdaderas la conjunción de ellas es verdadera Doble implicación de las proposiciones p y q es la proposición p  q (se lee
"p si y sólo si q")

3.-DISYUNCIÓN Ejemplo 1:
p : Karina ingresa a la universidad
q : Karina estudia mucho
Dadas dos proposiciones p yq, la disyunción de las proposiciones p y q es la Entonces:
proposición p  q , se lee ” p o q “ p  q : Karina ingresa a la universidad si y sólo si estudia mucho.
Ejemplo 1. Ejemplo 2:
Tiro las cosas viejas o que no me sirven Sea i) a = b si y sólo si a² = b²

El sentido de la disyunción compuesta por p y q (p: tiro las cosas viejas, q: El enunciado está compuesto por las proposiciones:
tiro las cosas que no me sirven) es incluyente, pues si tiro algo viejo, y que
además no me sirve, la disyunción es V. p: a = b
La disyunción o es utilizada en sentido excluyente, ya que la verdad de la q: a² = b²
disyunción se da en el caso de que al menos una de las proposiciones sea
verdadera Esta doble implicación es falsa si p es F y q es V. En los demás casos es V.
Tabla de verdad
p q p  q Tabla de verdad
V V V p q p  q
V F V V V V
F V V V F F
F F F F V F
F F V La doble implicación o
bicondicional sólo es verdadera si
Ejemplo2 ambas proposiciones tienen el mismo valor de verdad.
Si p : Hace frió en Invierno , y
q : Napoleón invadió Lima La doble implicación puede definirse como la conjunción de una implicación
p  q : Hace frio en Invierno o Napoleón invadió y su recíproca. De este modo, la tabla de valores de verdad de p  q puede
Lima obtenerse mediante la tabla de (p  q)  (q  p), como vemos:
Por ser al menos una de las proposiciones verdadera la conjunción es
verdadera

4.-IMPLICACIÓN O CONDICIONAL

Implicación de las proposiciones p y q es la proposición p  q (si p


entonces q). La proposición p se llama antecedente, y la proposición q se
llama consecuente de la implicación o condicional.
Ejemplo.
Ejemplo.
p q p  q qp (p  q)  (q  p)
Si analizamos la proposición t: p  ~p realizando su tabla de verdad:

V V V V V
V F F V F
p ~p p  ~p
F V V F F V F V
F F V V V F V V

Vemos que para cualquier combinación de las proposiciones p y su negación


~p, la proposición t: p  ~p es siempre verdadera. Entonces, la proposición
t es una tautología.
Diferencia Simétrica
Ejemplo.Analizemos ahora la fórmula lógica
{(pq)p}q
Diferencia simétrica o disyunción en sentido excluyente de las proposiciones
p y q es la proposición p  q (se lee "p o q en sentido excluyente") cuya tabla
de valores de verdad es:
En este caso comprobamos también que independientemente de la
combinación de valores de verdad de las proposiciones p y q, el resultado
p q p  q
de la fórmula lógica es siempre V. Decimos, aquí también, que esta fórmula
V V F es una tautología o ley lógica.
V F V
F V V
F F F p q pq (p  ~q) ~(p  ~q) p  q  ~(p  ~q)
V V V F V V
La verdad de p  q está caracterizada por la verdad de una y sólo una de las V F F V F V
proposiciones componentes. F V V F V V
F F V F V V
Ejemplo.

Sea i) o vamos a Lima o vamos a Ica Contradicción


Si al estudiar una fórmula lógica, a diferencia de los ejemplos anteriores
queda claro que sólo podremos ir a uno de los dos lugares, y sólo a uno. Es resulta que para cualquier valor de verdad de las proposiciones
decir que el enunciado i) es verdadero sólo si vamos a una de las dos intervinientes el resultado de dicha fórmula es siempre falso, decimos que
ciudades. En caso de ir a ambas, o de no ir a ninguna, el enunciado es Falso. dicha fórmula es una Contradicción.

PROPOSICIONES LÓGICAMENTE EQUIVALENTES Ejemplo


Analizemos la fórmula lógica p  ~p
Dos proposiciones p y q se llaman equivalentes si sus tablas de verdad son
idénticas. De ser así se denota: p  q p ~p p  ~p
V F F
Ejemplo.
F V F
Sea p: p  q, recordamos su tabla de
verdad Contingencia
Encontramos que la fórmula es siempre falsa, es entonces una
Contradicción.
p q p  q
Si una proposición no es una tautología ni una contradicción (es decir que
V V V
contiene al menos un valor V y otro F) es una contingencia.
V F F
F V V
F F V

Ahora bien, si analizamos la LEYES DEL ÁLGEBRA PROPOSICIONAL


proposición q: ~p  q, su tabla de verdad resulta:
Como bien dijimos arriba, aquellas fórmulas lógicas que resultan ser
siempre verdaderas no importa la combinación de los valores veritativos de
p q ~p  q sus componentes, son tautologías o leyes lógicas. En el cálculo
V V V proposicional existen algunas tautologías especialmente útiles cuya
V F F demostración se reduce a la confección de su correspondiente tabla de
F V V verdad, a saber:
F F V
Involución
Como vemos, luego de realizar las tablas de valor veritativo encontramos
~(~p)  p
que ambas proposiciones tienen el mismo resultado final. Con esto,
(se lee "no, no p, equivale a p")
decimos que ambas proposiciones son logicamente equivalentes, y en este
caso particular lo simbolizamos:
Idempotencia
(p  ~p)  p
(p  q)  (~p  q)
(p  ~p)  p

Conmutatividad
TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Al conjunto de proposiciones, conectivos lógicos y símbolos de a) de la disyunción: p  q  q  p


agrupación lo denominamos fórmula lógica. Por ejemplo: b) de la conjunción: p  q  q  p

~{ (p  q)  (s  t) } Asociatividad
Tautología
Si al evaluar una fórmula lógica, resulta que todos los valores de verdad a) de la disyunción: (p  q)  r  p  (q  r)
resultantes son siempre V para cualquier combinación de sus valores b) de la conjunción: (p  q)  r  p  (q  r)
veritativos, decimos que dicha fórmula es una Tautología o Ley lógica.
Distributividad Ejemplo.

Supongamos la proposición:
a)de la conjunción respecto de la disyunción:
Todos los alumnos de mi colegio son aplicados
(p  q)  r  (p  r)  (q  r)
La vamos a escribir en lenguaje simbólico, negarla y retraducir la negación
al lenguaje ordinario.
b)de la disyunción respecto de la conjunción: Nos damos cuenta pronto que se trata de la implicación de dos funciones
(p  q)  r  (p  r)  (q  r) proposicionales:
p(x) : es alumno de mi colegio
Leyes de De Morgan q(x) : es aplicado
Tenemos:
~( p  q )  ~p  ~q  x : p(x)  q(x)
" La negación de una disyunción equivale a la conjunción de las negaciones"
Teniendo en cuenta la forma de negar una función proposicional
~( p  q )  ~p  ~q cuantificada universalmente y una implicación resulta:
"La negación de una conjunción equivale a la disyunción de las
negaciones"  x / p(x)  ~q(x)

1.1 Negación de una Implicación Y traduciendo al lenguaje ordinario resulta:

Las proposiciones p  q y ~(p  ~q) son equivalentes, como vemos


realizando la tabla de valores correspondientes: Existen alumnos de mi colegio que no son aplicados
p ~p p  ~p I.E. “Manuel Fidencio Hidalgo Flores”

V F V
F V V

Con esto, comprobamos que la negación de la primera equivale a la


negación de la segunda, es decir ~(p  q)  ~{ ~(p  ~q)}, y podemos
concluir entonces que:

~( p  q )  ( p  ~q)

Es decir, la negación de una implicación no es una implicación sino la


conjunción del antecedente con la negación del consecuente.

Funciones proposicionales y cuantificadores

Cuantificadores

A partir de funciones proposicionales es posible obtener proposiciones


generales mediante un proceso llamado de cuantificación. Asociados a la
indeterminada x, introducimos los símbolos  x y  x, llamados
cuantificador universal y cuantificador existencial respectivamente. Las
expresiones
Cuantificador Universal:
Para todo x, se verifica p(x) ,se denota por  x : p(x)
Cuantificador existencial
Existe x, tal que se verifica p(x) , se denota por  x / p(x)

corresponden a una función proposicional p(x) cuantificada universalmente


en el primer caso, y existencialmente en el segundo.

Ejemplo.

Una función proposicional cuantificada universalmente es V si y sólo si


son V todas las proposiciones particulares asociadas a aquella. Para
asegurar la verdad de una proposición cuantificada universalmente es
suficiente que sea verdadera alguna de las proposiciones asociadas a la
función proposicional.
Un problema de interés es la negación de funciones proposicionales
cuantificadas. Por ejemplo, La negación de

"Todos los enteros son impares" Es


"Existen enteros que no son impares"

y en símbolos:  x / ~p(x)
Entonces, para negar una función proposicional cuantificada
universalmente se cambia el cuantificador en existencial, y se niega la
función proposicional.
Anexo 2
.1 Aprendizaje basado en problemas de modelación matemática

A). Reconocer un problema muy vinculado a la realidad


“La adolescencia es una etapa difícil por la cantidad de cambios que se experimentan y su comportamiento juega un
papel muy importante pues al ser más independientes se suele a veces no cuidar la infraestructura de su institución.
Los estudiantes de 3ero de secundaria, en este sentido, se encuentran en pleno proceso de crecimiento y se hace
necesario que conozcan la necesidad de practicar diariamente hábitos de cuidar nuestra institución educativa y de esa
manera concientizarlos al cuidado de su medio ambiente.

A continuación, identifica cuales son proposiciones.


- ¿Cómo podemos saber de qué manera pueden cuidar su institución educativa?
- ¿Qué ocurre si no podemos concientizar a nuestros estudiantes?
-Los alumnos del tercer grado mantienen limpia sus aulas.
- ¡Viva 3ro!
- 3+4 =7
-Aula limpia.

ANEXO2
1 Aprendizaje basado en problemas de modelación matemática

A). Reconocer un problema muy vinculado a la realidad


“La adolescencia es una etapa difícil por la cantidad de cambios que se experimentan y su comportamiento juega
un papel muy importante pues al ser más independientes se suele a veces no cuidar la infraestructura de su institución.
Los estudiantes de 3ero de secundaria, en este sentido, se encuentran en pleno proceso de crecimiento y se hace
necesario que conozcan la necesidad de practicar diariamente hábitos de cuidar nuestra institución educativa y de esa
manera concientizarlos al cuidado de su medio ambiente.

A continuación, identifica cuales son proposiciones.


- ¿Cómo podemos saber de qué manera pueden cuidar su institución educativa?
- ¿Qué ocurre si no podemos concientizar a nuestros estudiantes?
-Los alumnos del tercer grado mantienen limpia sus aulas.
- ¡Viva 3ro!
- 3+4 =7
-Aula limpia.

ANEXO2

1 Aprendizaje basado en problemas de modelación matemática

A). Reconocer un problema muy vinculado a la realidad


“La adolescencia es una etapa difícil por la cantidad de cambios que se experimentan y su comportamiento juega
un papel muy importante pues al ser más independientes se suele a veces no cuidar la infraestructura de su institución.
Los estudiantes de 3ero de secundaria, en este sentido, se encuentran en pleno proceso de crecimiento y se hace
necesario que conozcan la necesidad de practicar diariamente hábitos de cuidar nuestra institución educativa y de esa
manera concientizarlos al cuidado de su medio ambiente.

A continuación, identifica cuales son proposiciones.


- ¿Cómo podemos saber de qué manera pueden cuidar su institución educativa?
- ¿Qué ocurre si no podemos concientizar a nuestros estudiantes?
-Los alumnos del tercer grado mantienen limpia sus aulas.
- ¡Viva 3ro!
- 3+4 =7
-Aula limpia.
ANEXO 3

¡APRENDÍ!

I.-Indique cual (es) de los siguientes enunciados son proposiciones:


a) 5 + 7 = 16 - 4 ( )
b) ¡Estudie lógica proposicional! ( )
c) Los hombres no pueden vivir sin oxígeno ( )
d) 3 x 6 = 15 + 1 y 4 - 2  23 x 5 ( )
e) ¿El silencio es fundamental para estudiar? ( )
f) 20 -18 = 2 ( )
g) Breña es un distrito de la provincia de Lima ( )
h) Un lápiz no es un cuaderno ( )
i) ¿Eres estudiante de matemática? ( )
j) 15 < 13 ( )
k) Ponga atención. ( )

PRÁCTICA DIRIGIDA Nª 02 Enunciados abiertos

Determine cuáles de los siguientes enunciados son enunciados abiertos y para que valores de la variable
las proposiciones son verdaderas y falsas

a) x es hermano de y
b) 28 < 15
c) Él es arquitecto
d) Tenga calma, no se impaciente
e) 9x + 3 = 12, x  R
f) x es Ingeniero y Juan es Matemático
g) 3x – 8 > 15 , x  R
h) x + y  15 , x,y R
i) 2x + 5 > 11, x  R
j) 3x + 7 = 11, x  N
l) x es un animal

https://descargamatematicas.com/descargar-ficha-de-logica-proposicional-cuarto-de-secundaria/

También podría gustarte