CIENCIA E INGENIERIA RAZONAMIENTO MATEMATICO

LOGICA PROPOSICIONAL
D EF IN IC I ÓN Son Proposiciones

Es una parte de la lógica que tiene como objeto el estudio de la - Las oraciones aseverativas.
proposición y la relación existente entre ellas, así como la función - Las leyes científicas y las fórmulas matemáticas.
que tienen las variables proposicionales y los conectivos lógicos. - Las fórmulas y/o esquemas lógicos.
- Los enunciados cerrados o definidos.
EN UN C I A D O
No Son Proposiciones
Denominamos así a toda frase u oración. Un enunciado es la unión de
un grupo de palabras de manera ordenada que tienen un sentido - Los hechos o personajes literarios.
completo, por lo tanto, los enunciados son oraciones que tienen una - Los proverbios, modismos y refranes.
forma verbal. - Creencias religiosas, supersticiones y mitos.
- Enunciados abiertos o indefinidos.
Ejemplos: - Las interrogaciones y las exclamaciones
- Las órdenes.
- Chota es ciudad cajamarquina. - Los deseos, dudas y súplicas.
- 7x – 5 = 2
- ¡Viva la universidad! CL A S E S D E P R OP O SI C ION E S
- (-1)x = 1
- Deberías ser más prudente. 1. SIMPLE O ATÓMICA

1. ENUNCIADO ABIERTO Es aquella proposición con un solo significado, es decir, no tienen

conectores lógicos y tampoco el adverbio de negación “NO”,
El enunciado abierto no tiene la propiedad de ser considerado además pueden tener un solo predicativo o dos sujetos unidos por
verdadero o falso hasta que se les den valores a sus variables y una relación lógica.
se puedan comprobar; luego de comprobadas las variables el
enunciado podrá ser verdadero o falso. A. Predicativa

Ejemplos: Es aquella que tiene un sujeto y un predicado

- x + y = 10 Ejemplos:
- x∈N
- x es un número par - Julio trabaja en el taller.
- Valeria es una alumna de la “Von Humboldt” - El número 124 468 es par.
- Sen 45º = y - La glándula hipófisis se aloja en la silla turca.
- Humala es un guerrero.
2. ENUNCIADO CERRADO - La geodesia estudia las dimensiones de la tierra.
- Los hechos sísmicos son temporales.
El enunciado cerrado es considerado como verdadero o falso,
pero no ambos valores de verdad. B. Relacional

Ejemplos: Es aquella que tiene dos sujetos unidos por una determinada
relación.
- La lógica formal se define como la disciplina que estudia el
razonamiento o deducción de un enunciado. Ejemplos:
- Velocidad = espacio/tiempo
- La Biología estudia los seres vivos. - Ana, Betty y Carla son hermanas.
- 5 es mayor que 3.
PROPOSICION - La Lógica es distinta a las Matemáticas.
- Piura está al norte de Chiclayo.
Es aquella expresión u oración que puede calificarse a bien, como - Jésica es mayor que Luis.
verdadero (V) o falso (F) y sin ambigüedad, que se simboliza con - Lizbeth ama a Carlos.
una letra minúscula.
2. COMPUESTA O MOLECULAR
Ejemplos:
Son aquellas que tienen dos o más significados unidos por
- p: 5 + 4 = 8 conectores lógicos, incluyendo el adverbio de negación “no”.
- q: todo hombre es mortal.
- r: El libertador Simón Bolívar nació en Lima. Ejemplo:
- s: 14 es un número primo.
- Carlos está enfermo y Ana prepara el almuerzo.
Observación: Las proposiciones en general son pensamientos en - Juan es deportista o estudia inglés.
los que se afirma algo y que se expresan mediante enunciados u - Si José viajó entonces conoce Chiclayo.
oraciones declarativas; nuestro lenguaje está formado por - Carlos estudia inglés si y sólo si viaja al extranjero.
enunciados, aunque no todos ellos son proposiciones. - Ana no viaja a Tacna.

