Professional Documents
Culture Documents
Introducción
Siempre que nosotros hacemos diferentes tipos de afirmaciones nos debemos basar en una serie
de análisis que nos permitan aclarar y rectificar si lo que dijimos anteriormente es verdadero o falso. En el
trabajo que a continuación desarrollaremos podremos encontrar como, cuando y en que situación
podemos aplicar este tipo de proposiciones.
OBJETIVO GENERAL
Definir y reconocer las proposiciones simples y compuestas; además de eso entender el verdadero
significado de cada caso que se presente.
OBJETIVOS ESPECIFICOS
Diferenciar las proposiciones simples de las compuestas.
Construir proposiciones simples y compuestas.
Aplicar lo enseñado y entendido a nuestra vida cotidiana.
Clasificar diferentes proposiciones.
Clases de proposiciones
Existen dos clases de proposiciones:
PROPOSICIONES SIMPLES: tambien denominadas proposiciones atómicas. Son aquellas proposiciones
que no se pueden dividir.
Ejemplos:
El cielo es azul.
PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que están formadas
por dos o más proposiciones simples unidas por los operadores lógicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jóvenes o universitarios.
Si el miércoles próximo me saco la lotería entonces te regalare un auto.
A) NEGACION:
EJEMPLO: Juan conversa.
Juan no conversa.
B) CONJUNCION:
EJEMPLO: P: La casa esta sucia.
Q: La empleada la limpia mañana.
PQ: La casa esta sucia y la empleada la limpia mañana.
C) DISYUNCION:
D) DISYUNCION EXCLUSIVA:
EJEMPLO: P: Pedro juega básquet.
Q: María juega futbol.
PVQ: Pedro juega básquet o María juega futbol.
E) CONDICIONAL:
EJEMPLO: P: Si me saco la lotería.
Q: Te regalare un carro.
PQ: Si me saco la lotería entonces te regalare un carro.
F) BICONDICIONAL:
EJEMPLO: P: Simon bolívar vive.
Q: Montalvo esta muerto.
PQ: Simon bolívar vive si y solo si Montalvo esta muerto.
Formas proposicionales
Existen tres formas proposicionales:
TAUTOLOGIAS: es aquella forma proposicional que da como resultado verdadero.
CONTRADICCIONES: es aquella forma proposicional que siempre da como resultado falso.
FALACIAS O INDETERMINADA: es aquella forma proposicional que siempre es verdadera y falsa a la
vez.
PROPIEDADES DEL ALGEBRA DE PROPOSICIONES
A) CONMUTATIVA:
B) ASOCIATIVA:
C) DISTRIBUTIVA:
D) IDENTIDAD:
E) ABSORCION:
F) LEYES DE MORGAN:
G) DOBLE NEGACION:
Anexo (Razonamiento)
Las formas proposicionales que están constituidas por una o más hipótesis o premisas por una
conclusión.
Estructura
Conjunto de premisas conclusión.
H1:
H2:
H3:
H4:
C:
4.- Entonces estructuramos el razonamiento.
Preguntas generadoras
¿De que manera podemos aplicar la lógica proposicional a la ingeniería de sistemas?
¿a través de las proposiciones lógicas en que modelo la carrera podemos aplicar razonamientos lógicos?
¿Qué métodos se utilizan para saber si algo es verdadero o es falso, y que tanto aportan las
proposiciones a la ingeniería de sistemas?
MAPAS CONCEPTUALES
1)
2)
Vídeos de lógica proposicional:
1) Enunciado, enunciado abierto y proposiciones: https://youtu.be/WOASUT2bXM0
2) Conectivos u operadores lógicos: https://youtu.be/t98L_B_Ok8g
3) Proposiciones simples y compuestas: https://youtu.be/9PaIxf3TysU
4) Operaciones con proposiciones lógicas: https://youtu.be/YFJnRxOed5Y
5) Cómo expresar proposiciones en el lenguaje
simbólico: https://youtu.be/TwHIw4_HJic
6) Del lenguaje escrito al lenguaje simbólico: https://youtu.be/W2PO1COj7-E
8) Valor de verdad de las proposiciones lógicas: https://youtu.be/D7A1BHQ17lQ
9) Valor de verdad de proposiciones simbólicas: https://youtu.be/J3t4G7r_5Ww
10) Tablas de verdad (1): https://youtu.be/3btmLPx0FnI
11) Tablas de verdad (2): https://youtu.be/YHeMRwSF1gM
12) Leyes lógicas (Parte 1): https://youtu.be/gOK8FsGc15E
13) Leyes lógicas (Parte 2): https://youtu.be/uFj5o7uuWrg
14) Simplificación de proposiciones (1): https://youtu.be/LPumjaEUy5o
15) Simplificación de proposiciones (2): https://youtu.be/o8ALhcYMnMw
16) Simplificación de proposiciones (3): https://youtu.be/Mid7_qEoUt8
17) Inferencia lógica o argumento lógico (1): https://youtu.be/OmX1Xg6bnlk
18) Inferencia o argumento lógico (2): https://youtu.be/-yeA89uLYWk
19) Las leyes de absorción: https://youtu.be/R9MCOKoVGIM
20) Simplificación de proposiciones con leyes de
absorción: https://youtu.be/DE6hVcuKCHY
1. LOGICA PROPOSICIONAL:
Ejemplos:
1) Prohibido fumar.
2) x2+y2≥9
4) 4x – 1= – 5
10) ¡Auxilio!
11) Deténgase.
Ejemplos:
VALOR DE
REPRESENTACIÓN VERDAD
PROPOSICIÓN
SIMBÓLICA
p: -4+3=7 F
Ejemplos:
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 proposición. A este tipo de enunciados
se les denomina enunciados abiertos.
Ejemplos:
- x – 3 > 7
- 5x + 3y = 2
En el tercer ejemplo las variables o letras “x” , “y” pueden tomar infinitos
valores para que el valor de verdad de la ecuación sea verdadera o falsa.
Los conectivos lógicos son símbolos que enlazan proposiciones simples o atómicas,
sin formar parte de ellas: estos símbolos también toman el nombre de operadores.
LENGUAJE
LENGUAJE COLOQUIAL NOMBRE DEL OPERADOR
SIMBÓLICO
no ~ La negación
y La conjunción
o La disyunción inclusiva
= Delta (Cuarta letra del alfabeto griego que corresponde a “d” latina)
Ejemplos:
- q: 3 x 4 = 12
- r: 9 es múltiplo de 3
Ejemplos:
- p: 12 - 5 ≠ 9
4.1. LA NEGACIÓN
Ejemplo:
Simbólicamente: V( ~ p) = F
4.2. LA CONJUNCIÓN
F V F
F F F
Ejemplo:
Simbólicamente: V(p q) = F
NOTA: En toda proposición, las palabras: “pero”, “sin embargo”, “además”, “no
obstante”, “aunque”, “a la vez”, etc. Equivalen al conectivo ” “
F V V
F F F
Ejemplo:
Dadas las proposiciones:
p: 4 < 7 (V)
q: 4 = 7 (F)
p q: 4 < 7 ó 4 = 7 (V)
Simbólicamente: V(p q) = V
4.4. LA CONDICIONAL
Ejemplo:
Ejemplo:
Simbólicamente: V(p q) = F
NOTA: En toda proposición 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 después de cada uno de
estos términos esta el antecedente
Ejemplo:
Simbólicamente: q p
4.5. LA BICONDICIONAL
F F V
Ejemplo:
p: 3 < 7 (V)
q: 3 + 5 < 7 + 5 (V)
Simbólicamente: V(p q) = V
F F F
Ejemplo:
p: 4 > 7 (F)
q: 4 < 7 (V)
Simbólicamente: V(p q) = V
RESUMEN
p q pq p q pq pq pq
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
(2) x² + 1 < 10
a) Es falso que, Paolo guerrero no es jugador del Sport Club Corinthians Paulista.
Ejemplo:
~ (p q ) (~ p) (~ q)
Solución:
OBSERVACIÓN
- Se aplica la fórmula 2n = 22 = 4
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
IMPLICACIÓN LÓGICA
Ejemplo:
(p q) ~ q ~ p
p q (p q) ~
q ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V
EQUIVALENCIA LÓGICA
Ejemplo:
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 tautología, afirmamos
que es una equivalencia lógica.
a) (p ~ q) ~ p ~ (~ q p)
b) p (q r) (~p ~r) ~q
Evalúa si M implica a N.
Evalúa si S es equivalente a T.
p p V ppF p (q r) (p q) (p r)
p (q r) (p q) (p r)
pqqp p q (p q) (q p)
pqqp
pqqp
(p q) r p (q r) p (p q) p
(p q) r p (q r) p (p q) p
p ( p q) p q
p ( p q) p q
VVV FFF
pVp pFp
pFF pVV
Ejemplo:
Simplifica los siguientes esquemas moleculares aplicando las leyes del álgebra
proposicional:
1) (p q) p
2) (p q) p ( q p)
3) ( p q) ( q p)
4) (p q) p ( q p)
10. LA INFERENCIA LÓGICA O ARGUMENTO LÓGICO
Ejemplo:
Válida el argumento (p q) p
Solución
1) Verifica la validez de los siguientes argumentos aplicando las leyes del álgebra
proposicional y construyendo tablas de verdad:
a) p q b) (p q) r
qp qr
______ ___________
q Pq
_____________________________________________________________
Canté bien
________________________________________________________
Los ministros no comunican al pueblo sobre las obras del gobierno dado que son
mudos. No es cierto que, los ministros sean mudos porque con frecuencia son
entrevistados en los medios de comunicación. Por tanto, los ministros no son mudos.
7) Valida el siguiente argumento lógico:
las lagunas entonces los ríos traen agua no contaminada. Los ríos traen agua
_____________________________________________________