p q r

(Conjunciones gramaticales adems el adverbio de

negacin no) LLamados tambin operadores o V V V
constantes , son los trminos baioos de enlace entre V FV
proposiciones lgicas simples , siendo las principales
y, .io, si entonces , .si s6lo si
V F V Para 2 proposiciones
Segn el conectivo lgico presente que posea mayor V F F 2n = 2' = 4 valores
jerarqua dentro de la proposicin compuesta , esta F V V
adopta el nombre respectivo del conect.ivo , sean "/J" F V F
y -q proposiciones luego los ms conocidos , sern
Al-bolo F F V
Opa**1oi
c.-... e.qu... Sip,iGc:wJo F F F
L6'llm 14lca
11 Coojunci6o p11q pyq PO.IIMALIZACLON
V Dii,yuncl6o pvq poq
4 Disyunci6o opoq
DE PB.OP081CLONES
p.aq

-
e:u:lnma
Toda proposicin compuesta o todo argumento ya
Condinal p-q ento"1iJ...a sea natural o cientfico se puede formalizar, para
p-q p ~ye<>w
H Bi<oDd!ciona1 ello hay que distinguir las proposiciones simples que
-
",o "1 q
NegadD ~p ',.,. DO p la forman y los trminos de enlace que la, une , a
Nepcia las proposiciones simples se las reemplaza con una
I aJtm,.a
p/q DOpoDOq
letra que puede ser mayscula o minscula y al
! N~ plq ni p nlq trmino ele enlace llamado conector lgico con un
~Lo
snbclo convencional.
ESftl]BRA MOLECVLAB E.TEMPLO:
(FRMULA PROPOSICIONAL)
Es una frmula lgica que resulta de la combinacin
El sol es uria estrella ~
p
la tierra es
q
= planeta
de variables proposicionales , constantes lgicas y /\
signos de agrupacin : siempre y cuando sea una Formalizacin : PI\ q
frmula bien formada ( es decir que no presente
ambigedad). 1) lllBGAflY!N IIB l7R& raer.ma.s (-v):
~
EJEMPLO: Son aquellas proposiciones que hacen uso del
(p +.+q) /\(r~s), es una esquema molecular . adverbio negativo NO o sus expresiones
equivalentes .
Un esquema molecular posee un correspondiente
valor de verdad para los valores dados en cada La negacin consiste en cambiar el valor de verdad
variable proposicional. El nmero de resultados en que tiene una proposicin .
general proviene de las combinaciones de los val ores Si la proposicin es P , su negacin se denota por
de verdad de cada variable proposicional, a travs -p y se lee: no p , es falso que p-.
de una tabla de verdad, si estas fuesen -n .. existen
2'' combiuaciones, donde 2 es una constante que En gen eral , la negacin puede reducirse a la palabra
representa que cualquier variable puede ser V F. NO a la que simbolizaremos mediante ( - ) .
l.as diferentes posibilidades las podemos
l!:J
~{ Para 1 propMici&,
esquematizar en una tabla , denominada tabla de
2" al =2 oatoree verdad.
p q EJEMPLO:
V V Para 2 proposiciones
V F 2" = 22 = 4 valor-es
F V
F F Si una proposicin es verdadera su negacin es falsa
y si una proposicin es falsa su negacin ser
verdadera.
Otras formas gramaticales equivalentes a la Puesto que la conjuncin gramatical de dos
negacin , sern : es abszuo que , es proposiciones cualesquiera indica la verdad
inconcebible que , no oc,irre que , no simultnea de ambas , la proposicin compuesta
acaece que , 11.0 es el caso que , 11,..0 es resultante es verdadera si efectivamente son
oerdodero que, no es cierto que , es una verdaderas ambas ; en otros casos , la proposicin
farsa que , no es el ca.so que, 110 es resultante ser falsa.
im agi nable que, es insulmisible que .., es
Mediante la conjuncin es posible relacionar tanto
mentira que, -es falaz que, ... etc.
proposiciones simples como compuestas , por
H) CO!UlJNTIVAS (A): ejempi o : p r,, ("' q)
Son aquellas proposiciones que se relacionan NOTA:
mediante la coujuncln gramatical copulativa Y
o expresiones equivalentes. La slmbollzacin p /\ q es una representacin de
FOR!.1A rt.PICA: ... y ... la -forma- o -eatructural- de las frases y no una
manera de -escr ibi r la misma frase. La lgica
EJ]J)MPLO:
estudia estas formas sin tener en cuenta el contenido
p : Roxana comi pescado. de informacin.
q : Roxana se indiest.
H) D18FV1J/!1'ff'AS ( /\ ..d)
La proposicin quedara: ~
p y q : Rosana comi pescado y se i,uligesi Son aquellas proposiciones que se relacionan
mediante la conjuncin clisyuntiva o o sus
El valor de verdad de una conjuncin ser dado por expresiones equivalentes . Pueden ser :
los valores de verdad de las proposiciones que la
componen y de acuerdo a la siguiente tabla: A) INCLVSJVA DBIL ( v) :
py q Es aquella en la cual se considera las posibles
p q P/\<J
pno obstante q ocurrencias simultneas o individuales de sus
V V V Componentes .
p padems q
V F Se lee: FORMA TPICA: o ...
r V F psin embargo q
~
F F F pcada vezqueq,, EJEMPift)S :
ppero q p : 4 es menor que 7
p Aq es verdadera {V) nicamente cuando p y q q : 4 es iual a 7.
son ambas verdaderas. La proposicin quedara:
Otras formas gramaticales a la conjuncin sern p o q: 4 es menor que 7 o igual a 7.
No &lo p t.cunbin" q" El valor de verdad de una disyuncin inclusiva ser
p del m'8mo modo" q" dado por los valores de verdad de las proposiciones
ppcl"O,auncue" ,, que la componen y do acuerdo a la siguiente tabla :
pui oomo,,
p incluao., incluaive, tal corno, al igual que" q P a menos que Q
pNin,iamoq p q pyq p salvo que "q
y<>
pa.mbialave"L" p" y"q"" V V V p excepto q
Sin p t.a.mpoco puede haber" q" V F V Se lee:
t o de lo contrario q
Tente" pcomoq F V V
p o en tal sentido q
Cierto es que" p lo miamoque q F F F
ea compatible p oou" q" P y/o q