Pr of . Ne ls on G onz al es 3 a dm i n@ d onb osc oe du ca. n e t

 CIENCIA E INGENIERIA RAZONAMIENTO MATEMATICO

F OR M A LIZ A CI ÓN D E P R OP O SIC I ON E S … incluso … … cada vez que …

… pero, aunque … … a la vez …
La variedad de formas para expresar una proposición cualquiera en No sólo … también … Tanto … como …
lenguaje común, no hace favorable su empleo para el análisis lógico,
por ello se utiliza un lenguaje simbólico que permite desarrollar Cierto es que … lo mismo que…
expresiones más complejas y precisas. A este proceso se le denomina Sin … tampoco puede haber …
simbolización o formalización del lenguaje. Es compatible … lo mismo que …
… incluso, inclusive, tal como …
Las proposiciones simples se simbolizan con letras minúsculas: p, q,
r, …, etc. son llamadas variables proposicionales. p q p∧q
V V V
- p : José es buen estudiante. V F F
- q : María es enfermera. F V F
- r : La mesa es de madera F F F

Los conectivos lógicos se simbolizan por un signo convencional o La proposición compuesta es verdadera si son verdaderas ambas;
constante. en otros casos, la proposición resultante es falsa.

Las proposiciones compuestas se representan mediante las letras 3. DISYUNCIÓN INCLUSIVA

mayúsculas P, Q, R, …, etc.
Son aquellas proposiciones que se relacionan mediante la con
Ejemplo: conjunción disyuntiva “o” o sus expresiones equivalentes, donde
se considera las posibles ocurrencias simultáneas o individuales
P : José estudia de día y trabaja de noche. de sus componentes.
q : José estudia de día.
r : José trabaja de noche. Scholz p∨q
Peano-Russell p∨q
P:q∧r Hilbert A∨B

1. NEGACIÓN  Palabras usuales:

Son aquellas proposiciones que hacen uso del adverbio negativo …o… … y/o …
NO o sus expresiones equivalentes. La negación consiste en … salvo que … … a menos que …
cambiar el valor de verdad que tiene una proposición. … o de lo contrario … … excepto que …
… o en tal sentido …
Scholz ¬p
Peano-Russell ~p p q p∨q
Hilbert -A V V V
V F V
 Palabras usuales: F V V
F F F
No… Nunca…
Jamás… Es falso que … La proposición compuesta es falsa si ambas son falsas; en otros
No ocurre que … No acaece que … casos, la proposición resultante es verdadera.
Es mentira que … Es absurdo que …
Es una farsa que … No es cierto que … 4. DISYUNCIÓN EXCLUSIVA
De ninguna forma … No es posible que …
Es inconcebible que … Es inadmisible que … Son aquellas proposiciones que se relacionan mediante la con
conjunción disyuntiva “o” o sus expresiones equivalentes, donde
p ~p la disyunción excluye la posibilidad simultanea de ambas.
V F
F V Scholz p↮q
Peano-Russell p≢q
2. CONJUNCIÓN Hilbert A∨B

Son aquellas proposiciones que se relacionan mediante la  Palabras usuales:

conjunción gramatical copulativa “y” o expresiones equivalentes.
O…o… O bien … o bien … O es que …
Scholz p∧q
Peano-Russell p.q p q p∆q
Hilbert A&B V V F
 Palabras usuales: V F V
F V V
…y… … además … F F F
… pero … … aunque …
… también … … sin embargo … Una proposición disyuntiva exclusiva es falsa sólo si sus
… no obstante … … tal como … componentes tienen igual valor veritativo, en caso contrario es
… al igual que … … así como … verdadero.

Pr of . Ne ls on G onz al es 4 a dm i n@ d onb osc oe du ca. n e t

 CIENCIA E INGENIERIA RAZONAMIENTO MATEMATICO

5. IMPLICACIÓN MATERIAL O CONDICIONAL Si el antecedente es falso y el consecuente es verdadero,

entonces la proposición resultante será falsa, en otro caso será
La proposición condicional consta de dos elementos: el verdadero.
antecedente y el consecuente. Estas se relacionan mediante la
condicional “si … entonces …” 7. BICONDICIONAL O DOBLE IMPLICACIÓN

