IDEPUNP / CICLO REGULAR / ENERO-MARZO 2017 1 RAZONAMIENTO LGICO

SEMANA N 02
TEMA: FORMALIZACIN DE PROPOSICIONES
SIMBOLO: pq p q
TRADUCCION VERBAL: Ni p ni q, no p ni q, ni p no q.
FORMALIZACION DE PROPOSICIONES
BARRA DE SHAFFER:
Es un procedimiento por el cual se transforman textos en esquemas
SIMBOLO: p | q p q
lgicos .Solo presenta variables, conectores lgicos y smbolos de
agrupacin. TRADUCCION VERBAL: No p o no q, ni p o ni q.

VARIABLES PROPOSICIONALES
Son letras con las cuales se representan las proposiciones simples SINONIMOS DE LOS CONECTORES LOGICOS
sin considerar su valor de verdad.
Si se utiliza letras minsculas se hace en el siguiente orden p, q, r, s,.. 1. EL CONJUNTOR
Si se utiliza letras maysculas se hace en el siguiente orden A, B, C, Smbolos: , , &,
D, Traduccin verbal se lee:
CONECTORES LOGICOS PyQ
P incluso Q
Son operadores que se utilizan para conectar o unir proposiciones P pero Q
simples. P aunque Q
P al igual que Q
Negacin: "" P tal como Q
Conjuntor y disyuntor dbil: "" ,"" P tanto que Q
P tambin Q
Implicador o Replicador: " , P as como Q
P vemos que tambin Q
Disyuncin fuerte: "" P al mismo tiempo que Q
Bicondicional: "" P sin embargo Q
P es compatible con Q
SIMBOLOS DE AGRUPACION P an cuando Q
Se utilizan para separar y agrupar proposiciones .Aparecen cuando P al mismo modo Q
P de la misma manera Q
en un texto encontramos signos de puntuacin (,, ;, .); P no obstante Q
negadores externos y tambin al aplicar jerarqua de conectores. P sino Q
No slo P sino tambin Q
Los signos de coleccin son: P asimismo Q
Parntesis ( ) P a pesar de que Q
P a la vez que Q
Corchetes [ ] P igualmente Q
Llaves { } P de la misma manera Q
Sin que P tampoco Q
PRIORIDAD O JERARQUIA DE LOS CONECTIVOS LGICOS Cierto que P lo mismo que Q
En la formalizacin de proposiciones de se debe tener en cuenta la Simultneamente P con Q
P ms an Q
prioridad que tienen los conectivos lgicos en el siguiente orden: (de P adems Q
menor a mayor) P a la par que Q
P aun cuando Q
1ro Negacin: "" P igualmente Q, etc.
2do Conjuntor y disyuntor dbil: "" ,""
2. EL DISYUNTOR INCLUYENTE
3ro Implicador o Replicador: " , Smbolos:
4to Disyuncin fuerte: ""
Traduccin verbal se lee:
5to Bicondicional: "" PoQ
P a menos que Q
Nota: Caso contrario se tiene en cuenta los signos de A menos que P, Q
puntuacin, siendo el conectivo dominante el que est fuera P salvo que Q
P y bien, o tambin Q
de todo signo de coleccin. P excepto que Q
LA NEGACION P o incluso Q
P o a la vez Q
-NEGACION SIMPLE: P ya bien Q
P y/o Q
" p " se lee no p . Por lo general niega una P a no ser Q, etc.
proposicion simple.
3. EL DISYUNTOR EXCLUYENTE
-NEGACION EXTERNA: Niega una o ms proposiciones .Las Smbolos: , , , ,
negaciones externas comnmente tienen la terminacin que y
Traduccin verbal se lee:
generan smbolos de agrupacin. oPoQ
o bien P o bien Q
P o Q (en sentidos excluyentes)
P o solamente Q
P o nicamente Q
Despus de la terminacin que y lo cierra el smbolo generado P o slo Q
P no es equivalente a Q
cuando en el texto encuentra signos de agrupacin. No es equivalente P con Q
FLECHA DE NICOD: P no biimplica a Q, etc.
IDEPUNP / CICLO REGULAR / ENERO-MARZO 2017 2 RAZONAMIENTO LGICO

No es inobjetable que P
4. EL IMPLICADOR En modo alguno P
Smbolos: , Es inadmisible que P
No acaece que P
Traduccin verbal se lee:
No acontece que P, etc.
Si P entonces Q
Siempre que P por consiguiente Q
Ya que P bien se ve que Q
Con tal P es obvio que Q
Cuando P as pues Q
Toda vez que P es consecuente Q
Dado P por eso Q
En cuanto P por tanto Q
Cada vez que P consiguientemente Q
Ya que P es evidente Q
De P derivamos Q
P implica Q
Si P, Q
Cuando P, Q
Como P, Q
De P, Q
Suponiendo que P, Q
P slo si Q
Slo P si Q
P es condicin suficiente de Q
Una condicin necesaria para P es Q
Como quiera que P por lo cual Q, etc.

5. EL REPLICADOR
Smbolos: ,
Traduccin verbal se lee:
Slo si P, Q
P si Q
P porque Q
P siempre que Q
Es condicin necesaria P para Q
P para Q
Para P es suficiente Q
P puesto que Q
P dado que Q
P supone que Q
P pues Q
P en vista de Q
P como Q
P por cuanto Q
P debido a que Q
P cada vez que Q
P en razn de Q
P en tanto Q
Para P es suficiente Q, etc.

6. EL BIIMPLICADOR
Smbolos: ,
Traduccin verbal se lee:
P si y slo si Q
P siempre y cuando Q
P se define lgicamente como Q
P es equivalente a Q
P es igual que Q
P es idntica a Q
P es condicin necesaria y suficiente para Q
P siempre que y slo cuando Q
P porque y slo porque Q
P entonces y slo entonces Q

7. EL NEGADOR
__
Smbolos: ~, , P
Traduccin verbal se lee:
a) Negadores internos:
No P
Nunca P
Jams P
b) Negadores externos:
Es absurdo que P
Es inconcebible que P
Es innegable que no P
No es el caso que P
De ninguna forma se da P
Es incierto que P