Siempre embce " p "een" q"

p sunu)tnee.mente" q .. pvq es falsa (F) nicamente cuando p y q son
pm.s,al miemo fiempc" q"
ambas falsas , en los dems casos es verdadera .
EJ]J)MPLO: el consecuente tambin sea verdadero. De aqu que
una condicional solo ser falsa si el antecedente es
4 es m.enorque 7 o 4 es igual a 7 verdadero y el consecuente es falso .
p q
Simblicamente : p V q Las proposiciones condicionales pueden ser :
Su valor de verdad : V v P = V ..... (Segn tabla) A) D.IIIEC'J'A (-t):
Antecedente y consecuente van en ese orden
B) iNCUJSIVA IUBJl!J.'B (6.):
respectivo.
Esta disyuncin excluye la posibilidad de ocurrencia EJ]J)MPLO:
simultnea de ambas .
Forma.tlpica : o ... o..... Si ['-<Ice [iij entonces me ,,bT'igo
BJJ]J)MPLOS : "'~' OOttMM'IJ4!lllf!

O vi ajas por ti erra o por aire. l<:l valor de verdad p ... q viene dado en la
O es blanco o es negro. siguiente tabla :

~ viajamos a C11sco ~ viajamos a 'l'n,jillo p q p-q siep-entonoes q

p q p implica <J
V V V Se lee:
no,~lrivalea q '*p"dado que "<i'
p q p t,. q
P V F F
P no se.dene como <J> q, porque p
V V F
F V V
*P es diferente a.q.
V F V Se lee:
ya bien p ya bien Q
F F V
F V V >ya sea p. ya sea <p p--, q es falsa (F) nicamente cuando p es
F F F verdadera y q es falsa.
p exduye a q ..

Una proposicin disyuntiva exclusiva es falsa slo E.TEMPLO:

si sus componentes tienen igual valor veritativo , Si: 4 es nwn.or que 7 eronces 4 es igual e, 7
en caso contrario es verdadero . p q
HI) CONll:ICIONALBS ( =) : Simblicamente : p.... q
Son aquellas proposiciones que se relacionan Su valor ~ verdad : V--, F=F ......... (Segn tabla)
mediante la conjuncin condicional si ... "'
entonces ... o sus expresiones equivalentes. Otras formas gramaticales a la condicional directa,
sern:
EJEMPLOS:
* Siempre por consiguiente .
Si estudias entonces ingresas.
Cor,.'"' de que es ob oio .
Si pago la entrada entonces ingreso al cine .
Ouondo ost pues ..
La proposicin condicional consta de dos elementos ''Ccula wz que .er, consecuencia ..
el onteoedente y el consecuente. C<,,,Ja vez consiguientemente .
FOll.MA rt.PICA: * Con (flte.. en este C(ISO,, ,,,,,,,,, ,.,,,,

I
Si a11tecede11fe I entonces ! 0011sec11e11te I *En,,[ caso de <pu
*A 001,_(.l',icw,,
" e-' (fl.te
.esto trae oonsig()
po,~ eso
..
.
causa-
* Dado que segn lo euoi ..
Si llueve entonces me mojar * Como quiera que por lo cual ..
a 11 teoeen te oonfJl.!Cflfflle * En la medida en que de all que .
El sentido de (p- q) es sealar que si la proposicin * En euaro por tanto .
antecedente es verdadera , tambin lo es la *Al por el expuesto ..
proposicin consecuente , es decir , basta o es De .en.tal sentido ..
suficiente que el antecedente sea verdadero para que
* Una vez que luego ..
* Apenas noturalmente . EJEMPLO:
* Suponiendoque .es evidente .. "4 es 1ne1u,r 7" si y slo 4 es igual a 7"
* Yaqz1e .............................. es ,, n hecho . p q
* Todo est en. que bien se ve . Simbolicamente : p ++ q
lo. cuestin es que deuiene .. Su valor de verdad: V tt F = F ...... (Segn tabla)
* Es suficie,e que Se ooneluye ..
En virtud de que es suficiente .. SDJOLOS .111zx11,lARES
Desde el 1110111e11to q11e dal11ga1 a .. Son los que se usan para separar las propiedades
* Uasta q,,e debeoc1117i , . moleculares de acuerdo a la jerarqua que le da el
Segt1,,, l 6gi.c<1111er1 te.............. sentido lgico.
Te,iie,,do e,1, aienra que .... es condici,, :,uffce,1,te ... l)PARNTESIS( ):para separar proposiciones
bsicas
B)IND.IBEC'l'A ( +--):
EJEMPLO:
Al consecuente Je sigue el antecedente. S hay calor y humedad, entonces hay lluvia:
EJEMPLO: (p r; q)-+ r.
!.!!.. .
c_,.,~s_cis_te_
porque estudiaste 2) CORCHETE l J: para separar formas lgicas
p
"'~'
........
menores .
Luego: q-,p EJEMPLO:
Sus formas gramaticales son : S hay calor y hwneda.d. entonces hay lluvia siempre
p) si q y cuando se trate de la regin andina:
(( p /\ q) ~ r) ++s.
* JJ siempre que q
p ya q,, .'J)IJJ,AVES 11: para separar formas lgicas
mayores
* p pues que q
* p supone que <
EJEMPLO:
* p porque q Es absurdo que ; si hay calor y humedad , entonces
hay lluvia siempre y cuando se trate de la siena:
IV) .BICONDICIO~V.AL
( tt) : "'{[p /\ q)-~ r) ++ s} todo negado.
~
( Doble Lmplicacin}:
olBaA.B.ftllA. DB CONBCTOB.Bti
Son aquellas proposiciones que se relacionan
LGICOS EN FOIUU. DESCENDENTE
mediante la conjuncin compuesta -ei y slo si o
sus expresiones equivalentes. I) Biimplicador (++)
El smbolo tt al relacionar dos proposiciones indica 2) Disyuntor fuerte (t.)
que el valor de verdad de ambas es el mismo , ya sea
verdadero o falso . 3) Condicional ( ~)
EJJIJMPLO: 4) Conjuncin y disyuncin ( /\ v)
Es un cuadriltero si y slo si tie11.e 4 latlos 5) Negacin ("')
, ++ q
Su tabla da verdad , ser :
.JBJIAB.ftviA EN BL BSftl!BnA.
MOLBCIJLAR.
p q P+-+<J p ++<es oerdadera (V) Dentro de la estructura de un esquema molecular
V V V nioamente cuando slo uno de los conectivos lgicos es de mayor
V F F p y q tienen. et jerarqua , el cual va a dar el nombre al esquema
mismo valor ele veroad molecular. Para ello se debe tener en cuenta el
F V F correcto uso de los signos de coleccin entre las
r r V diferentes variables proposicionales
EJEMPLO: TAlJTOLOGlA. :
ee @ ee @ Es tocio proposicin cuyo valor de verdad es si empre
verdadero (V), para cualquier combinacin de los
{~ (p /\ (q V r) ] }4 {( p V q) B (p /\ r ) } valores de verdad de sus componentes, se le denota
por V.
La jerarqua es la siguiente :
EJEMPLO:
1) p rime ra. je"" TY(lda
(nombre del esquema molecular : condicional) La proposicin: p-+(pvq) es una tautologa tal
como se puede comprobar en su tabla de verdad:
2) Se:1111da [erarquta
p q p~ (pvq)
3) teroera. jel'ON[lda
V V V V V
4) cuarta jl'l'01Yf11a
V F V V V
EJBJMPLO:
F V F V V
formalizar la siguiente expresin :
P P F
"Es falso que si Mery no compra su vestido
'-""
V
...__..P
1
(2) (1)
entonces no ir al bautizo , adems bailar"
Entonces: p --. (p v s) = V
Sean:
p : Mery compra su vestido
q : Mery ir al bautizo Es tod a proposicin cuyo valor de verdad es si empre
r : Mery bailar falso (F) , para cualquier combinacin de los valores
Luego: de verdad de sus componentes. Se le denota por F.
EJEMPLO:
El esquema molecular es conjuntiva.
La proposicin: [p r q)",.., o es una
EVALlJACI.1.VDE ESftlJE~'IAS CONJ'UADICCIN tal como se puede comprobar
~:IOLEClJLARES en su tabla de verdad.
Consiste en obtener el valor o los valores del p q (pAq)I\N q
conjunto lgico de mayor jerarqua a partir de los V V V F F
valores veritativos de cada una de las variables V F p F V
proposicionales. c-E V F F F
EJEMPLO:
F F F F V
Evale el siguiente esquema '--".----