Scholz p→q Son proposiciones que se relacionan mediante la conjunción

Peano-Russell p⊃q compuesta “si y sólo si” o expresiones equivalentes.
Hilbert A→B
Scholz p↔q
 Palabras usuales: Peano-Russell p≡q
Hilbert A↔B
Con tal que … es obvio …
Cuando … así pues …  Palabras usuales:
Al … por el expuesto …
De … en tal sentido … … siempre y cuando …
En cuanto … por tanto … … es idéntico a …
Una vez que … luego … … equivale a que …
Según … lógicamente … … entonces y sólo entonces …
Teniendo en cuenta que … … siempre que y sólo cuando …
Hasta que … debe ocurrir … … es condición necesaria y suficiente …
Es condición suficiente…
Siempre … por consiguiente … p q p↔q
Cada vez que … en consecuencia … V V V
Con que … en este caso … V F F
En el caso de que … esto trae consigo … F V F
A condición de que … por eso … F F V
Dado que … según lo cual …
Como quiera que … por lo cual … Si ambas proposiciones presentan el mismo valor veritativo,
En la medida en que … de allí que … entonces la proposición resultante es verdadera.
Apenas … naturalmente …
Suponiendo que … es evidente … 8. NEGACIÓN CONJUNTA
Ya que … es un hecho …
Todo está en que … bien se ve … Representa la negación de la disyunción inclusiva.
La cuestión es que … deviene …
Es suficiente que … se concluye … Scheffer p↓q
En virtud de que … es suficiente …
Desde el momento que … da lugar a …  Palabras usuales:
… deviene …
No … y no … Ni … ni ...
p q p→q
V V V p q p↓q
V F F V V F
F V V V F F
F F V F V F
F F V
Si el antecedente es verdadero y el consecuente es falso,
entonces la proposición resultante será falsa, en otro caso será  Equivalencia: p ↓ q ≡ ~p ∧ ~q
verdadero.
9. NEGACIÓN ALTERNA
6. REPLICA MATERIAL O CONDICIONAL INVERSA
La negación alterna representa la negación de la conjunción.
Al consecuente le sigue el antecedente.
Scheffer p|q
Scholz p←q
 Palabras usuales:
 Palabras usuales:
No … o no … … es incompatible que …
… si … siempre que … … si es que … No … excepto que no … No … a menos que no …
… debido a que … … dado que …
… puesto que … … ya que … p q p|q
… porque … V V F
V F V
p q p←q F V V
V V V F F V
V F V
F V F Equivalencia: p | q ≡ ~p ∨ ~q
F F V

Pr of . Ne ls on G onz al es 5 a dm i n@ d onb osc oe du ca. n e t

 CIENCIA E INGENIERIA RAZONAMIENTO MATEMATICO

p q ~p p∧q p∨q p∆q p→q p↔q p↓q pΙq

V V F V V F V V F F
V F F F V V F F F V
F V V F V V V F F V
F F V F F F V V V V

Tautología: Es toda proposición cuyo valor de verdad es siempre H. Leyes de Morgan

verdadero (V), para cualquier combinación de los valores de verdad
de sus componentes, se le denota por “V”.  ~(p ∧ q) ≡ ~p ∨ ~q
 ~(p ∨ q) ≡ ~p ∧ ~q
Contradicción: Es toda proposición cuyo valor de verdad es siempre
falso (F), para cualquier combinación de los valores de verdad de sus I. Leyes de absorción
componentes. Se le denota por F.
 p ∧ (p ∨ q) ≡ p
Contingencia: Es toda proposición lógica cuyo valor de verdad tiene  p ∨ (p ∧ q) ≡ p
al menos un verdadero (V) y un falso (F).  p ∧ (~p ∨ q) ≡ p ∧ q
 p ∨ (~p ∧ q) ≡ p ∨ q
L EY E S D E ÁL G E BR A P R O P O S IC I ON AL  (p ∧ q) ∨ (p ∧ ~q) ≡ p
 (p ∨ q) ∧ (p ∨ ~q) ≡ p
