OONEC11f'OS

LGJC6S

(Conjunciones gramaticales adems el adverbio de negacin no..) LLamados tambin operadores o constantes. son los trminos bsicos de enlace entre proposiciones lgicas simples. siendo las principales 3' , o,., -si entonces ,.~ .si s610 si Segn el conectivo lgico presento que posca mayor jerarqua dentro de la proposicin compuesta. esta adopta el nombre respectivo del eouecuve . sean o.py "q' proposiciones luego los ms conocidos, sern
lW-tJalo

V V V V
F F

V V V F F V
F F

* PO,fU 2 proposiciones
2'

= 22 = 1/ calores

ir

L&IIeo
v

0=

1 ...

,_.
p"q

.
P1Q
poq
Opoq

V V V F F F V
F F F

"
4

Coqjomd60 ~60
Dityunei60

FOBMALlZAClON DE PllOPfIt!ilCIONES

p"q p.o.q
p-q p-q

_,
H

c:a:Iwoiva

Condi."

.na]

enlo~~
p iIl'Yi

BiI:oodit::iomI NopdI> Nepe"a lIt4IDI Ne;riW

-p
p/q

IIlq DOp

IIOpoooq

cmVuota

p'q

D1pniq

ESft1JEMA.

MOLECfJLUI

Toda proposicin compuesta o todo argumento ya sea natural o cient.fico se puede formalizar. para ello hay que distinguir las proposiciones simples que la forman y los trminos de enlaoe que las une . a las proposiciones simples se las reemplaza con una letra que puede ser mayscula o minscula y al trmino de enlace llamado conector lgico con un sfmbolo convencional. EJEMPLO: El tJOl eSI"la estrella ~
P 11

(J<'IlMULA PROPOSICIONAL) Es una frmula lgica que resulta de lo combinacin de variables proposicionales. constAntE'6 lgicas y signos de agrupacin: siempre y cuando sea una frmula bien formada ( es decir que no presente ambigedad). EJEMPLO: (p H q) 1\ (r -45). es una esquema molecular .

la tierra es un planeta
q

Formalizaen : p 11 q
1) lIF"~N"
~

m r r.sraN

(.-v):

Un esquema molecular posee un correspondiente

valor de verdad para los valoree dados en cada variable roposicional. El nmero de resultados en general proviene de las combinaciones de los valores de verdad dI' cada variable propoeicional, a travs de una tabla de verdad. si estas fuesen .tI - existen 2" combnadones, donde 2 es una constant e que representa que cualquier variable puedo sor V F.

Son aquellas proposiciones que hacen uso del adverbio negativo NO o sus expresiones equivalentes.

La negacin consiste en cambiur el valor de verdad que tiene una proposicin . Si la propoeicin es -p su negacin se denota por _p' y se lee: "'10 p . -es falso que po. En groeral la negacin puede rl'ducifllP a la palabra NO a la que simbolizaremos mediante (-) .

~r liJ
plq
V

Pftara 1propmlici6",

2 = ~ =2 oatore

Las diferentes posibilidades Iaa podemos esquematizar en una tabla , denollunada tabla de verdad. EJEMPLO:

V'

Para 2 proposicione!t

V F

2" = ~ .. 4 valores

F V
F F

Si UDaproposicin es verdadera su negacin es falsa

y si una proposicin

es falsa su negacin ser Puesto que la conjuncin gramatical de dos proposiciones cualesquiera indica la verdad simultnea de ambas , la proposicin compuesta resultan te es verdadera si efecti vament.e son verdaderas ambas ; en otros casos la proposicin resultante ser falsa. Mediante la conjuncin proposiciones simples ejemplo: p 1\ (~ q) NOTA: La simbolizacin Jl /\ q es una representacin de la -forma- o estructural de las frases y no una manera de -escrbir la misma frase. La lgica estudia estas formas sin tener en cuenta el contenido de informacin.
08

verdadera. Otras formas gramaticales equivalentes a la negacin , sern : es absur-do que , es inconcebible qlte , no OCltrl"t! qlte , <m.o
t"J,ca.ece que , no es el caso que
t

11-0

es

oerdadero qu.e. no es cierto que , es uno fa,,'su, que , 110 es el caso que, 1'0 es im oginoble que.., es inadmisible que, es mentira que, es falaz que,...etc.