{pi\~ q) V (q 4 p) Entonces : (p " q)" ,..,q ~ = F
p q {pi\~ q) V (q 4 p)
CQ.\!'IJNGENCEA:
vv V F F V VjVV
Es toda proposicin lgica cuyo valor de verdad
V F V V V V Fivlv tiene al menos WJ verdadero (V) y WJ falso (F).
FV F F F F . .
vlFiF EJEMPLO:
FF F F V
-,.___...
V FlVLF La proposicin <P v qJ ... - p,-es una contingencia
tal oomo se puede comprobar en su tabla de verdad.
Matriz p
principal p q (p vq)
V V V F F
TAVTOLOGiA. C0.1.VTRADICCIIVy
co_,vrmGElvCIA V F V F F
F V V V V
F F F V V
______.,..___,,
 EJEMPLO:
A: (p .... q)
B: -q-r-p
Es aquella condicional de resulta ser una tautologfa
y se denota p => q y se lee p implica a q p q (p--+ q) H ("' q -'Yv p)

HJJJJJMPLO : V V ;\T: V P : V: P
V P :P: V V (P: P
(rv pvq)-+(rvq -+rv p)
A B F V 'V.
. . V F =v. V

("' pvq) --+ (- q-+- p) F F \V.

.... V ....__...
V =V " ..
V
p q "-..../

V V F:V'V V F ."V\ F t Iguales

t
V F F (F F V V (F'
. .
F
F V V ;V-V V P 'V,
. . V
Se puede decir tambin que dos proposiciones son
lgicamente equivalentes cuando la proposicin
F F V )(F V V' ...V V bicondicional que las vincula es una tautologa , es
-- __..t __ -- decir si:
(p ~ q) -+ (p = q)
Leyl-Ogioa
Como (A --+ B) es una tautologfa
~
Entonces A ::) B es una impliclat>n LEl'ES DEL LGEBRA
PROPOSICI01VAL
Son equivalencias lgicas que nos permiten
Es aquella bicondicional que resulta ser una simplificar un problema y expresarlo en forma ms
taut.ologa y se denota : p ~q soncilla las demostraciones se hacen construyendo
BJ:BMPLO: la tabla de verdad en cada caso.

(P""' q) ~
A
("' pv J> P.IU.NCIPALBS LBFBS :
Como bien dijimos arriba , aquellas frmulas lgicas
p q (pi\- q) ~-(- qv p) que resultan ser siempre verdaderas no importa la
V V F F F V ,F\F ,V, V combinacin de los valores veritativos de sus
component&->,son tautologas o leyes lgicas. En el
V F F V V V /V)F 'F' F clculo proposicional existen algunas tautologas
F V V F F V :p:y :v V especialmente tiles cuya demostracin se reduce a
F F F V
V ._
,
V '.f.) V
...___. - ..__.,
:.V..' F la confeccin de su correspondiente tabla de verdad,
a saber:
Entonces A=> B es una equivalencia lgica LEY DE LA IDEMrOTENCIA :
ra.orOSICIONES .1,GICAMEN'l.'E
Eft,lJIVALENJ'ES( =)
Son aquellas que poseen tablas de verdad LEY CONMV'l:ATWA :
equivalentes (iguales) siendo posible el uso de una
de ellas por la otra , y se denota p q . lpVq::qVpl lpi\q:qi\p I
lpHq:qH p I lp.dt] = qLlp I
LEY ASOCIATIVA. :
!(pv q)vr: pv(qv r) 1

!(pi\ q)l\r: pA(qAr) 1

LB"I' DISTIUBV'J'WA.: 8 > 18 (1'"'AI.SO)
*Para: x=23~P23>:23-2>18
lpv(qAr).::(pvq)A(pvr) 1
21 > 18 (VERDADERO)
lpA(qvr}.::(pAq)v(pAr) 1
Como puede verse , dependiendo del valor de la
variable podemos obtener resultados diferentes.
LEY .DB MOB.9Alll : CV"Alff'IF"ICAPORB S
1~ (pv q)-" PI\~ q 1 1~ (P l\q) ..-v pv~ q
l!.~'..lli:-~:IJl-i,;-BSAL
CI.JANTIFICADOR
r, EXISTENCIAL
ViVlVERSAL :
LEY IIEL COMPLEnEltlTO : Si a una funcin proposicional, le anteponemos la
expresin para todo x, estaremos indicando el
sentido universal de dicha funcin proposiconal
obteniendo ahora una proposicin lgica.
LEY .DB LA IDBlff.'IDAD : NOTAOIN:
Jx) ('vx)[PxJ]
lpvVaV I lpl\F= F I '<lx: V'.'l'/l.,)
Se lee: para todo x, tal que, se verifique P(xJ*
lpvFap I lp,t~ .. F I EJEMPLO:
Si tenemos una funcin proposicional :
LEY DE LA CONIIICION.IU, : PM: x + 5 > 2 (no es proposicin lgica), y ahora
le agregamos el cuantificador universal ',;f .
"lx: 1<.->.
'<lx : x +5>2 (proposicin al lgica)
LEY IIB LA BICORIIICIONJU, :
Tendremos una proposicin lgica , cuyo valor es
falso, por que todos los valores de x cumplirn la
proposlcin , por ejemplo: para x = -4 , no cwnple.
LEY DE ABSOII.CIN : Entonces es falso que para todo x , se cumpla :
x+ 5 > 2. '"o
lpv(pl\q)=P I IP"(pvq)=P I C"lJAlff'IP lCA.11011. EXISTBNCLU :
Si a una funcin proposicional , le anteponemos la
expresin existe un x tal que- , estaremos
indicando el sentido existencial (que exista) de
FlJNCINPROPOS.ICI01VAL dicha funcin :
NOTAOIN:
Es aquel enunciado que contiene una variable y que
tiene la propiedad de convertiste en verdadero o falso :Jx: Pr,,) 3x/P1~1 (3x)(P(>)
para cierto valor de la variable. Las funciones
proposicionales se pueden representar por: Se lee : existe un x , tal que , se verifique P(x>*
P(xl, Qr.,), R(xJ , etc, donde <a: sera la variable. existe por lo menos un x , tal que , se verifiqu P,.,1
al menos Ull X , verifique p(x)"'
EJEMPLOS:
E.TEMPLO:
P(x): x-2 >18
Pr,): x - 3 > 10 (funcin proposicional)
Q(x): :,1 + 4=16
3X: Pr,)
R(x>: x es un nmero primo.
3x : x - 3 > 10 (proposicin lgica)
Si en la primera funcin proposicional P(x> a <a: le para verificar que es una proposicin lgica,
damos diferentes valores tendremos : podemos darnos cuenta que si x=15, se cumple la
"Pere : x = 10 ~ P<Lo> : 10 - 2 > 18
desigualdad, ya hemos encontrado por lo menos un Tenemos : 'fx : Poa => q<,,J
x, que verifique Pr~i, por lo tanto es una Teniendo en cuenta la forma de negar una funcin
proposicin lgica, cuyo valor es verdadero. proposicional cuantificada universalmente y una
NEGACIlV.DE PROPOS.ICI01VES ftlE implicacin resulta: 3 .1:/ P(xl 1\- q(,,)
TIE.VE.V CIJAN'l'l#'ICAll'1RF.S Y traduciendo 1.11 lenguaje ordinario resulta:
&iste1l alumnos de mi colegw que no son. aplicados.
Sea la proposicin : v.... : P(:,:)
Su negacin ser: "'Nx: P,..il = 3x :"' P,i CHI.CIJIT08 LGICOS
Son arreglos de interruptores conocidos como
De la misma forma , si tenemos la proposicin: compuertas lgicas , donde cada compuertas lgicas,
3x: 1t.r)' donde cada compuerta lgica tiene su tabla de
Su negacin ser : "' [3x : Pi.-l '</ x :..v = 1txJ verdad.
EJEMPLOS: El valor de verdad de una proposicin puede
asociarse con interruptores que controlan el paso
i) 3x: X= 7 de la corriente. As si una proposicin es verdadera,
- [3x: X= 1) = '<fx: X ,to 7 el interruptor estar cerrado y la corriente pasar.
Si la proposicin es falsa el interruptor estar
ii) 3 x : x es un nmero par.
abierto y la corriente no pasar.
"'[3x: x es un nmero par J '<lx: x no
nmero par. "'~
E6 un _/_
' p=V P=F
iii) 'vx : xz > 1
lmginate el interruptor delante de un foco :
"'[\/.,r:: .,,2 > l] 3x: ,,.Z !: 1
El foco se encuentra si el crculo est cerrado y
pasa la corriente.
Una funcin proposicional cuantificada
universalmente es V si y slo si son V todas las (si la proposicin es verdadera).
proposiciones particulares asociadas a aquella. Para
asegurar la verdad de una proposicin cuantificada
universalmente es suficiente que sea verdadera
---
-.::
-
""'" 1 ,, -:'/
~

alguna de las proposiciones asociadas a la funcin

proposicional.
p
Un problema de inters es la negacin de funclones o
proposicionales cuantilicadas. Por ejemplo, La El foco oi se b'ncedor si el circuito est abierto y no
negacin de Todos los enteros son impares es pasa la corriente.
Existen enteros que no son impares y en (Si la proposicin es falw)
smbolos: 3 x/-
P.. (>,)
!Y
Entonces, para negar una funcin proposicional --~-- ~~--<~!...)
cuantificada universalmente se cambia el Los circuitos pueden ser :
cuantificador en existencial, y se niega la funcin IEauivaleucia Lgicc
proposicional.
Serie -P--q- pl\q

-c;J---
EJEMPLO:
Supongamos la proposicin :
Todos los alumnoe de mi colegie son aplicados. Paralela p v

-r:~
La vamos a escribir en lenguaje simblico, negarla
y retraducir la negacin al lenguaje ordinario. (p I\ q)v ( ,....,,.,
Mixto
Nos damos cuenta pronto que se trata de la
implicacin de dos funciones proposicionales:
PM : es alumno de mi colegio
qM : es aplicado