Expo sociología Argumentación Jurídica

[pic 1]

Instituto Tecnológico De Estudios Superiores René Descartes[pic 2]

Nombre de la licenciatura: Derecho.

Grado 1° Grupo “A”

Nombre de la materia: Argumentación Jurídica

Nombre de la tarea: Investigación 4

Nombre del maestro: Reyna Magdalena Koh Quen

Alumno: Yanuari del Rosio Dzib Naal.

Tautología

Tautología, es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. Un ejemplo típico es la contrapositiva cuya tabla de verdad se indica a continuación.

[pic 3]

Note que en las tautologías para todos los valores de verdad el resultado de la proposición es siempre 1. Las tautologías son muy importantes en lógica matemática ya que se consideran leyes en las cuales nos podemos apoyar para realizar demostraciones. A continuación se cita una lista de las tautologías más conocidas y reglas de inferencia de mayor uso en las demostraciones formales:

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)

...