posible relacionar tanto como compuestas , por

11) COlUlINTlVAS

(/\) :

Son aquellas proposiciones que se r elacion an mediante la conjuncin gramatical copulativa -yo expresiones equivalentes.
PORMA T{PICA: ~... y .... EJ]j)MPLO:

p : Roxana comi pescado. q : Roxana se indl~est6. . . ed ~ La proposicin qu arta. "P y q : Roxana comi pescado y se indigest El valor de verdad de una conjuncin ser dado por los valores de verdad de las propoeicicnes que la componen y de acuerdo a la siguiente tabla: p V V F F q V F V F
P/\q Py q

H) D1Sl'll1\I.'1'WAS ( 1\ ..:l)
Son aquellas proposiciones que se relacionan mediante la conjuncin diayun tiva o sus expresiones equivalentes. Pueden ser:

-o.

A) INCLlJSWll DBIL (V) : Es aquella en la cual se considera las posibles ocurrencias simultneas o individuales de sus Componentes .
FORMA TPICA: ... 0...
.~

V F F F

Pn o obstan te q p adems q Selee : <psin embargo q Pcada vez que q p pero q'>

EJEMPDf;)S :

P 1\ q es verdadera (V) nicamente cuando <p y q son ambas verdaderas. Otras formas gramaticales a la conjuncin sern
No alo" p. tambin
lO lO lO (,"

p: 4 es menor que 7 q: 4 ss igual a 7.

La proposicin quedara: "P" o q: 4 es menor que 7 o igual a 7. El valor de verdad de una disyuncin inclusiva ser dado por los valorea de verdad de las proposiciones que la componen y de acuerdo a la siguiente tabla:

....p .. del mismo modo" q ..

P poro. ftunquQ" q" .. " pAlicomo"q P ieeluec, incluelve, tal corno, el igulll que"
lO

t,"

ti.

P'" a menos que *q.

..p "y"<:>

Ni misn,o q

.... pamboaalavez." p" y"q" .. Sin" p. tampoco puede haber" q"

.. Tanto"pcomoq
.. Cierto eaque" plom.i!lmoque"q .. oompal.ible p' con" q" .. Siempre ambce p. con" q" '" p "Slmultneemeate" q"
..p. ms,aI mismo t.iempo q"

V V F F

q V F
V

PVq

tl.psa]voque"q"

V V V F

Se lee :

p .. excepto :q.

'p' o delocontrario 'q' P' o en tal sentido 'q' .p. y/o .q.

p v q es falsa (F) nicamente cuando p y q son

ambas falsas en los dems casos es verdadera.

EJBMPLO:

el consecuente tambin sea verdadero. De aqu que

q

,,4 es menor que 7 o ,,4 e8 igual a 7

p

una condicional 8010 ser falsa si el antecedente es verdadero y el consecuente es falso. Las peoposicioncs condicionales pueden ser: A) D6J1lECTA (-+): Antecedente respectivo. EJEMPLO:
Si
y consecuente

Sirnb6licamente : p V q o Su valor de verdad: V v F = V .....(Segn tabla) B) ~CLfJSIVA E'V'E1IU'E (1::.):

van en ese orden

Esta disyunci6n excluye la posibilidad de ocurrencia

simultnea de ambas . Forma tipica: ff 0 0 EJEMPLOS: O viajas por tierra o por aire. o O es blanco o es negro. ~ lJiajamos a Cusco
p

I hace fro I
anteoedente

entonces

I me abrigo I
oon!ieC'U4mle

El valor de verdad siguiente tabla :