A. Leyes de la conjunción
J. Negación conjunta
 p∧p≡p  p ↓ q ≡ ~(p ∨ q)
 p∧q≡q∧p
 (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) K. Negación conjunta
 p ∧ ~p ≡ F  p | q ≡ ~(p ∧ q)
 p∧V≡p
 p∧F≡F CIR C UIT O S LOG IC O S

B. Leyes de la disyunción Son arreglos de interruptores conocidos como compuertas lógicas,

donde cada compuerta lógica tiene su tabla de verdad. El valor de
 p∨p≡p verdad de una proposición puede asociarse con interruptores que
 p∨q≡q∨p controlan el paso de la corriente.
 (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
 p ∨ ~p ≡ V Así, si una proposición es verdadera, el interruptor estará cerrado y
 p∨V≡V la corriente pasará. Si la proposición es falsa el interruptor estará
 p∨F≡p abierto y la corriente no pasará.

C. Leyes de la condicional
p≡V p≡F
 p → q ≡ ~p ∨ q
 p → q ≡ ~q → ~p Serie p q p∧q

D. Ley de Disyunción Exclusiva p

Paralelo p∨q
q
 p ∆ q ≡ (p ∨ q) ∧ (~p ∨ ~q)
 p ∆ q ≡ ~(p ↔ q) p q
 p ∆ q ≡ ~p ↔ q Mixto (p ∧ q) ∨ ~r
 p ∆ q ≡ p ↔ ~q ~r

E. Ley de la doble negación CU AN T IF I CA D OR E S LÓ GI C O S

 ~(~p) ≡ p 1. CUANTIFICADOR UNIVERSAL

F. Leyes distributivas Si a una función proposicional le anteponemos la expresión “para

todo x”, estaremos indicando el sentido universal de dicha función
 p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) proposicional obteniendo ahora una proposición lógica.
 p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Notación: ∀x : P(x) ó ∀x⁄P(x) ó (∀x) P(x)
G. Leyes del bicondicional Se lee: “para todo x, tal que, se verifique P(x) ”

 p ↔ q ≡ (p → q) ∧ (q → p) Ejemplo:
 p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q)
 p ↔ q ≡ ~(p ∆ q) Si tenemos una función proposicional: P(x) : x + 5 > 2, no es una
 p ↔ q ≡ ~p ∆ q proposición lógica, y ahora le agregamos el cuantificador
 p ↔ q ≡ p ∆ ~q universal “∀”.

Pr of . Ne ls on G onz al es 6 a dm i n@ d onb osc oe du ca. n e t

 CIENCIA E INGENIERIA RAZONAMIENTO MATEMATICO

∀x : x + 5 > 2, es una proposición lógica, cuyo valor es falso, p(x) : es alumno de mi colegio
porque no todos los valores de “x” cumplirán la proposición, por q(x) : es aplicado
ejemplo, x = – 4, no cumple. Entonces es falso que para todo “x”, Tenemos: ∀x : p(x) → q(x) ≡ ~p(x) ∨ q(x)
se cumpla: x + 5 > 2.

2. CUANTIFICADOR EXISTENCIAL Teniendo en cuenta la forma de negar una función proposicional

