LÓGICA PROPOSICIONAL
Hoy voy a hacer un breve paréntesis de Adolfo Carpio, para hacer una recopilación sobre la Lógica en Filosofía. La lógica proposicional está formada por unidades mínimas que se llaman proposiciones. Su objetivo es establecer los modos correctos de razonamiento. Formalizar : procedimiento por el que convertimos un texto natural en uno formal. Las proposiciones simples se sustituyen por letras minúsculas a partir de la p (p, q, r, s…) Para la misma proposición se debe usar la misma letra. Conectivas o juntores : es el nombre que reciben las proposiciones compuestas. NEGADOR: se representa mediante el símbolo (¬). Se lee “no”. CONJUNTOR: se representa mediante el símbolo (∧) y se lee “y”. DISYUNTOR INCLUSIVO: Símbolo (∨). Se lee “o”. IMPLICADOR O CONDICIONAL: (→). Se lee “si… entonces…” COIMIPLICADOR O BICONDICIONAL: (↔). Se lee “si y sólo si… entonces…” Las premisas suelen ir precedidas del símbolo: (-) La conclusión va precedida por el símbolo: (⊢) En niveles de ...