Mostrando entradas con la etiqueta Lógica simbólica. Mostrar todas las entradas
Mostrando entradas con la etiqueta Lógica simbólica. Mostrar todas las entradas

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