1

LOGICA
PROPOSICIONAL
Es el significado de una expresion aseverativa que se caracteriza por tener un solo
valor de verdad, es decir, el significado presenta la posibilidad de ser verdadero o
falso, pero no los dos a la vez. Se simboliza mediante las letras minusculas p, q, r,
s, etc.
Clases de proposiciones logicas
Simples
Son aquellas proposiciones que carecen de conjunciones gramaticales
(y, o, si... entonces, si y solo si) o del
adverbio de negacion no.
Ejemplos:
* El numero 28 es par.
* Luis ingreso a San Marcos.

Compuestas
Son aquellas proposiciones que contienen alguna conjuncion gramatical
o el adverbio de negacion no.
Ejemplos:
* El numero 2 es par, pero es un
numero primo.
* El numero 2 es par, pero es un
numero primo.

CONECTIVOS LOGICOS
Llamados tambien operadores logicos. Son smbolos que reemplazan a las conjunciones gramaticales y al adverbio de negacion no.

En lenguaje comun
No es cierto que ...
... y ...
... o ...
Si ... entonces ...
... si y solo s ...

Smbolo

Nombre de la proposicion
Negacion
Conjuncion
Disyuncion
Condicional
Bicondicional

PROPOSICIONES COMPUESTAS BASICAS

La negacion (). Dada una proposicion p. Se denomina negacion de p a la proposicion denotada por .p, la cual niega a la proposicion inicial, convirtiendola en
falsa cuando es verdadera y viceversa.
Ejemplos:
* p: 2 es un numero primo.
V
p: 2 no es un numero primo.
F
* q: un rectangulo tiene tres lados.
F
q: no es cierto que un rectangulo tiene tres lados. V
La disyuncion (). Cuando dos proposiciones se enlazan por medio de la palabra o, forman una proposicion compuesta llamada disyuncion y es denotada de la
forma: pq
Su tabla de verdad es:

2
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

pq es falsa (F) u nicamente cuando p y q son ambas falsas, en los demas casos es
verdadera.
La conjuncion (). Dos proposiciones se pueden enlazar por medio de la palabra
y para formar una nueva proposicion llamada conjuncion de ambos. La conjuncion
de las proposiciones p y q se denota por: pq.
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

pq es verdadera (V) u nicamente cuando p y q son ambas verdaderas.

La condicional (). Muchas proposiciones, especialmente las matematicas, son
de la forma: si p entonces q. Tales proposiciones se denominan condiciones y se
les denota por: pq.
A la proposicion p se le denomina antecedente y a q consecuente.
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

pq es falsa (F) u nicamente cuando p es verdadera y q es falsa.

La bicondicional (). Relaciona dos proposiciones mediante el conectivo si y
solo si.
Su tabla de verdad es:
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
V

pq es verdadera (V) u nicamente cuando p y q tienen el mismo valor de verdad.

La disyuncion exclusiva (). Relaciona dos proposiciones mediante el conectivo
o... o....
Su tabla de verdad es:

3
p
V
V
F
F

q
V
F
V
F

pq
F
V
V
F

pq es verdadera (V) u nicamente cuando p y q tienen diferente valor de verdad.

ESQUEMA MOLECULAR
Un esquema molecular es la combinacion de variables proposicionales, conectivos
logicos y signos de agrupacion.
Ejemplos:
a)
p
V
V
F
F

q
V
F
V
F

p (q p)
V V V V V
V V F V V
F F V F F
F F F V F

p
V
V
F
F

q
V
F
V
F

(p
V
V
F
F

q
V
F
V
F

(p
V
V
F
F

q)
F F V
V V F
F F V
F F F

b)

V
F
F
V

q)
V
F
V
F

V
V
F
V

p)
V
V
F
F

c)
p
V
V
F
F

(p q)
F V V
F V F
V V V
V F
F

CIRCUITOS LOGICOS
Un circuito conmutador puede estar solamente en dos estados estables: cerrado o
abierto, as como una proposicion puede ser verdadera o falsa, entonces podemos
representar una proposicion utilizando un circuito logico.
Tipos de circuitos logicos
Circuito en serie
Dos interruptores conectados en serie representan una conjuncion

Circuito en paralelo
Dos interruptores conectados en paralelo representan una disyuncion

4
DE LOS ESQUEMAS MOLECULARES
CLASIFICACION
a) Tautologico: cuando en el operador principal solo hay valores verdaderos.
b) Contingente o consistente: cuando en el operador principal se tiene, por lo
menos, un valor verdadero y uno falso. Tambien se llama indeterminacion.
c) Contradictorio o inconsistente: cuando el operador principal solo tiene valores
falsos.
La implicacion Se llama as a la proposicion condicional cuando es tautologica,
(p q V).
La equivalencia
Se llama as a la proposicion bicondicional cuando es tautologica, (p q V).

LEYES DE LA LOGICA
PROPOSICIONAL

Ejemplo:
Halla el equivalente de: [ ( p q)] [ ( q p)]
Resolucion:
Usando la ley de De Morgan: [ ( p) ( q)] [ ( q) ( p)]
(p q) (q p)
| {z }
Conmutativa

(p q) p q)
|
{z
}
Idempotencia

(p q)