Logica

15/02/13

Lóg ica. Tipos de Pr oposiciones.

Tipos de proposicione s
En a de la nte cua ndo ha ble m os de proposicione s, é sta s se rá n lógica s. Si son a bie rta s, significa rá que e lconjunto de sustitucione s e stá bie n de finido y la ha rá n ve rda de ra o fa lsa . Pa ra ope ra r con la s
proposicione s, é sta s se cla sifica n e n dos tipos: Sim ple s y Com pue sta s, de pendie ndo de com o e stá n
conform a da s.
Proposicione s Sim ple s
Son a que lla s que no tie ne n ora cione s com pone nte s a fe cta da s por ne ga cione s ("no") o té rm inos de e nla ce
como conjuncione s ("y"), disyuncione s ("o") o im plica cione s ("si . . . e ntonce s"). Pue de n a pa re ce r té rm inos
de e nla ce e n e l suje to o e n e l pre dica do, pe ro no e ntre ora ciones.
Proposicione s Com pue sta s
Una proposición se rá com pue sta si no e s sim ple . Es de cir, si e stá a fe cta da por ne ga cione s o té rm inos de
e nla ce e ntre ora cione s com pone nte s.Eje m plos
Ensa ye m os una lista cla sifica da y lue go a lguna s a cla ra cione s:
1) Ca rlos Fue nte s e s un e scritor.

(Sim ple )

2) Se n(x ) no e s un núm e ro m a yor que 1.

(Compue sta )

3) El 14 y e l 7 son fa ctore s de l 42.

(Sim ple )

4) El 14 e s fa ctor de l 42 y e l 7 ta m bié n e s fa ctor de l 42.

(Com pue sta )

5) El 2 o e l 3 son divisore s de48.

(Sim ple )

6) El 2 e s divisor de 48 o e l 3 e s divisor de 48.

(Com pue sta )

7) Si x e s núm e ro prim o, e ntonce s x im pa r.

(Com pue sta )

8) Si x > 10, e ntonce s 2x - 3 >16.
9) No todos los núm e ros prim os son im pa re s.

(Com pue sta )
(Com pue sta )

Alguna s a cla ra cione s
a ) No obsta nte que los e je m plos 3) y 4) gra m a tica lm e nte significa nlo m ism o, ope ra tiva m e nte se
conside ra n distintos. Sim ila rm e nte 5) y 6).
b) A ve ce s proposicione s com o la 8), a pa re ce n e scrita s de la form a : 2x - 3 > 16, si x > 10....