(' p -> q . viene dado en la

El

lJiajamQs (/,'J""Villo
Q

p_q

p u04fllvole a ..q.

P6.q

V V F F

V F V F

P V V P

p. no se.pefine como.q.P es diferente 9q.. Se lee: "ya bien -s ya bien .q' "ya sea 1 ya sea .q' * P" excluye a q"

"

V V
F F

V F V
F

V F V V

siepveroncee q p implica q Se lee: "pHd.adoque "ej'

q> porque p

p ~ q es falsa (F) nicamente

cuando p es

verdadera y q es falsa. EJEMPLO: Si: ,,4 es m.elWr que 7 entonces ,,4 es igual a 7,. p Simblicamente:
~

Una proposici6n disyuntiva exclusiva es falsa slo si sus componentes tienen igual valor veritativo , en caso contrario es verdadero.

q
p -> q

81) CONDICIONALES (-+):

S011 aquellas proposiciones que se relacionan mediante la conjunci6n condicional si. .. entonces ..... o sus expresiones equivalentes. EJEMPLOS: Si estudias entonces ingresas. Si pago la entrada entonces ingreso al cine . La proposici6n condicional consta de dos elementos el antecedente y el consecuente. FORMA TPICA: .. Si antecedente

Su valor ~ verdad:

V ... F=F ......... (Segn tabla)

Otras formas gramaticales a la condicional directa. sern: S' . . Ie tempre por cons'lJIllen . Con. tal de qlle es obvio ..

..Cuando
+Codo. vez que

ast pues
en consecuencia"

.
..

Cada vez
.. Con. que ..En el.caso de qlle .. A condicin de que

consiguientemente en este caso

.esto trae consigo

.. .
. .

I entonces I consecuente I
oonfItCfletlte

po7 eso

..Dado que
Si llueve
allteoJ~,te

segn lo cual
porlo cual de alU que

.
.. .

entonces me mqjal'

Como quiera ({ite ..E" la medida en que

El sentido de (p ....q) es sealar que si la proposicin antecedente es verdadera, tambin lo es la proposicin consecuente , es decir, basta o es suficiente que el antecedente sea verdadero para que

..En cuanto
AI
.I:)e..............................

portanto pOr el expuesto

en tal sentido

.. .
.

Una vez qlle

luego

..

(!.

AJe",as qtl-e

naturalmente
es videllte
(15

.
.

* Suponiendo

EJEMPLO: "4 es menor 7" si y s6lo "4 f!1J igual a 7'

q

* Ya que
Todo est en que 1a. euestin . es 'P,e

P un. hecho . bien-se 00 Simbolicamente : p ++ ti . .

. Su valor de verdad: V ++ F = F

.1 l)eVle"e Es sufi.cienle que Se eoneluye * En otrtud. de que ...........es sufieiente

(Segn tabla)

* Desde el momento
Hasta-que
'Se gun
Teniendo
el"

que

da lugar a................. debe ocurrir .

H #~ wglCU1/Je "'.., .............

.........................

Son los que se usan para separar las propiedades moleculares de acuerdo a la jerarq ua que le da el sentido lgico.

cuello que .... es COlldici." suficiell,te ...

B)lNDIRECl'A. (f-): 1\1 consecuente le sigue el antecedente.

EJEMPLO: porque estudias,:!!
u-,.I.cftd nte p

I)PARNTESIS( ):para separar proposiciones bsicas EJEMPLO: S hay calor y humedad, entonces hay lluvia: (p 1\ q) -+ ,. . 2) CORCHETE
menores. EJEMPLO: S hay calor y humedad, entonces hay lluvia siempre y cuando se trate de la regin andina: [(p 1\ q) -+ r] ++ S 3)LLA VES 1): mayores para separar formas lgicas

I 1: para

separar formas lgicas

~\_

Luego : q-e p

SIL' Iormas gramaticales son :

.. p, si ep' P siempre que q * "P ya q P pues que (/ P supone que (/ "1'" porque q ( Doble Implicacin): Son aquellas proposiciones que se relacionan mediante la conjuncin compuesta si y slo si o sus expreslones equivalentes. El smbolo H al relacionar dos proposiciones indica que el valor de verdad de ambas es el mismo, ya sea verdadero o falso . EJEMPLO: Es ltn cltudrilMero si y s610 si tien.e 4lad.os
H

IV) BIC01\TIJ.IClONAL ( H) :

EJEMPLO: Es absurdo que; si hay calor y humedad, entonces hay lluvia siempre y cuando se trate de la sierra: "'{[Pl\tI):~ ,.]++ s} todo negado.

'?

oIBJlA.JlftllA
LiHHcos

DB

CONECTO.llBS

EN FOIUU. DESCElIIDElITE

JO) Biimplicador (++)

~) Disyuntor fuerte (.1)

SO)

