Escolar Documentos
Profissional Documentos
Cultura Documentos
MODULO No 05
ITEM 33
LOGICA PROPOSICIONAL
PIURA - 2008
INTRODUCCIÓN
En la actualidad, el estudio serio de cualquier tema, tanto en el
lógico que permita realizar dicha tarea. Si una persona desea pintar una
la aplicación de la lógica.
2
PROPOSICIONES Y CONECTORES LÓGICOS
LOGRO DE APRENDIZAJE
Contenidos:
• Lógica formal: Definiciones.
• Clases de proposiciones.
• Formalización de proposiciones.
• Verdad formal.
Situación Problemática
3
CAP. I.: LOGICA FORMAL
Ejemplos:
ENUNCIADO x+2=3
Se llama enunciado a toda frase, oración o Cierto día el Perú entro en crisis.
expresión matemática x 2 + y3 = 3
Ejemplos:
5–2=3
¡Te necesito Ven!.
ENUNCIADO CERRADO:
A boca cerrada no entra mosca. Se considera como enunciado cerrado a todo
concepto bien definido.
Ejemplo
PROPOSICIÓN (Proposición lógica) La historia es una ciencia social que
Es todo enunciado cuya propiedad fundamental estudia, analiza e interpreta los hechos
es la de ser verdadero (V) o falso (F), pero no importantes del pasado a través del
ambos simultáneamente. tiempo y el espacio.
Ejemplos:
5–2=3
Paris es la capital de Francia.
Nota:
x2 – y2 = (x + y) (x – y) - Toda proposición es un enunciado pero no
viceversa.
- Todo enunciado cerrado es una
OBSERVACIÓN: proposición verdadera.
(a) Se consideran como proposiciones:
- Las oraciones aseverativas
a) Informativas
b) Descriptivas
CAP. II.: CLASES DE
c) Explicativas
- Las leyes científicas
PROPOSICIONES
- Las fórmulas matemáticas
- Las formulas y/o esquemas lógicos
- Los enunciados cerrados PROPOSICIONES SIMPLES:
(definiciones)
Llamadas también atómicas o singulares, son
aquellos enunciados que no llevan conectivos
(b) No son considerados como proposiciones
- Las oraciones no aseverativas lógicos es decir tienen un solo sujeto y un solo
a) Exclamativas predicado.
b) Imperativas Ejemplos
c) Desiderativas
La biología es una ciencia.
d) Interrogativas
Los Chancas fueron grandes guerreros.
- Los hechos o personajes literarios
- Los proverbios, modismos y refranes 3<6
- Creencias religiosas, supersticiones y mitos
- Enunciados abiertos o indefinidos.
CLASES DE PROPOSICIONES SIMPLES
ENUNCIADO ABIERTO (Función
a) Proposiciones Simples Predicativas:
Proposicional):
Llamados también enunciados indefinidos, son
Son aquellas expresiones que atribuyen o
aquellos que contienen una variable o variables
y que no tienen la propiedad de ser verdadero o afirman un predicado a un sujeto.
falso. Generalmente obedecen a la fórmula:
Las expresiones que contienen la palabra “El” y S es P
“Ella” también se consideran como enunciado
abierto. Ejemplos
La biología es una ciencia.
4
Los Chancas fueron grandes guerreros. Símbolos: ∼A, ¬A, - A
2, es un número primo Traducción Verbal: se lee
No A
Nunca A (negadores internos)
b) Proposiciones Simples Relacionales: Jamás A
Son aquellas expresiones en las cuales se Es absurdo que A
relacionan dos o más sujetos que tienen la Es inconcebible que A
N
misma categoría gramatical. (sustantivo, No ocurre que A e
adjetivo, etc.) No es cierto que A g
Obedecen a la fórmula Es imposible que A
a
S1 R S2 No es verdad que A
S1 y S2 R Es mentira que A d
Es inadmisible que A o
No acaece que A r
Ejemplos: No es innegable que A
e
Isabel es prima de Juana. De ninguna forma se da A
2+2=5–1 Es erróneo que A s
3<6 Es incierto que A -
Nadie que sea A E
Es incorrecto que A
PROPOSICIONES COMPUESTAS: x
No es inobjetable que A
Llamadas también moleculares, coligativas o
No siempre que A t
complejas, son aquellas expresiones que se
No es que A e
obtienen de la combinación de dos o más
proposiciones simples enlazadas por conectivos
En modo alguno A r
En forma alguna A
lógicos.
Ejemplos:
b) Conjuntiva
“O pedro viaja a Europa o Asia”
Son aquellas proposiciones que se relacionan
Si práctico deporte entonces tendré buen
mediante la conjunción gramatical copulativa
estado físico.
“Y” o expresiones equilvalentes.
Ejemplo:
CLASES DE PROPOSICIONES La UNP forma profesionales y es un
a) Negativa
Formalización: p ∧ q
Son aquellas en donde el adverbio negativo “no”
o sus expresiones equivalentes afectan a una o
mas proposiciones.
EL CONJUNTOR
Ejemplos:
Es falso que Juan sea peruano.
No es cierto que sea utilitarista y
naturalista a la vez.
Conector: ∼, ¬ , –
Formalización: ∼p
EL NEGADOR
5
Símbolos: A∧B;A.B;A&B;AxB
Traducción Verbal: se lee Símbolos: A∨B,A+B
AyB Traducción Verbal: se lee
A incluso B AoB
A pero B A a menos que B
A aunque B a menos que A B
A al igual que B A salvo que B
A tal como B A y bien, o también B
A tanto como B A excepto B
A también B A o incluso B
A así como B A o a la vez B
A vemos que también B A ya bien B
A al mismo tiempo que B A y/o B
A sin embargo B
A es compatible con B
A aún cuando B Disyuntiva excluyente
A del mismo modo B Se vincula a través del conector ”o ………o…….”
A de la misma manera B Ejemplo
A no obstante B O estas despierto o estas durmiendo.
A empero B
Tanto A como, cuanto B Conector: ∨ ; ≡ ; ↔, ∆, ⊕, >-<
Siempre ambos A con B Formalización: p ∆ q
A sino B
No sólo A sino también B
EL DISYUNTOR EXCLUYENTE
A asimismo B
A a pesar de B Símbolos: A ∨ B;A ≡ B; A ↔ B,
A a la vez B A>-<B; A∆B
A igualmente B Traducción Verbal: se lee
A de la misma manera B
Sin que A tampoco B OAoB
Cierto que A lo mismo que B O bien A o bien B
Simultáneamente A con B A o B (en sentidos excluyentes)
A o solamente B
A o únicamente B
c) Disyuntiva A o solo B
Son aquellas proposiciones que se relacionan A no es equivalente a B
mediante la conjunción disyuntiva “o” su No es equivalente A con B
expresión equivalente “u”. Pueden ser: A no biimplica a B
Disyuntiva Incluyente
Se vincula a través del conector …………... o ………
d) Condicional
……….
Son aquellas proposiciones que se relacionan
mediante la conjunción condicional “si……
Ejemplo
entonces……………” o sus expresiones
Mónica es poeta o deportista
equivalentes.
Ejemplo:
Conector: ∨, + Si práctico deporte entonces tendré buen
estado físico.
Formalización: p ∨ q
La proposición condicional consta de dos
elementos, el antecedente y el consecuente.
Las proposiciones condicionales pueden ser:
EL DISYUNTOR INCLUYENTE
6
Ejemplo
EL REPLICADOR
Si te vas entonces estaré
triste. Símbolos: A ← B; A ⊂B; B → A
A C Traducción Verbal: se lee
Sólo si A B
A si B
Conector: →; ⊃ ; ⇒
A porque B
A siempre que B
Formalización: p → q
Es condición necesaria A para B
A para B
EL IMPLICADOR
Para A es suficiente B
Símbolos: A → B; A ⊃ B; A ⇒B
A puesto que B
A dado que B
Traducción Verbal: se lee
A supone que B
A pues B
Si A entonces B
A en vista que B, etc.
Siempre que A por consiguiente B
Ya que A bien se ve que B
Con tal que A es obvio que B e) Bicondicional
Cuando A así pues B Son aquellas proposiciones que se relacionan
Toda vez que A en consecuencia B mediante la conjunción compuesta “si y sólo si”
Ya que A es evidente B o sus expresiones equivalentes.
De A deviene B Ejemplo:
De A derivamos B La pera es dulce si y sólo si está madura.
A implica B Conector: ↔ , ≡
Como quiera que A por lo cual B Formalización: p ↔ q
En el caso de que A en tal sentido B
Una condición necesaria .para A es B EL BIIMPLICADOR
A es condición suficiente para B
Símbolos: A ↔ B, A ≡ B
A sólo si B
Traducción Verbal: se lee
De A deducimos (inferimos, concluimos,
A si y solo si B
llegamos) en B, etc.
A siempre y cuando B
A se define lógicamente como B
A es equivalente, equivale B
A por lo cual mismo que B
Condicional inversa (Replicador) A si de la misma forma B
Consecuente y antecedente van en ese orden A es idéntica a B
respectivo. A es igualmente (es igual,
entonces )B
Ejemplo A cada vez que y sólo si B
A es equipotente a B
A es condición necesaria y
iré de vacaciones siempre que acabe con
suficiente para B
el trabajo
A siempre que y solo cuando B
C A
Conector: ← ; ⊂
Formalización: p ← q
7
relaciona dos esquemas)
Definición:
Negación no p ∼p
Es el proceso por el cual una proposición
Conjunción pyq p∧q
escrita en el lenguaje natural es traducida a un
Disyunción Débil poq p∨q
lenguaje simbólico. Para ello cada proposición
Disyunción Fuerte opoq p⊕q
se reemplaza por una variable proposicional ( p,
Condicional si p entonces q p→q
q, r, etc.) y el conector lógico por el operador
Bicondicional p si y solo si q p↔q
correspondiente.
8
- Es innegable que los vertebrados son F F F
reptiles
∼ ∼p
III) Las negaciones por prefijos se formalizan o La Disyunción Incluyente
Ejemplo: * Carmen es infeliz : ∼p
p q p ∨ q
V V V
OBSERVACIÓN V F V
Los términos: F V V
Ni p ni q ≡ ∼ p ∧ ∼ q ≡ p ↓ q F F F
No p o no q ≡ ∼ p ∨ ∼ q ≡ p | q
o El Implicador
p q p → q
CAP. IV.: VERDAD FORMAL V V V
V F F
F V V
FUNCIÓN DE VERDAD: F F V
r o La Disyunción Excluyente
F
.
p q p ∨ q
V V F
COMBINACIÓN DE UNA O MAS V F V
PROPOSICIONES F V V
Obedece a la siguiente fórmula: F F F
Número de Combinaciones = 2 n
o La Bicondicional
p q p ↔ q
V V V
Donde:
V F F
n = número de variables proposicionales
F V F
F F V
DEFINICIÓN DE PROPOSICIONES
COMPUESTAS
o La Negación
p ∼p
TAUTOLOGÍA
V F
Cuando en el esquema molecular todos son
F V
verdaderos.
o La Conjunción CONTRADICCIÓN
p q p ∧ q Cuando en el esquema molecular todos son
V V V falsos.
V F F
F V F CONTINGENCIA
9
Cuando en el esquema molecular resultan
verdaderos y falsos.
PROBLEMAS PROPUESTOS
Practiquemos en el aula
11
sentenciadas a pena de muerte. Pero las personas que cometen
este delito.
los pulmones.
fue protestante.
c. 8+15=23.
e. El deporte es saludable.
12
6. Represente con p a la proposición “Ella tiene ojos azules” y con q a “El
tiene 43 años de edad”. Traduzca cada proposición compuesta a
palabras.
a. ~p
b. ~q
c. pνq
d. pΛq
e. ~p→q
__________________
________
____________
_________
dilate______
_______________
13
8. Evaluar los siguientes esquemas moleculares.
j) p p q p
p q
V V
V F
F V
F F
k) ( p q) ( p q) q
p q
V V
V F
F V
F F
l) p ( p q) ( p q ) q
A B
V V
V F
14
F V
F F
a) V b) F c) Tautología d) Contradicción e)
Contingencia
a) V b) F c) Tautología d) Contradicción e)
Contingencia
a) VV b) FF c) FV d) VF
• ( p ∨ q ) ∨ (r ∨ s )
• ( s ↔ ¬ w) → ( r ∨ ¬ p )
• [T → ( w ∨ ¬ p ) ] ∧ ¬ ( p → r ) , (T es verdadero)
15
14. Por la tabla de verdad, determina si cada una de los esquemas es
tautológico, contradictorio o consistente.
a) ¬ ( p ∧ ¬ q ) ∨ ( q → ¬ p )
b) ( p → q ) → [ ¬ q → ( r ∨ ¬ p ) ]
c) [ ( p ∧ ¬ q ) ∨ ( ¬ r → q ) ] → ( r ∧ ¬ p )
Bibliografía
16