UNIVERSIDAD NACIONAL DE CAJAMARCA SECCIN JAN

FACULTAD DE INGENIERIA
ESCUELA ACADMICA PROFESIONAL DE INGENIERIA CIVIL

TEMA

: LGICA PROPOSICIONAL

ASIGNATURA

: LGICA

INTEGRANTES

CICLO

:I

DOCENTE

: Lic. SNCHEZ CULQUI ELADIO

JAN - PER
2013

NDICE

I.
II.
III.
IV.
V.
VI.
VII.
VIII.
IX.
X.

Introduccin....pg. 3
Lgica proposicional.pg. 4
Tipos de proposiciones.....pg. 5
Trminos de enlace...pg. 7
La disyuncin.....pg. 8
Disyuncin exclusiva....pg. 9
La condicional........pg. 10
La bicondicional.....pg. 12
Producto lgico......pg. 13
Bibliografa..pg. 14

LGICA
I.-

INTRODUCCIN:

El ser humano a travs de su vida diaria, se comunica con sus semejantes a travs de un
lenguaje determinado (oral, escrito, etc.) por medio de las denominadas frases u oraciones.

Entonces podemos decir que la lgica es la ciencia que estudia los procesos validos del
razonamiento humano. Hoy en todos los campos (humanidades, ciencias y tcnica) se
requiere conocer los fundamentos y mtodos del razonamiento lgico preciso que permita
extraer y depurar sus conclusiones, evitando cualquier error de la lgica que puede originar
problemas tcnicos, sociales y econmicos.
La lgica tiene como fin conducirnos a un hbil manejo del lenguaje matemtico y al empleo de
mtodos eficaces de razonamiento.
Existen dos tipos importantes de razonamiento: El inductivo y el deductivo.

El razonamiento inductivo, es el medio por el cual una persona en base a sus experiencias
especficas decide aceptar como vlida un principio general.
El razonamiento deductivo, es el medio por el cual dicha persona utiliza el principio general
aceptado previamente para decidir sobre la validez de una idea que a su vez habr de
determinar el curso de su accin.

II.- LGICA PROPOSICIONAL

La lgica proposicional es una rama de la lgica que permite representar hechos y expresiones del
mundo real en un lenguaje representativo del conocimiento mediante propiedades elementales para
estudiar a travs de proposiciones o sentencias lgicas sus posibles evaluaciones de verdad.
La lgica proposicional permite el estudio del razonamiento, a travs de un mecanismo, que primero
evala enunciados simples y luego enunciados complejos, formados mediante el uso de conectivos
proposicionales.

PROPOSICIN:
declarativo.

Una proposicin es una oracin, expresin o enunciado aseverativo y

Qu es enunciado? Es una palabra o secuencia de palabras con sentido completo o en simples

palabras es una oracin.
Por qu decimos que es enunciado aseverativo? Es un enunciado aseverativo, porque cada
proposicin nos da un valor veritativo el cual pude ser verdadero o falso pero no ambos a la vez.

Las proposiciones lgicas se representan simblicamente por letras minsculas, tales como:
p, q, r, s,a las que se denomina variables proposicionales.
Cuando se trata de representar muchas preposiciones similares se usan subndices para indicar cada
una de ellas, esto es,

p1, p2, p3,,pn

Para expresar simblicamente el hecho de que una proposicin sea verdadera o falsa. Si p es una
proposicin, su valor de verdad se denotara con V (p) y escribiremos: V (p)=V y si queremos
expresar que es falsa escribiremos V (p)=F
Ejemplos:
PROPOSICIN

VALOR DE VERDAD

p: La Ilada es una obra de Homero.

V (p)=V

q: El nmero 1672 es un nmero impar.

V (q)=F

r: Einstein es el padre de la fsica clsica.

V (r)=V

