CONECTORES LOGICOS

Post on 23-Dec-2015

7 views 0 download

description

logica

Transcript of CONECTORES LOGICOS

E NEGADOR CONJUNTOR DISYUNTOR INCLUYENTE DISYUNTOR EXCLUYENTE EL IMPLICADOR

Símbolos: A, A, - ATraducción Verbal: se leeNo ANunca A (negadores internos)Jamás AEs absurdo que AEs inconcebible que ANo ocurre que ANo es cierto que AEs imposible que ANo es verdad que AEs mentira que AEs inadmisible que ANo acaece que ANo es innegable que ADe ninguna forma se da AEs erróneo que AEs incierto que ANadie que sea AEs incorrecto que ANo es inobjetable que ANo siempre que ANo es que AEn modo alguno AEn forma alguna A

Símbolos: AB;A.B;AB;AxBTraducción Verbal: se leeA y BA incluso BA pero BA aunque BA al igual que BA tal como BA tanto como BA también BA así como BA vemos que también BA al mismo tiempo que BA sin embargo BA es compatible con BA aún cuando BA del mismo modo BA de la misma manera BA no obstante BA empero BTanto A como, cuanto BSiempre ambos A con BA sino BNo sólo A sino también BA asimismo BA a pesar de BA a la vez BA igualmente BA de la misma manera BSin que A tampoco BCierto que A lo mismo que BSimultáneamente A con B

Símbolos: AB,A+BTraducción Verbal: se leeA o BA a menos que Ba menos que A BA salvo que BA y bien, o también BA excepto BA o incluso BA o a la vez BA ya bien BA y/o B

Símbolos: A B;A B; A B,A>-<B; ABTraducción Verbal: se lee

O A o BO bien A o bien BA o B (en sentidos excluyentes)A o solamente BA o únicamente BA o solo BA no es equivalente a BNo es equivalente A con BA no biimplica a B

Símbolos: A B; A B; A B

Traducción Verbal: se lee

Si A entonces BSiempre que A por consiguiente BYa que A bien se ve que BCon tal que A es obvio que BCuando A así pues BToda vez que A en consecuencia BYa que A es evidente BDe A deviene BDe A derivamos BA implica BComo quiera que A por lo cual BEn el caso de que A en tal sentido BUna condición necesaria .para A es BA es condición suficiente para BA sólo si BDe A deducimos (inferimos, concluimos, llegamos) en B, etc.

BIIMPLICADOR

Símbolos: A B, A BTraducción Verbal: se leeA si y solo si BA siempre y cuando BA se define lógicamente como BA es equivalente, equivale BA por lo cual mismo que BA si de la misma forma BA es idéntica a BA es igualmente (es igual,

entonces )BA cada vez que y sólo si BA es equipotente a BA es condición necesaria y

suficiente para BA siempre que y solo cuando B

Negadores-Externos