las tablas de verdad

Os voy ha hacer un pequeño resumen de lo que tiene que ver las tablas de verdad.

1. variables proposicionales:los enunciados simples se simbolizan a partir de la "p"
2. símbolos auxiliares:al igual que en las matemáticas utilizamos paréntesis corchetes.
3. conectivas y constantes: para unir preposiciones entre si.

• negador: ¬p => "no p"
• conjuntor: p^q => p y q
• disyuntor: p o q
• condicional: p->q =>p entonces q
• bicondicional:p<->q =>p solo si q

una tabla de verdad puede ser:

1. tautologia: siempre valida , su tabla de verdad todo 1
2. contradiccion: nunca es valida, su tabla de verdad todo 0
3. indeterminacion: valida a veces. su tabla de verdad 0 y 1.

para jercicio dejo esta pagina que me parece muy commpletahttp://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/

FALACIAS FORMALES

1- Afirmación del consecuente

Razonamiento que partiendo de un condicional (si p, entonces q) y dándose o afirmando el segundo: q o consecuente, se concluye p, que es el primero o el antecedente.

2- Negación del antecedente

Razonamiento que partiendo de un condicional (si p, entonces q) y negando el primero, que es el antecedente, se concluye la negación de q, que es el consecuente.

3- Silogismo disyuntivo falaz

Razonamiento que partiendo de una disyunción y, como segunda premisa, se afirma uno de los dos componentes de la disyunción, se concluye la negación del otro componente.

EJEMPLOS DE FALACIAS INFORMALES

1- Falacia de Ambigüedad:

La característica común de las falacias de ambigüedad es que aparecen en razonamientos cuya formación contiene palabras o frases, cuyos significados oscilan y cambian de manera más o menos sutil en el curso del razonamiento.

2- Falacia de Insuficiencia:

Son aquellas en que se encuentran ocultas premisas q no son probadas o son falsas.

Las Falacias

¿QUÉ ES UNA FALACIA?

Es un razonamiento lógico incorrecto, pero sicológicamente persuasivo.
Ejemplo: "Los pingüinos son en blanco y negro. Algunos programas de TV antíguos son en
blanco y en negro. Por lo tanto algunos pingüinos son programas de TV."

¿QUÉ TIPO DE FALACIAS EXISTEN?

Generalmente las falacias se dividen en dos grupos, las formales y las informales:

- Formales: son razonamientos no válidos pero que se aceptan por su semejanza con formas válidas de

razonamiento o inferencia.

- No formales: razonamientos en los cuales lo que se aportan las premisasno es adecuado para justificar la conclusión a la que se quiere llegar.

Deduccion Natural

Transitividad del condicional:

          A → B
          B → C
       _________
         A → C

Introduccion del bicondicional:

         A → B
         B → A
       ________
        A ↔ B

Eliminacion del bicondicional:
         
         A ↔ B
 _____________
 A → B // B → A

Transitiva del bicondicional: 
   
          A ↔ B
          B ↔ C
       _________
          A ↔ C
Leyes de Morgan:

1º ¬ ( A ^ B ) ↔ ¬ A \/ ¬ B
2º ¬ ( A \/ B ) ↔ ¬ A ^ ¬ B

Definicion del conjuntor:

1º A ^ B ↔ ¬ ( A → ¬ B )
2º A ^ B ↔ ¬ ( ¬ A \/ ¬ B )

Definicion del disyuntor:

1º A \/ B ↔ ¬ A → B
2º A \/ B ↔ ¬ ( ¬ A ^ ¬ B )

Deduccion Natural

REGLAS BASICAS

Modus Ponens:

        

Modus Tollens:

Silogismo Disyuntivo:

Eliminacion del negador:

           ¬ ¬A        
         ______
               A
Introduccion del conjuntor:
       
            A
            -
            -
            -
            B
        ______
        A ^ B

Eliminacion del conjuntor:

   A ^ B             A ^ B
________      ________
     A                    B