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/