ClubEnsayos.com - Ensayos de Calidad, Tareas y Monografias
Buscar

Tablas Tautologicas

Trabajos Documentales : Tablas Tautologicas. Ensayos de Calidad, Tareas, Monografias - busque más de 2.323.000+ documentos.

Enviado por   •  4 de Abril de 2013  •  348 Palabras (2 Páginas)  •  195 Visitas

Página 1 de 2

Tautologías Fundamentales

p ∨ ¬p Ley del medio excluido

¬ (p ^ ¬p) Ley de no contradicción

¬(¬p) ↔ p Doble Negación

¬(p ∨ q) ↔ ¬p ^ ¬q Ley 1 de De Morgan

¬(p ^ q) ↔ ¬p ∨ ¬q Ley 2 de De Morgan

((p → q)^p) → q Modus ponendoponens

((p → q)^ ¬ q) → ¬ p Modus tollendotollens

((p ∨ q) ∧ ¬ p) → q Silogismo Disyuntivo

((p → q) ∧ (q → r)) → (p → r) Silogismo Hipotético

(p → q) ↔ (¬ p ∨ q) Condicional como cláusula

((p → q) ↔ (¬ q → ¬ p) Contrapositiva

1. Tautología - Epistemowikia

campusvirtual.unex.es/cala/epistemowikia/index.php?title=TautologíaEn caché - Similares

Las tautologías son muy comunes, y algunas de ellas muy importantes, tanto, que constituyen leyes o principios lógicos. La validez lógica es justamente el que ...

Definición - Principio de identidad - Principio del tercio excluido

Las tautologías más conocidas y más usadas en demostraciones matemáticas son las siguientes:

1.- Doble negación.

a). ¬¬p ⇔ p

2.- Leyes conmutativas.

a). (p∨q)⇔(q∨p)

b). (p∧q)⇔(q∧p)

c). (p↔q)⇔(q↔p)

3.- Leyes asociativas.

a). [(p∨q)∨r]⇔[p∨(q∨r)]

b). [(p∨q)∨r]⇔[p∨(q∨r)]

4.- Leyes distributivas.

a). [p∨(q∧r)]⇔[(p∨q)∧(p∨r)]

b). [p∧(q∨r)]⇔[(p∧q)∨(p∧r)]

5.- Leyes de idempotencia.

a). (p∨p)⇔p

b). (p∧p)⇔p

6.- Leyes de Morgan.

a). ¬(p∨q)⇔(¬p∧¬q)

b). ¬(p∧q)⇔(¬p∨¬q)

c). (p∨q)⇔¬(¬p∧¬q)

d). (p∧q)⇔¬(¬p∨¬q)

7.- Contrapositiva.

a). (p→q)⇔(q'→p')

8.- Implicación.

a). (p→q)⇔(¬p∨q)

b). (p→q)⇔¬(p∧¬q)

c). (p∨q)⇔(¬p→q)

d). (p∧q)⇔¬(p→¬q)

e). [(p→r)∧(q→r)]⇔[(p∧q)→r]

f).

...

Descargar como (para miembros actualizados)  txt (3.3 Kb)  
Leer 1 página más »
Generador de citas

(2013, 04). Tablas Tautologicas. ClubEnsayos.com. Recuperado 04, 2013, de https://www.clubensayos.com/Temas-Variados/Tablas-Tautologicas/650122.html

"Tablas Tautologicas" ClubEnsayos.com. 04 2013. 2013. 04 2013 <https://www.clubensayos.com/Temas-Variados/Tablas-Tautologicas/650122.html>.

"Tablas Tautologicas." ClubEnsayos.com. ClubEnsayos.com, 04 2013. Web. 04 2013. <https://www.clubensayos.com/Temas-Variados/Tablas-Tautologicas/650122.html>.

"Tablas Tautologicas." ClubEnsayos.com. 04, 2013. consultado el 04, 2013. https://www.clubensayos.com/Temas-Variados/Tablas-Tautologicas/650122.html.