martes, 10 de marzo de 2009

Clase rápida de lógica simbólica

Universidad Externado de Colombia
Facultad de Derecho
Seminario de Wittgenstein
Héctor David Rojas
6 de Marzo


Maribel Narváez. Wittgenstein y la teoría del derecho. Una senda para el convencionalismo jurídico: Capitulo I.

Consideraciones preliminares sobe lógica simbólica

Variables à p,q,r

Constantes à (.) y, (v) o, ( } ) entonces, (~) negación.

Funciones à f(X)= 2x +1 = 51 (p.q) v ( p } q)

Tablas de verdad (matrices)

p v q p q p v q
V V V
V F V
F V V
F F F

p. q p q p . q
V V V
V F F
F V F
F F F

Tautología

p v ~p p ~p p v ~p
V F V
V F V
F V V
F V V


Funciones contingentes, tautológicas, contradictorias

No hay comentarios:

Publicar un comentario en la entrada