Vous êtes sur la page 1sur 2

LÓGICA PROPOSICIONAL

PROPOSICIÓN LÓGICA Nota


Es el significado de una expresión aseverativa que se caracteriza por tener un solo valor de verdad, es decir, el • A la veracidad o falsedad
de una proposición se le
significado presenta la posibilidad de ser verdadero o falso, pero no los dos a la vez. Se simboliza mediante las denomina valor de verdad.
letras minúsculas p, q, r, s, etc.
• A las letras p, q, r, s, t, etc.
Clases de proposiciones lógicas se les denomina variables
proposicionales.
Simples Compuestas
Son aquellas proposiciones que carecen de Son aquellas proposiciones que contienen alguna
conjunciones gramaticales (y, o, si... entonces, si y solo conjunción gramatical o el adverbio de negación no.
si) o del adverbio de negación no.
Ejemplo:
Ejemplo: • El número 2 es par, pero es un número primo. Recuerda
• El número 28 es par. • Luis ingresó a San Marcos y también a la UNI. • Las conjunciones son
• Luis ingresó a San Marcos. palabras que enlazan
proposiciones, sintangmas
o palabras.
Conectivos lógicos
Llamados también operadores lógicos. Son símbolos que reemplazan a las conjunciones gramaticales y al
adverbio de negación no.

En lenguaje común Símbolo Nombre de la proposición

No es cierto que... a Negación

...y... / Conjunción
Nota
...o... 0 Disyunción Una tabla de verdad, es
un diagrama que permite
Si... entonces... & Condicional expresar todos los posibles
valores de verdad de una
... si y solo sí... + Bicondicional proposición compuesta, para
cada combinación de valores
de verdad que se pueda
PROPOSICIONES COMPUESTAS BÁSICAS asignar a sus proposiciones
simples.
La negación (a)
Dada una proposición p. Se denomina negación de p a la proposición denotada por ap, la cual niega a la
proposición inicial, convirtiéndola en falsa cuando es verdadera y viceversa.
Ejemplos:
• p: 2 es un número primo. (V)
~p: 2 no es un número primo. (F)
• q: un rectángulo tiene tres lados. (F)
~q: no es cierto que un rectángulo tiene tres lados. (V)

La disyunción (0)
Cuando dos proposiciones se enlazan por medio de la palabra o, forman una proposición compuesta llamada
disyunción y es denotada de la forma: p 0 q Observación
La tabla de verdad de la
negación es:
p q p0q
V V V p 0 q es falsa (F) únicamente cuando p y q p ap
Su tabla de verdad es: V F V son ambas falsas, en los demás casos es V F
F V V verdadera. F V
F F F
La conjunción (/)
Dos proposiciones se pueden enlazar por medio de la palabra y para formar una nueva proposición llamada
Nota conjunción de ambos. La conjunción de las proposiciones p y q se denota por: p / q.
En un esquema molecular, Su tabla de verdad es:
el conectivo principal es el
operador de mayor jerarquía p q p/q
que se encuentra libre de
signos de colección.
V V V p / q es verdadera (V) únicamente
V F F cuando p y q son ambas verdaderas.
F V F
F F F

La condicional (&)
Muchas proposiciones, especialmente las matemáticas, son de la forma: si p entonces q. Tales proposiciones
se denominan condiciones y se les denota por: p & q.
Nota A la proposición p se le denomina antecedente y a q consecuente.
Denominamos matriz principal Su tabla de verdad es:
de una tabla de verdad, a
la columna que contiene p q p &q
los valores de verdad
V V V
correspondiente al conectivo p & q es falsa (F) únicamente cuando p
principal. V F F
es verdadera y q es falsa.
F V V
F F V

La bicondicional (+)
Observación Relaciona dos proposiciones mediante el conectivo si y solo si.
• Para evaluar una tabla Su tabla de verdad es:
de verdad de 2 variables
proposicionales se p q p +q
necesitan 4 valores de V V V p + q es verdadera (V) únicamente
verdad; para evaluar
una tabla de verdad de 3 V F F cuando p y q tienen el mismo valor de
variables proposicionales F V F verdad.
se necesita 8 valores de F F V
verdad.
• En general, el número La disyunción exclusiva (T)
de valores de verdad
que se asigna a cada Relaciona dos proposiciones mediante el conectivo o ... o ...
variable, resulta de aplicar Su tabla de verdad es:
la fórmula 2n, donde n es
el número de variables p q p Tq
proposicionales que hay en p T q es verdadera (V) únicamente
el esquema molecular.
V V F
V F V cuando p y q tienen diferente valor de
Ejemplos
F V V verdad.
• •
p p q r F F F
V V V V
F V V F
V F V ESQUEMA MOLECULAR

p q
V F F Un esquema molecular es la combinación de variables proposicionales, conectivos lógicos y signos de
F V V
agrupación.
V V F V F
F F V Ejemplos:
V F Conectivo principal Conectivo principal
F V F F F
F F p q p / (q & p) p q (p + q) 0  p
V V V V V V V V V V V V V V
V F V V F V V V F V F F V V
F V F F V F F F V F F V F F
F F F F F V F F F F V F V F
Matriz principal Matriz principal

Conectivo principal

p q (p / ~ q) 9 (~ p & q)
V V V F F V F V V
V F V V V F F V F
F V F F F V V V V
F F F F V F V F F
Matriz principal