Condicional (=)
(1\

4) Conjuncin y disyuncin ;O) Negacin ("') q

v)

P
Su tabla de verdad. ser:

.JElIAJIftviA EN BL BSftl'JEMA
MOLBClJLlI.
Dentro de la estructura de un esquema molecular slo uno de 108 conectivos lgicos es de mayor jerarqua , el cual va a dar el nombre al esquema molecular. Para ello se debe tener en cuenta el correcto uso de los signos de coleccin entre las diferentes variables proposicionales

q
V
F
V

p+-+q

p ++ q es oerdadero. (V)

V
V F F

V
F F
V

nicamente cuando P y q tienen. el

mismo ualor de vcIVJCl(l

EJJDMPLO:

TAVTOLOGIA :

<D

ee

Es todo proposicin cuyo valor de verdad es siempre

('" [p /\ (q v r) ] }~ {( p v q) ~ (p /\ r) }
La jerarqua es la siguiente:
1) primera jera1'((lla

verdadero (V), para cualquier combinacin de los valores de verdad de sus componentes, se le denota por "v...

(nombre del esquema molecular: condicional)

2) S4>gll ndo je1'(JN/II(o
3) 1("'Cf!1Yl jerart(lda 4) cuarta jerarqu(o

EJEMPLO: La proposicin : JI -> (JI v s es una tautologa tal como se puede comprobar en su tabla di> verdad:
11 q p .....(pvq)

EJEMPLO: formalizar la siguicnte expresin :

V V F F

V F V F

V V F F

V V

V V

"Es falso que si Mery no compra su vestido entonces no ir al bautizo , adems bailar" Sean :
p : Mery compra su vestido
.1-:1..

(1)

Entonces: JI'" (p v q} = V

OO-,-'-TBADICCllV:
-~
1\

q : Mery ir al bautizo r: '1ery bailar Luego: ['" ('" p ~ '" q)]

Es toda proposicin cuyo valor dp verdad es siempre

falso (1") ,para cualquier combinacin de los valores de verdad de BUS componentes. Se le denota por P. EJEMPLO:

El csquema molecular es conjuntiva.

EVALlJACl~V DE ESftrm~1J1S "OLECllLJtRES

Conaiate en obtener el valor o los valores del conjunto lgico de mayor jerarqua a partir de los valores veritarivos de cada una de las variables propoSicionales. EJEMPLO: Evale el siguien te esqu ema

La proposicin: .(p /\ q) /\,...., q" ea una CON'J'llADICCIN Lal como se puede comprobar l'I1 su tabla de verdad.
p q (p/\ qJ/\", q

V V
C'oJ1

V F
V

V F
F

F F
F

F V
F

F
'"

...___...__...
q F

p q VV

(pr. '" q) (p '" q)

v (q 4 p)
V

Entonces :

({I/\

q) {I,

(q4 p)

VF FV FF

VFF VVV FFF FFV

~~I~I ~ F VIF!F
I

Es toda proposicin 16gica cuyo valor de verdad tiene al menos un verdadero (V) y un falso (F).

1-.___./

Fll'.lF

EJEMPLO: La proposicin .(p v q) -+ ~ p.es una contingenci tal como se puede comprobar f'll su tabla de verda

IHatriz

principal

p fI

(p vq)4'" P

TAUTOLOGA OOlV'TBADICCIN OOvrINGEJ..VClJ1.

V V

F
V

V V
V

F
V V

F F
V

F
F

Ir

DIPUCAUNLOOICA.

EJEMPLO: A: (p .... q)

Es aquella oonclicional de resulta ser una tautologa y se denota p => q y se lee p implica a q

E:

-q-r-p p q (P-,>q)~("'q4vp)

1DJEMPLO :

V
V

(rv p

q) --+ (rv q
~

--+'" p)

A
p

B
(~q~ p) V F :V\ F . VjF: F P :V: V V:.. Y
.

q V

('" pvq)

. V P :P~ V V F V 'V: V P . P F .v: V V .... ...___.,......__..,

'

;V: , . V

:V. . . P

. . F: P . .
; V. :V! .... V

V F

P 'V' V P p P
V VV

V
V V

ll/nales

F V
F F

V :Y:F
,-

. .

---t----

Se puede decir tambin que dos proposiciones son lgicamente equivalentes cuando la proposicin bcondicional que las vincula es una tautologa, es decir si: (p <=> q) --+ (p == q) LeJ' lgica

Como (A -+ E) es una tautologa~ Entonces A=> B es una implica~1Jn

LEYES

DEL LGEBRA.

PROP(JICl01VAL
ser una Son equivalencias lgicas que nos permiten simplificar un problema y expresarlo en forma ms sencilla las demostraciones se hacen construyendo la tabla de verdad en cada caso.

EftlJTVALENCLl

LGICA.

E~ aquella bicondicional que resulta tautologa y se denota : p {:}q 1DJEMPLO :

(pA'" q) -+'V A
p

('"

Pv

l)
qv
p)

PIUNClPALES

LEYES:

q
V F V F

(PA'" q) ~'" ('"

V V F F

(P':F :V V

F V V
V P F V ~V

...___..

~ <::

:p: F V . ~VF . V V V jF:V . . . . :V: V :.f)V F

Como bien dijimos arriba, aquellas frmulas lgicas que resultan ser slempre verdaderas no importa la combinacin de 108 valores veritativos de sus component&?, son tautologas o leyes lgicas. En el clculo prop6sicional existen algunas tautologas especiahnente tiles cuya demostracin se reduce a la oonfecci6n de su oorrespondiente tabla de verdad,
a saber:

Entonces A=> B es una equivalencia lgica

LEY.E

LA. I.E8U'OTENCa

'.OPOSICIONES

LGICAnERrE LEY CON11flJTATIVA: IpAq::qAp

f-+

EftlJIVALENTES(=)
Ipvq::qvpl Ip
f-+

Son aquellas que poseen tablas de verdad equivalentes (iguales) siendo posible el uso de una de ellas por la otra, y se denota p. q .

I I

q :: q

Ip..1q ::q~p

LEY ASOC'tlT.lVA :

I(pv q)v
I(p/\

1'= pv(qVI')
P/\(q/\l')

q)AI'=

LBF

D.lSTlUBllTIVA:

IpV(qAr)=(pvq)A(pVr) Ip A(qv r)= (p Aq) V(p A")

LBY DB nO.flAN :

8 > 18, Para: x = 23 ~

1

"

(PALSO)

Pr 23) : 23 _ 2 > lB
(VERDAD.ERO)

21 > lB

Como puede verse, dependiendo del valor de la variable podemos obtener resultados diferentes.

1- (p

q) '"'"

P/\ -

1 1- (p /\ q)

II"V

pv -

ClJANrIFECADOBBS V...,.M.....,"rL.."BSAL .. fI EXISTENCIAl,

Si a una funcin expresin -para sentido universal obteniendo ahora NOTAOI6N: proposicional, le anteponemos la todo "', estaremos indicando el de dicha funci6n proposiconal una proposicin lgica.
("1.,,)[ 1(.1')J

LBY DBL CfUU'LEnEltlTO :

LBY DB LA .lDENJ'HlAD :

IpvVeV IpvPep

I I

IpAPe P IpA~~eP

I
I

"Ix:

1(.,) Vx/1(,,)

Se lee: para todo x , tal que , se verifique P(s).'

LBY DB LA CONII.lClOXAL :

EJEMPLO: Si tenemos una funcin proposicional: P(KI::I: + 5 > 2 (no os proposicin lgica), y ahora le agregamos el cuantificador universal V'"

LBY DB LA B.lC01flD.lClONAL :

LEY DE ABSOII.ClN :

(proposicinal lgica) Tendremos una proposicin lgica , cuyo valor es falso, por que todos los valores de X cumplirn la proposicin, por ejemplo: para x = -4 , no cumple. Entonces es falso que para todo x" , se cumpla:

P'.1'1 . "Ix : x + 5 > 2

"Ix:

Ipv(p/\q)=p

Ip/\(pvq)=p

x+ 5 > 2. "o
CUAlft'.lilCADO.ll. EDSTBNClAf,: Si a una funcin proposicional, le anteponemos la expresin existe un x tal que- , estaremos indicando el sentido existencial (que exista) de dicha funcin : NOTAOI6N:
:Jx: PfJt) :J,,,/p( ..) (:Jx)(P (,,) )

Es aquel enunciado que contiene una variable y que tiene la propiedad de convertiste en verdadero o falso para cierto valor de la variable. Las rUJlciones proposicionales se pueden representar por: 1'(.<)' Q(M)' R(Ki ' ele , donde X serta la variable. EJEMPLOS: x - 2 >18 Q(X):,r? + 4=16 R(X) : X es un nmero primo. Si en la primera funcin proposicional darnos diferentes valores tendremos : "Pese : x = 10 ~ PclOI : 10 - 2> 18
p(X)

Se lee: existe un ." , tal que, se verifique PI"I'" -exste por lo menos un x , tal que, se verifiqu Pr..1 -al menos un x , verifique PM", EJEMPLO: PI,.) : x - 3 > lO
3": PI#)

P(Ki:

(funcin proposicional)

le

3x : x - 3 > 10 (proposicin lgica) para verificar que es una proposicin lgica, podemos darnos cuenta que si x=15, se cumple la

desigualdad, ya hemos encontrado por lo menos un xn , que verifique P,., por lo tanto es una proposicin lgica, cuyo valor es verdadero. NEGllUW DE PROPOSICIONES TrENE.V ClJANTIFIC/lDl.RF.s
'<Ix: P(x)

~llE

Sea la proposicin :

Tenemos: '\Ix : p(:r) ::;) q(x Teniendo en cuenta la forma de negar una funcin proposicional cuan ti cada universalmente y una implicacin reslLlta:3 x/p'x) ,,- q'N y traduciendo al lenguaje ordinario resulta: Existe,. alumnos de mi colegio que ,1<) 90'. aplicados. Son arreglos de interruptores conocidos como compuertas lgicas, donde cada compuertas lgicas, donde cada compuerta lgica tiene su tabla de verdad. El valor de verdad de una proposicin puede asociarse con interruptora. que controlan el paso de la corriente. A~sl una proposicin es verdadera, el interruptor estar cerrado y la corriente pasar. Si la proposicin es falsa el interruptor estar abierto y la corriente no pasar.

Su negacin ser : ~ IV x : 1(..)1 3x :~

3x:

1(

De la misma forma , si tenemos la proposicin:

1(x ).

Su negacin ser : ~ [3 x :
]j]J]j]MPLOS . iJ 3x :x= 7 - [3:>:: x = 7}

ll l = 'fx :"V 1(x)

r

'fx:

X;lo

ii) 3 x : """ es un nmero par.

rv [3x: x es un nmero par nmero par.

J. 'fx:
~~
~

""''' no es un

p=V

P=F--

iii) '<Ix:

>1
> 1] .3", : ",2

'" (TIx: x2

s1

Una funcin proposicional cuantificada universalmente es V si y slo si son V todas las proposiciones particulares asociadas a aquella. Para asegurar la verdad de una proposicin cuantificada universalmente es suficiente que sea verdadera alguna de las proposiciones asociadas a la funcin proposicional. Un problema de inters es la negacin de funciones propoaicionales cuantificadas. Por ejemplo, La negacin de "Todos los enteros 80n impares es Exieten. elite ros que 110 SOIl impares y en smbolos: 3 p.~. e ) una funci .. al ntonces, para negar unci n proposrcron E cuantificada universalmente se cambia el cuantificador en existencial, y se niega la funcin proposicional.

Imginate el interruptor delante de un foco : El foco se encuentra si el crculo est cerrado y pasa la corriente. (si la proposicin es verdadera J. ~,\III/.
-=:::
-..;:

'/

p
C'o

El foco ni se ~llcedcJ' si el circuito est abiertO y no pasa la corriente,

(Si la proposicin es falso)

x/-

Los clrcuitos pueden ser :

!Y ----~

-----~~/
IEqltWalellcia Lgica
p"q

EJEMPLO:

Serie -p--qParalelo

Supongamos la proposicin : Todos los alumnoe de mi colegio son aplicados. La vamos a escribir en lenguaje simblico, negarla y retraducir la negacin al lenguaje ordinario. Nos damos cuenta pronto que se trata de la implicacin de dos funciones propoaiclonales: p,. : es alumno de mi colegio q,x : es aplicado

Mi.~to

--[;J---L'V,Y

v
(p"q)v('Vr,