Está en la página 1de 12

Lógica proposicional Proposición: oración con valor declarativo o informativo, de la cual se puede predicar su verdad o falsedad.

Clasificación de las proposiciones Disyunción inclusiva: una, otra o ambas. Ej ...o...o; o ambas. Disyunción excluyente: una excluye a la otra. Ej: o...o Condicional o hipotética: una es condicional de la otra. Ej: si.. entonces Proposiciones categóricas: Universales: Todos Particulares: algunos Singulares: un individuo Formas categóricas típicas: Universal afirmativa à A Todo S es P Universal negativa à E Ningún S es P Particular afirmativa à I Algún S es P Particular negativa à O Algún S no es P Proposiciones analíticas:
  

de verdad lógicamente determinable no aumenta el conocimiento. El predicado está contenido en el sujeto o es equivalente.

Proposiciones sintéticas:
  

Su valor de verdad depende de comprobaciones extralógicas o empíricas (reales). Aumentan el conocimiento, pero su verdad debe ser comprobada. El predicado no está contenido en el sujeto.

Lógica Proposicional: Sus expresiones se dividen en:
 

Simples o atómicas: constituye la unidad mínima de la cual se puede decir que es V ó F. Se simbolizan con p,q,r,s,t,etc, y se denominan variables proposicionales. Compuestas o moleculares: están compuestas por dos o más proposiciones atómicas (su valor de verdad depende del de las proposiciones que la componen). Los valores de verdad dados como posibilidades de combinación entre proposiciones atómicas corresponden a los valores que pueden tener una o varias proposiciones combinadas. Sólo la comprobación empírica confirmará su valor real o fáctico. Basta con que una sea falsa, para que la molecular sea falsa.

Asignación de valores:

Palabras conectivas: y.. Tabla: P. etc..... o bien .Considero todas las combinaciones posibles distintas que se pueden obtener........ (y/o) Palabras conectivas: o Condición: es F cuando las dos son F... Condición: es V cuando uno es V y el otro es F. (así.. Condición: es V cuando ambas son V... Pvq VVV FVV VVF FFF Disyunción exclusiva: w O una o la otra (NUNCA ambas juntas) Palabras conectivas: O . aunque. Pwq . pero.. además.. dadas p. ya que modifica elvalor de verdad de una proposición atómica. CONJUNCIÓN: . donde n es la cantidad de proposiciones atómicas que la componen. salvo que . a menos que . o ....q y r.. se pueden asignar ocho valores distintos) CONECTIVAS: NOTA: la negación también es considerada una conectiva...q VVV FFV VFF FFF Disyunción inclusiva: v Una. otra o ambas a la vez. mas... sin embargo.. O bien . también. .. y se obtiene con la fórmula 2n.

.....p.. des... ..p. Condición: es falsa sólo si el antecedente (p) es V y el consecuente (q) es F........ .. carece de.....p.q.. Es condición suficiente..... . PÉq VVV FVV VFF FVF Bicondicional: º Palabras conectivas: si y sólo si........... Si .. etc. Es condición necesaria.para que. sólo si ..... no es cierto que..q..q.. i.p. no es verdad que.. Prefijos negativos: a..........p.. .......p. in....p..q.para que..q. .. etc.. .. .. sin. q) F V FVVV VFFV VVFF VFFF Condicional: É Palabras conectivas: Si . es equivalente a. entonces ..(P ... cuando y sólo cuando... Cuando ..q... nunca..... Siempre ...q.. es condición suficiente y necesaria para. Condición: lo V se transforma en F (y al revés) P -p VF . ....VFV FVV VVF FFF Negación: Palabras conectivas: no.

............ Es incompatible...Condición: son verdaderas si ambas proposiciones tienen el mismo "valor de verdad"....... ni.. Pºq VVV FFV VFF FVF Negación conjunta: ¯ Simbolizaciones equivalentes: Palabras conectivas: Ni.. AÉB A ..... ni.. Condición: es V si sólo ambas proposiciones son F..... No...... P¯q VFV FFV VFF FVF Negación alternativa: / Simbolizaciones equivalentes: Palabras conectivas: O no. o no.... P/q VFV FVV VVF FVF Reglas de Interferencia Reglas de Inferencia: 1... con. Condición: es F si las proposiciones son ambas V..

r b) r É s :. p de 2 simp. d. p É (q v r) a) (p.q de 1 y 2 S. –q :.r) q. p . c) p. Silogismo Hipotético (S. r de 4 y 5 S.H): 5.C): .B p É q (p v q) É -r ppvq q -r 2. Silogismo Disyuntivo (S. e.D q v r de 1 y 3 M.P): AÉB -B -A p É -(q.D Dilema Constructivo (D. Modus Ponens (M. –q de 2 simp. 1.r p 3. f.q) v –(r É s) b.T): AÉB BÉC AÉC r É -q tÉr t É -q 4. Modus Tollens (M.D): AvBAvB -A -B BA Ejemplos: a. p c.P d) p de 3 simp.

q É r b) p :.P d.T d) q de 3 simp. Simplificación (Simp. Conjunción (Conj. B :.T c) q . –q de b) y c) por M. q) º -(p v –q) . r r Ejemplos: a. B :. –r) -r :.(A É B) . A A B A . B (p É -q) . –p de a) y d) por M. 7. B A .D): (A É B) .B Leyes Lógicas (Leyes o principios de sustitución) 1. B) º (-A v -B) -(A v B) º (-A . q c. (C É D) AvC BvD 6) Dilema Destructivo (D. –r de 1 y 2 M. (r É -q) -q v q p v –r 7.): A . –p b.): AA BAvB A. p É q a) p É (q . -(A . (C É D) -B v -D -A v –C (-p É q) . -B) Ejemplo: (-p .): 9) Adición (Ad. B A .

–r) de 2 Conm. C] º [A . C)] º [(A v B) . –r de 3 T.de M. –r) 2)p :.): [(A .–q 2)-(-r . Simp. Teorema de Morgan (T. B) º (B . p) É -r] 3) Asociación (Asoc. 4)-(p .): 8.de M.(B . [A v (B . q) :. 4)-q . –q) º (p v q) 2. B).D 4.T 4)-p de 1 y 3 M. 5)-p v -q de 4 T. Definición del Condicional (Def. Transposición (Trans.P 3)r de 2.q 3)-(q v r) de 1 y 2 M. C)] 5. q) . Cond.de D.T o 5)-q de 4 Simp. Conmutación (Conm. (B v C)] º [(A . -B) . B) v (A . 4)-p de 3 y 2 M. 6)q de 2 Simp.-(-p . q)de 1 Conm.): (A .T 7)-p de 5 y 6 S.M): 3. q) de 1 y 3 M. 3)p É (-r . q) É -r] º [(q . q) É -r 1)p É (q . Distribución (Dist. 3)-(q . A) (A v B) º (B v A) Ejemplo: [(p . Doble Negación: (A É B) º (-B É -A) Ejemplo: (-p É q) º (-q É p) 7. C)] [(A v B)v C] º [A v(B v C)] Ejemplo: BA 1)p É -(q v r) 1)(p .): A º -(-A) 6.): (A É B) º (-A v B) º -(A .-p 2)-(-r . (A v C)] [A .

Un silogismo queda caracterizado cuando se señala su figura y su modo. MODOS: Son las distintas combinaciones A. Determina la premisa menor. de Equiv. I y O que constituyen a las premisas y la conclusión. Determina la premisa mayor. [(A É (B É C)] º [(A . que por este motivo se ubica primera. Todo silogismo tiene 3 términos que se identifican por su ubicación. sino en las dos premisas y se simboliza con la letra M.): A º (A v A) A º (A . Término medio: Es aquel que no aparece en la conclusión. que se ubica segunda. Exportación (Exp. E. (B É A)] 7. .): (A º B) º [(A É B).8)Definición de Equivalencia (Def.): 9. Idempotencia (Idem. Término mayor: Es el que figura en el predicado de la conclusión y se simboliza con la letraP. A) Silogismo categórico: Se llama silogismo a un razonamiento deductivo que posee dos premisas y una conclusión. Término menor: Aquel que es sujeto en la conclusión y se simboliza con la letra S. Todo M es P Todo S es M Todo S es P Para conformar la estructura de los silogismos categóricos debemos tener en cuenta sus modos y sus figuras. De estas posiciones surgen cuatro figuras: 1º: M es P 2º: P es M S es M S es P S es M S es P 3º: M es P 4º: P es M M es S S es P M es S S es P Todo silogismo debe pertenecer necesariamente a una de estas cuatro figuras. FIGURAS: Las distintas ubicaciones que adopta el término medio (M) en las premisas. B) É C] 8.

Ejemplo: E Ningún europeo es asiático 1º: M es P A Todo francés es europeo S es M E Ningún francés es asiático S es P 1º Simbolización gráfica de proposiciones categóricas: A: Proposición universal afirmativa: Todo S es P. En símbolos: S Ç P ¹ Æ __ SP SP SP X __ SP O: Proposición particular negativa: Algunos S no son P. _ En símbolos: S Ç P = Æ __ SP SP SP __ SP E: Proposición universal negativa: Ningún S es P. _ En símbolos: S Ç P ¹ Æ __ SP SP SP X __ . En símbolos: S Ç P = Æ __ SP SP SP __ SP I: Proposición particular afirmativa: Algunos S son P.

6. Verificar si al diagramar las premisas. 7. En un silogismo categórico válido si el término menor o mayor está distribuido en la conclusión. y luego la afirmación o negación del predicado. o tomado en toda su extensión. E: Ningún S es P. debe estar también distribuido en la premisa respectiva. ya que es justamente lo que debe ser obtenido para comprobar si surge como consecuencia necesaria de las premisas. debe diagramarse la cruz de existencia. Si un silogismo categórico tiene sus dos premisas afirmativas su conclusión no puede ser negativa. Hay que tener en cuenta que si una de las premisas es universal y la otra es particular se debe comenzar diagramando la universal. En este caso la forma es válida. Se traslada la información de las premisas al diagrama. 2. Un silogismo categórico válido debe contener 3 términos y cada uno de ellos debe conservar el mismo sentido dentro de un razonamiento. Este diagrama no permite afirmar que la cruz pertenezca necesariamente a alguno de los dos sectores y por lo tanto estas formas son inválidas. si una sola de las premisas es negativa. ésta debe dibujarse en la frontera entre ambos. también ha quedado diagramada en forma explícita la conclusión. Las proposiciones universales van precedidas por todo o ningún. su conclusión debe ser negativa. De lo contrario es inválida. Simbolización de proposiciones categóricas: Las proposiciones categóricas afirman algo de algo. 5. según se quiera afirmar o negar la proposición. su conclusión debe ser particular. Reglas del silogismo: 1. 4. Un silogismo categóricoque tenga sus dos premisas particulares. Pero. si una sola de las premisas es particular. 3. no es válido. por lo menos una vez en alguna de las premisas. NUNCA SE GRAFICA LA CONCLUSIÓN. Cuando la información dada por las premisas no permite decidir en cual sector de los dos es posible. aunque sea la premisa menor. Distribución: A: Todo S es P. Si un silogismo categórico tiene sus dos premisas universales su conclusión no puede ser particular. Un silogismo categórico que tenga sus dos premisas negativas no es válido. Su falta de cumplimiento se denomina falacio de ilícito menor o mayor respectivamente. Pero. Distribuye el sujeto y el predicado. Distribuye el sujeto.SP Diagramas de Venn: Pasos para su graficación:     Se simbolizan las premisas y la conclusión en Lógica de clases. . En un silogismo categórico válido el término medio debe estar distribuido. Las proposiciones particulares por algún que tiene el valor de por lo menos uno.

mediante el intercambio del sujeto por el predicado. I u O se pueden obtener distintas inferencias: conversión. otra proposición categórica como su conclusión. también categórica. mediante el cambio de la cualidad de la proposición y la negación del término predicado. *Conversión: Consiste en deducir de una proposición categórica que se presenta como premisa.I: Algún S es P. Convertiente A E I O Todo S es P Ningún S es P Algún S es P Algún S no es P I Algún P es S E Ningún P es S I Algún P es S Conversa *Obversión: Se caracteriza por deducir de una proposición categórica otra. . contraposición y oposición. A la premisa se la llama convertiente y a la conclusión conversa. Distribuye el predicado. que se obtiene reemplazando el sujeto por la negación del predicado y el predicado por la negación del sujeto. O: Algún S no es P. Inferencias inmediatas Se caracterizan por poseer una sola premisa. E. Obvertiente A E I O Todo S es P Ningún S es P Algún S es P Algún S no es P Obversa E Ningún S es no P A Todo S es no P O Algún S no es no P I Algún S es no P *Contraposición: Se caracteriza por deducir de una proposición categórica otra roposición. obversión. No distribuye nada. De A. de la cual se desprende la conclusión. La premisa se denomina obvertiente y la conclusión obversa. A partir de una premisa obtenemos una contrapositiva.

la subalternante es F. y si la subalternada es V nada se puede inferir para la subalternante. Si la subalternada es F. -Si una es V la otra es F. . nada se puede inferir para la subalternada. -Si una es V la otra puede ser tanto V como F. **Subalternas: Son subalternas cuando tienen la misma cualidad pero difieren en cantidad: A-I y E-O Subalternante: Es la proposición universal. Si la subalternante es V. **Subcontrarias: Las proposiciones subcontrarias son las particulares I-O. -Si una es F la otra queda indeterminada. -Si una es F la otra es necesariamente V y viceversa. -Pueden ser ambas F pero no ambas V. Pero si la subalternante es F. -Dos proposiciones subcontrarias pueden ser ambas V pero no ambas F. Subalternada: Es la proposición particular.Premisa A E I O Todo S es P Ningún S es P Algún S es P Algún S no es P Contrapositiva A Ningún no P es no S O Algún no P no es no S No hay inferencia válida O Algún no P no es no S *Relaciones de oposición: **Contrarias: Las proposiciones contrarias son las universales A-E. **Contradictorias: A-O. E-I -No pueden ser ambas V o ambas F. la subalternada también lo será. -Si una es F la otra es necesariamente V.