cuantificada universalmente y una implicación resulta:
∃x⁄p(x) ∧ ~q(x)
Si a una función proposicional le anteponemos la expresión
“existe un x tal que”, estaremos indicando el sentido existencial
(que exista) de dicha función. Y traduciendo al lenguaje ordinario resulta: “Existen alumnos de
mi colegio que no son aplicados”
Notación: ∃x : P(x) ó ∃x⁄P(x) ó (∃x) P(x)
Se lee: “existe un x, tal que, se verifique P(x) ,” “existe por lo menos L OG IC A D E C LA SE S
un x”
1. IDEA DE CLASE
Ejemplo:
Es la reunión de elementos de características similares. Para una
P(x) : x – 3 > 10, no es una proposición lógica y ahora le mejor comprensión de la teoría de clases, se debe considerar a
las clases como conjuntos.
agregamos el cuantificador universal “∃”.
2. PROPOSICIONES CATEGÓRICAS
∃x : x – 3 > 10, es una proposición lógica, podemos darnos cuenta
que si x = 15, se cumple la desigualdad, ya hemos encontrado por
Son aserciones entre clases, en las cuales unas clases están
lo menos un “x” que verifique P(x) , por lo tanto, es una proposición
totalmente o parcialmente incluidas o excluidas en otras.
lógica, cuyo valor es verdadero.
Las formas típicas o estándar de las proposiciones categóricas
3. NEGACIÓN DE PROPOSICIONES QUE TIENEN CUANTIFICADORES
son las siguientes:
Sea la proposición: ∀x : P(x)
Su negación será: ~ ∀x : P(x) ≡ ∃x : ~P(x) A: Universal
Todo S es P afirmativa
De la misma forma, si la proposición: ∃x : P(x)
E: Universal
Su negación será: ~ ∃x : P(x) ≡ ∀x : ~P(x)
Ningún S es P Negativa
- Si: ∃x : x = 7 La negación será: I: Existencial
~[∃x : x = 7] ≡ ∀x : x ≠ 7 Algún S es P Afirmativa

- Si: ∃x : “x” es par La negación será: O: Existencial

~[∃x : “x” es par] ≡ ∀x: “x” no es par Algún S no es P Negativa

- Si: ∀x : x2 > 1 La negación será:

~ ∀x : x2 > 1 ≡ ∃x : x2 ≤ 1 A S P
Todo S es P
Una función proposicional cuantificada universalmente es V si y SaP
sólo si son V todas las proposiciones particulares asociadas a
aquella. S P
E
Ningún S es P
Para asegurar la verdad de una proposición cuantificada
SeP
existencialmente es suficiente que sea verdadera alguna de las
proposiciones asociadas a la función proposicional.
I S P
Un problema de interés es la negación de funciones cuantificadas. algún S es P x
Por ejemplo, la negación de “todos los enteros son impares” es SiP
“existen enteros que no son impares” y en símbolos: ∃x⁄~P(x) .
O S P
Entonces, para negar una función proposicional cuantificada algún S no es P x
universalmente se cambia el cuantificador en existencial, y se SoP
niega la función proposicional.

Ejemplo:

Supongamos la proposición: “Todos los alumnos de mi colegio son

aplicados”.

La vamos a escribir en lenguaje simbólico, negarla y retraducir

la negación al lenguaje ordinario. Nos damos cuenta pronto que
se trata de la implicación de dos funciones proposicionales:

Pr of . Ne ls on G onz al es 7 a dm i n@ d onb osc oe du ca. n e t

 CIENCIA E INGENIERIA RAZONAMIENTO MATEMATICO

L EY E S D E IN F ER EN C I A L O GI C A

Modus Ponendo Ponens (MPP)

p→q p↔q p↔q

p p q
∴q ∴q ∴p

Modus Ponendo Tollens (MPT)

p∆q p∆q
p q
∴ ∼q ∴ ∼p

Modus Tollendo Ponens (MTP)

p∨q p∨q
∼q ∼p
∴p ∴q

Modus Tollendo Tollens (MTT)

p→q p→q p↔q

∼p ∼q ∼q
∴ ∼q ∴ ∼p ∴ ∼p

Silogismo hipotético puro (SHP)

p→q
q→r
∴p→r

Dilema Constructivo (DC)

p→q p↔q p∆q

r→s r↔s r∆s
p∨r p∨r ∼p ∨ ∼r
∴q∨s ∴q∨s ∴q∨s

Dilema Destructivo (DD)

p→q p↔q p∆q

r→s r↔s r∆s
∼q ∨ ∼s ∼q ∨ ∼s ∼q ∨ ∼s
∴ ∼p ∨ ∼r ∴ ∼p ∨ ∼r ∴ ∼p ∨ ∼r

Conjunción

p
q
∴p∧q

Adición

p
∴p∨q

Simplificación

p∧q p∧q
∴p ∴q

Pr of . Ne ls on G onz al es 8 a dm i n@ d onb osc oe du ca. n e t