Proposiciones y Conectivas

Proposiciones y conectivas
El razonamiento lógico y matemático tiene numerosas aplicaciones en la informática. Las reglas

de la lógica se utilizan en el diseño de circuitos de computadora, el desarrollo de programas de
computadora, la verificación de la corrección de programas y muchas otras formas.
Proposiciones
La proposición son los componentes básicos de la lógica. Una proposición es una oración
declarativa que es verdadera o falsa, pero no ambas . A una proposición aceptable se le asigna
el valor de decisión verdadero T (o 1) , mientras que a una proposición inaceptable se le asigna
un valor de decisión falso F (o 0) y no ambos.
El área de la lógica que se ocupa de las proposiciones se llama lógica proposicional. Las bases de
la lógica proposicional son las tres leyes de la lógica aristotélica. Estos son:
1. Ley de Identidad. "Una cosa en sí misma".

2. Ley del Medio Excluido. "Una afirmación es verdadera o falsa, pero no ambas".
3. Ley de No Contradicción. “Ninguna afirmación es a la vez verdadera y falsa”.
DIGA SI LAS SIGUIENTES ORACIONES SON PROPUESTA O NO.
______________ 1. Hoy es viernes.

______________ 2. 3 Divide 9 y 15.
______________ 3. Mírate en tu espejo y di cuál es el rostro más bello.
______________ 4. ¡Guau! ¿Viste ese béisbol saliendo del parque?
______________ 5. Ahora os declaro marido y mujer.
______________ 6. Todos los cisnes son blancos.
______________ 7. Los científicos han descubierto los restos de una civilización perdida en el
fondo del Océano Atlántico.
______________ 8. La maestra exclamó: “¡No vuelvas a llegar tarde a clase!”.
______________ 9. Responde esta pregunta.
______________ 10. El bateador golpeó la pelota 502 pies hacia las gradas del jardín central.
Ejercicios: SW #1. Responda lo siguiente
¿Cuál de las siguientes son proposiciones? Escribe P si es proposición y Np si no es proposición.
¿Cuáles son los valores de verdad de aquellas que son proposiciones? Escribe T o F.
1. El 6 de enero de 2008, la temperatura de la ciudad de Baguio bajó a 10 0 C.

2. ¿Por qué deberías tomar Matemáticas Discretas antes que Ecuaciones Diferenciales?
3. Existe un número entero x tal que x 2 = 4.
4. X+7>9
5. ¡Soy millonario!
6. 4 < 7 o 3 < 2
7. Si conduces, yo caminaré.
8. La pelota es redonda.
9. Si 7 es primo, entonces 100 no es primo.
10. Fue candidato del partido Lakas a vicepresidente en 1984.
Operadores logicos
Muchos enunciados matemáticos se construyen combinando una o más proposiciones. Estas

nuevas proposiciones se forman a partir de proposiciones existentes utilizando operadores
lógicos. Estos operadores lógicos que se utilizan para formar nuevas proposiciones a partir de
dos o más proposiciones existentes se denominan conectivos .
Estos son conectivos lógicos básicos con sus correspondientes símbolos:
1. Negación ( - ; ¬, ͠ )
2. Conjunción (^)
3. Disyunción (v)
4. Exclusivo o (+)
5. Implicación (  )
6. Inversa, Contrapositiva e Inversa
7. Bicondicional (  )
1. La negación de p se lee como no p
Definición: Sea p una proposición. La afirmación “No es cierto que p” se llama negación de p,
denotada por –p ; ¬ p ; o ͠p
Ejemplo:
Sea p : “ 5 es positivo” la negación de la proposición es
"No es cierto que 5 sea positivo". O
“5 no es positivo.”
La tabla de verdad o matriz de verdad muestra las relaciones entre los valores de verdad
de las proposiciones.
PAG pag
1 0
0 1
2. Conjunción
Definición: Sean pyq proposiciones. La proposición “ p y q ” denotada por p^q, es la proposición

que es verdadera cuando tanto p como q son verdaderas y falsas en caso contrario. La
proposición p^q, se llama conjunción de p y q.
Ejemplos:
Considere las siguientes declaraciones:
1. p: 2 es un número entero par.
q: 3 es un número entero impar.
La conjunción de estas proposiciones, p^q, es la proposición
"2 es un número entero par y 3 es un número entero impar".
2. dejar
p: 3 divide 9
q: 3 divide 15
p^q, es la proposición
“3 divide a 9 y 15”.
La tabla de verdad para la conjunción de dos proposiciones
PAG q p^q
0 0 0
0 1 0
1 0 0
1 1 1
Otros términos: incluso, aunque, pero a pesar de, aunque, sin embargo, sin embargo, mientras
que, todavía, todavía, por otro lado, por el contrario
3. Disyunción
Definición: Sean pyq proposiciones. La proposición “ poq ” denotada por pvq, es la
proposición que es falsa cuando tanto p como q son falsas y verdaderas en caso contrario.
La proposición pvq, se llama disyunción de p y q.
Ejemplos:
Considere las siguientes declaraciones:

p: Los estudiantes que hayan tomado Álgebra pueden tomar Matemática
Discreta.
q: Los estudiantes que hayan tomado Matemáticas de Ingeniería pueden tomar
Matemáticas Discretas.
La disyunción de estas proposiciones, pvq, es la proposición

“Los estudiantes que hayan cursado Álgebra o Matemáticas de Ingeniería, pero no
ambas, podrán cursar Matemática Discreta”.
La tabla de verdad para la conjunción de dos proposiciones
PAG q pvq
0 0 0
0 1 1
1 0 1
1 1 1
Otros términos: O, Inclusivo o, a menos que, y/o
4.Exclusivo O
Definición: Sean pyq proposiciones. El o exclusivo de p o q denotado por p(+)q, es la

proposición que es verdadera cuando exactamente una de p y q es verdadera y falsa en
caso contrario.
La tabla de verdad para el O exclusivo de dos proposiciones
pag q p(+)q
0 0 0
0 1 1
1 0 1
1 1 0
5. Implicación
Definición: Sean pyq proposiciones. La implicación de p  q es la proposición que es falsa
cuando p es verdadera y q es falsa, y verdadera en caso contrario. En esta implicación, p se
llama premisa o hipótesis y q se llama consecuencia o conclusión.
La tabla de verdad para las implicaciones de dos proposiciones
pag q Pq
0 0 1
0 1 1
1 0 0
1 1 1
Otros terminos:
"si . . . entonces . . .”; “si p, q”; “p implica q”;
“p implica q”; “p por tanto q”; “q si p”;

“q sigue a p” “ p sólo si q” “ donde p , q
“p es condición suficiente de q”; “q siempre que p” “p luego q”;
“q es la condición necesaria de p”, “q siempre que p” “debería q, p”
6. bicondicional
Definición: Sean pyq proposiciones. El bicondicional de p  q es la proposición que es

verdadera cuando p y q tienen los mismos valores de verdad (ambos falsos o ambos
verdaderos), y es falsa en caso contrario.
La tabla de verdad para el bicondicional de dos proposiciones
PAG q P  q
0 0 1
0 1 1
1 0 0
1 1 1
Otros términos: p si q, q si p, 0r p implica q y q implica p.
Ejemplos:
1. La curva es un círculo si y sólo si la curva es equidistante de un punto.
2. Un polinomio es un triángulo si y sólo si tiene 3 lados.
7. Inversa, contrapositiva e inversa

Proposiciones y Conectivas - Lección 1

Cargado por

Copyright:

Formatos disponibles

Proposiciones y Conectivas - Lección 1

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Proposiciones y Conectivas - Lección 1

Cargado por

Copyright:

Formatos disponibles

El razonamiento lógico y matemático tiene numerosas aplicaciones en la informática. Las reglas

1. Ley de Identidad. "Una cosa en sí misma".

DIGA SI LAS SIGUIENTES ORACIONES SON PROPUESTA O NO.

______________ 1. Hoy es viernes.

Ejercicios: SW #1. Responda lo siguiente

¿Cuál de las siguientes son proposiciones? Escribe P si es proposición y Np si no es proposición.

1. El 6 de enero de 2008, la temperatura de la ciudad de Baguio bajó a 10 0 C.

Muchos enunciados matemáticos se construyen combinando una o más proposiciones. Estas

Estos son conectivos lógicos básicos con sus correspondientes símbolos:

1. La negación de p se lee como no p

Sea p : “ 5 es positivo” la negación de la proposición es

"No es cierto que 5 sea positivo". O

Definición: Sean pyq proposiciones. La proposición “ p y q ” denotada por p^q, es la proposición

Considere las siguientes declaraciones:

1. p: 2 es un número entero par.

q: 3 es un número entero impar.

La conjunción de estas proposiciones, p^q, es la proposición

"2 es un número entero par y 3 es un número entero impar".

La tabla de verdad para la conjunción de dos proposiciones

Considere las siguientes declaraciones:

La disyunción de estas proposiciones, pvq, es la proposición

La tabla de verdad para la conjunción de dos proposiciones

Otros términos: O, Inclusivo o, a menos que, y/o

Definición: Sean pyq proposiciones. El o exclusivo de p o q denotado por p(+)q, es la

La tabla de verdad para el O exclusivo de dos proposiciones

La tabla de verdad para las implicaciones de dos proposiciones

"si . . . entonces . . .”; “si p, q”; “p implica q”;

“p implica q”; “p por tanto q”; “q si p”;

Definición: Sean pyq proposiciones. El bicondicional de p  q es la proposición que es

La tabla de verdad para el bicondicional de dos proposiciones

Otros términos: p si q, q si p, 0r p implica q y q implica p.

7. Inversa, contrapositiva e inversa

También podría gustarte