DIA 2: PROPOSICIONES(11/11/13)

PROPOSICIONES

Hoy vimos lo siguiente:

Una proposición lógica es cualquier expresión que puede ser verdadera o falsa, pero no las dos al mismo tiempo. Algunos ejemplos de proposiciones son:

• JOLUJOLEl año empieza con el mes de enero.
• 1 + 1 = 2

Por otro lado, expresiones que no cumplen esta propiedad no son proposiciones lógicas, por ejemplo:

• ¡Viva la libertad!
• ¿Está lloviendo?
• Él está triste.

VALOR DE VERDAD

Entramos en el estudio semántico cuando hacemos referencia al carácter de verdad o falsedad que pueda tener una proposición. Al hacer referencia al posible valor de verdad o falsedad que pueda tener una fórmula estamos admitiendo un principio, el principio de bivalencia: todo enunciado es o verdadero o falso, pero no ambas cosas a la vez.

a

1

0

 

Ejemplo: la unión de p, q, mediante el conjuntor da lugar a una funcion veritativa.

a	b	c
1	1	1
1	0	0
0	0	1
0	0	0

 Tabla de Verdad: