Professional Documents
Culture Documents
El Conjuntor: A B
RAZ LGICO
TEMA: AyB A aunque B
A pero B
A sin embargo B
FORMALIZACIN A incluso B
A es compatible con B
TURNO: Maana A as como B
EXPOSITOR : Becerra Huangal Viter A del mismo modo B
CELULAR : 947948037 A an cuando B
A tambin B
PRCTICA A de la misma forma que B
A al igual que B
A empero B
FORMALIZACION DE PROPOSICIONES LOGICAS
A no obstante B
1. DEFINICION. Es el procedimiento mediante el No slo A sino tambin B
cual se identifican proposiciones simples y A as mismo B
estructuras lgicas proposicionales (estudiadas
en la unidad anterior), asignndoles a cada uno El Disyuntor Incluyente: A v B
un determinado smbolo del lenguaje de Lgica
Proposicional organizndolos con signos de A o B (sentido incluyente)
agrupacin. A amenos que B
A a menos que A, B
2. LENGUAJE PROPOSICIONAL. El lenguaje formal A salvo que B
de la Lgica formal esta conformado por A excepto que B
smbolos para las variables y smbolos para las
A o tambin B
constantes lgicas.
A o bien B
Las variables. A las proposiciones simples se las
reemplaza por variables proposicionales del A a no ser que B
Lenguaje Objeto de la Lgica Proposicional. A o incluso B
A o sino B
a. Del lenguaje Objeto {p, q,.., z} A y/o B
ARIABLES b. Del Metalenguaje {A, B,.., Z}
Nota: Las variables del Metalenguaje de L.P. se El Implicador : A B
utilizan para hacer operaciones y enunciar reglas.
No se utilizan para formalizar. Si A entonces B
Siempre que A por consiguiente B
Las Constantes. Llamados tambin operadores Ya que A bien se ve que B
proposicionales se les reemplaza por: Dado que A por eso B
N OPERADOR En cuanto A por tanto B
SMBOLOS Porque A por eso B
NOMBRE FORMA BASICA
1 Negador no Como A es evidente B
2 Conjuntor ... y... Con tal que A es obvio que B
. &
Toda vez que A en consecuencia B
3 Disyuntor Incluyente .... o ... + A consiguientemente B
4 Disyuntor Excluyente o ... o ... >--< Dado que A por lo cual B
En la medida que A de all B
5 Implicador si ... entonces ... En virtud de que A entonces B
6 Replicador ... porque ... A implica a B
7 Biimplicador ... si y slo s..... A es innecesario para B
8 Inalterador ni ... ni ... Es innecesario A para B
9 Incompatibilizador no ... o no .... / A es condicin suficiente para B
A slo si B
El Negador : - A A luego B
A trae como consecuencia B
No A, nunca A, jams (A) (*)
De A deviene B
Es inconcebible que A Es Incompatible que A
Partiendo de A llegamos a B
No ocurre que A No es verdad que A
De A inferimos (deducimos, coligamos) B
No es el caso que A Es mentira que A
Para A es condicin necesaria B
Es inadmisible que A No acaece que A
A slo cuando B
Academia Preuniversitaria APAEP" Ubcanos en Micaela Bastidas #1456 - El 1
Porvenir
Academia Preuniversitaria "APAEP" Preparacin Exclusiva para la UNT!
Es suficiente A y B necesario A implica y est implicado por B
En el caso que A en tal sentido B
Inalternador: A B
El Disyuntor excluyente: A v B
Ni A ni B, No A y no B
A o B (sentido excluyente)
O bien A o bien B Incompatibilizador: A/B
A a menos que solamente B
A salvo que nicamente B No A o no B
A excepto que slo B
A menos que slo A, B 3. JERARQUIA DE CONECTORES, SIGNOS DE
PUNTACIN, Y PARA AGRUPAR.
A o bien necesariamente B
A o exclusivamente B Cuando al formalizar no
Ya bien A ya bien B queda explcita la
A no es equivalente a B jerarqua de conectores,
No es equivalente A con B
A no es idntico a B se debe utilizar la
A no es lo mismo que B siguiente convencin:
Menor , , , , , Mayor
El Replicador : A B Jerarqua Jerarqua
Slo si A, B Menor , , ; , . Mayor
Jerarqua Jerarqua
Solo cuando A, B
{ [ ( ) ] }
Solamente porque A, B
A si B
A porque B
A dado que B
A ya que B
A siempre que B
A puesto que B
A es condicin necesaria para B
A es insuficiente para B
Es necesario A para B
Es insuficiente A para B
A cada vez que B
A est implicado por B
A con la condicin de que B
Si solamente A cada vez que B
A divido a que B
A depende de B
A sigue de B
Unicamente si A, B
El Biimplicador: A B
A si y slo si B
A por lo cual y segn lo cual B
A cuando y slo cuando B
A cada vez que y slo si B
Si y slo si A, B
Porque y solamente por que A, B
Es suficiente A para que suficientemente B
Es necesario A para que necesariamente B
A es condicin suficiente y necesaria para B
A siempre que y slo cuando B
Siempre que A y siempre que B
A es equivalente a B
A es lo mismo que B
A es idntico a B
2 Academia Preuniversitaria APAEP" Ubcanos en Micaela Bastidas #1456 - El
Porvenir