4
III. TIPOS DE PROPOSICIONES
Se clasifica en dos:
PROPOSICIONES SIMPLES O ATMICAS
Llamadas tambin elementales.
Son aquellas proposiciones que expresan un solo sentido, un solo mensaje y se representan por una sola
variable proposicional.es decir, son aquellas proposiciones que carecen de conjunciones gramaticales y del
adverbio de negacin no.
Ejemplos:
p: La biologa es una ciencia
q: Francia es un pas europeo
r: Homero es el patriarca de las letras universales.
Ntese que las proposiciones no tienen relacin con ninguna otra proposicin sino que es nica y simple.
Proposiciones simples predicativas.
Son aquellas proposiciones simples en las que se atribuye un predicado a un sujeto.
Ejemplos:
p: Jan es una ciudad calurosa
q: La lgica es una ciencia formal.

r: Lima es la ciudad de los reyes.

Proposiciones simples relacionales.
Son aquellas proposiciones simples que indican una relacin recproca entre dos o ms sujetos.
Ejemplos:
p: Waldir y Joel son hermanos
q: Royser es compaero de Fernando

PROPOSICIONES COMPUESTAS O MOLECULARES

Llamadas tambin coligativas.

Son aquellas proposiciones que tienen dos o ms significados unidos por conjunciones gramaticales o en
todo caso que contienen el adverbio de negacin No
Ejemplos:

La pera es rica adems contiene nutrientes

ests despierto o estas durmiendo
Si llueve entonces habr deslizamiento

6
IV.- TRMINOS DE ENLACE

Son aquellos que nos permiten unir dos o ms proposiciones simples.

Algunos de los smbolos se representan de la siguiente manera:
Palabras
:
Smbolo:

o
no

implica

y
^

Si y
solo si

O bien p
o bien q

Ejemplos:

No aprob el curso de matemtica.

Hoy es sbado y maana domingo.
Si es culpable, el reo ser condenado o expulsado del pas.
El comandante dice la verdad si y solo si fue un testigo justo.
O vamos a Arequipa o vamos a Tacna.

LA CONJUNCIN
Son aquellas proposiciones que llevan la conectiva y y se interpreta como la
afirmacin de sus dos componentes.
La proposicin conjuntiva es verdadera nicamente cuando las dos proposiciones
coligativas son verdaderas, en cualquier otro caso es falsa.
Se simboliza:

p.q

Su tabla de verdad es la siguiente:

Nota: hay palabras como pero, a la vez, sin embargo, adems,

aunque, no obstante, etc. Que tambin unen proposiciones conjuntivas y se
representan de la misma manera que el conector ^.

7
Ejemplos:

La tiza es blanca y 6 es un numero primo.

Juan es un estudiante sobresaliente y humilde.
15 es mltiplo de 3, pero 5 no es mayor que 7.
2 es divisor de 20, sin embargo 8 no es nmero primo.
Ir a Lima, aunque el viaje sea largo.

LA DISYUNCIN
Se disyuncin o suma lgica de las proposiciones p y q, dadas en ese orden, a la
proposicin que se obtiene enunciando q a continuacin de p.
Se clasifica de dos tipos:
LA DISYUNCIN DEBIL O INCLUSIVA
Es una proposicin coligativa que resulta de unir las proposiciones p y q con el conectivo
o, el cual se denota por el smbolo v, se escribe p v q y se lee p o q. La regla
prctica es:
La disyuncin inclusiva de dos proposiciones es verdadera si y
solo si por lo menos una de las dos proposiciones es verdadera,
resultando falsa solamente cuando las dos proposiciones son
falsas
Se simboliza:

p v q

Mnica es poeta o deportista.

8 es menor que 5 o 6 es mayor que 5.
, o bien
, y/o...

8
DISYUNCIN FUERTE O EXCLUSIVA

Este caso la palabra o suele usarse en un sentido excluyente.

La disyuncin exclusiva de dos proposiciones es verdadero si y
solo si por lo menos una de las dos proposiciones componentes
es verdadero y no las dos, resultando falsa en otros casos.
Se simboliza:

pq

Su tabla de verdad es:

Ejemplos:

O
O
O
O

ests despierto o ests dormido.

estudio o trabajo.
6 es un numero par o 4 es impar.
bien,.o bien..

LA NEGACIN
Es una conectiva especial que no enlaza proposiciones sino que aplica
directamente sobre ellas modificando su valor de verdad; es decir si la
proposicin es verdadera la correspondencia negacin es falsa y viceversa.
Su tabla de verdad es:

9
Ejemplos:

Santiago no es la capital de Argentina.

No es cierto que hoy es da lunes.
No se da el caso que est lloviendo o haga frio.
No es verdad que 10 es mltiplo de 3.
Ni estudias, ni trabajas.

Observacin:
Ntese que la negacin es una operacin unitaria, en el sentido de que asigna a
una proposicin p, otra proposicin no p. En cambio, la conjuncin y la
disyuncin son operaciones binarias, en el sentido de que a cada dos
proposiciones p y q , asigna una nueva proposicin.
LA CONDICIONAL O IMPLICACIN
Son aquellas proposiciones que se relacionan mediante la conjuncin
condicional sientonces o sus expresiones equivalentes.
Hay dos tipos:
CONDICIONAL DIRECTA
El antecedente y el consecuente van en ese orden respectivo.
La condicional o implicacin tendr un valor de verdad falso
cuando el antecedente p es verdadero y el consecuente q es
falso; en los dems casos diremos que p entonces q es
verdadero.
Se simboliza:

p q

Su tabla de verdad es:

10
Nota: tambin son conectivos condicionales los trminos; porque, puesto
que, ya que, si, cuando, cada vez que, etc. Todas se caracterizan
porque despus de cada uno de estos conectivos est el antecedente o
condicin.

Ejemplos:

Si te vas entonces estar triste.

Hay lluvia por consiguiente hay humedad.
Estudia de modo que ingresaras.
, de ah que..
, por lo tanto

 , en consecuencia
, luego.
., en conclusin.
CONDICIONAL INVERSA
Consecuente y antecedente van en ese orden respectivo.
Se simboliza:

p q

Ejemplos:

Ir de vacaciones siempre que acabe con el trabajo.

Triunf puesto que se esforz.
Es objetivo ya que es veraz.
., si..
...., dado que
., porque.
.., cada vez que

11
LA BICONDICIONAL
Son aquellas proposiciones que se relacionan mediante la conjuncin compuesta
si y solo si o sus expresiones equivalentes.
Si p y q tienen el mismo valor de verdad, entonces la
bicondicional es verdadera, y si p y q tienen el valor de verdad
opuesta, entonces es falsa.
Se simboliza:

p q

Su tabla de verdad es:

Ejemplos:

La manzana es dulce si y solo si est madura.

., cuando y solo cuando..
Si., entonces y solo entonces..
., si y solamente si

V.OPERACIONES LGICA PROPOSICIONALES.

Existen tres tipos de operaciones:
1. Producto lgico
2. Suma lgica
3. Complementacin

12
PRODUCTO LGICO
Su expresin lgica: A.B
El punto significa la operacin producto.

Como es fcil comprender, el resultado vale 1 solo cuando las dos variables son igual a 1, basta que
una de las variables sea 0 para que el resultado tambin sea 0.

CONCLUCION FINAL

oposicin conjuntiv Disyunti

olecular
a
va
OMPUEST
Inclusiv
a (dbil)
nectiva:
o,
njuncin y...pero y/o
,esin
o

Disyuntiva Condicion bicondion

Exclusiva al
al
(fuerte)
(hipottic
a)
Oo,o
Si
si y solo
bieno
entonces si,si,
Entonces
bien,etc. ,si

negaci
n

No, ni,
no es
el caso

embargo bien
,etc.
,

aunque
,etc.

PERADOR
GICO

BLA DE
RDAD

y solo
entonces
,

V
F
F
F

que,n
o es
verdad
que
,etc.

^
pq
p.q
VV
VF
FV
FF

porque
,etc.

p q
pvq

pq
p q

VV
V
VF
V
FV
V
FF
F

V
V
F
F

pq
p q

V
F
V
F

F
V
V
F

VV
VF
F
FV
V
F F
V

pq
pq
V VV
VF
FV
F F

p
p
V
F
F
V

V
F
F
V

13

BIBLIOGRAFIA
_ Jos Luis Mataix Planos-Editorial Dessat.
_Vctor Antonio Centa Cueva.
_ R. Figueroa G.
_ http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
_http://www.unam.edu.pe/website/images/stories/archivos/material_do
c
entes/vaneza_flores/separata/matem_discreta/LogicaProposicional.pdf

14