Filosofia_2BGU

2. Lógica matemática
2.1 Cálculo de proposiciones
En lógica, el cálculo es un sistema de signos
no interpretados, esto significa que en
un cálculo es posible realizar operaciones
sin saber qué significan los símbolos. En
este sentido, el cálculo difiere del lenguaje
que es un sistema de signos interpretados.
http://goo.gl/1Ek7RM
El cálculo de proposiciones consiste en
pasar de una proposición a otra, generalmente
más compleja, a partir de una
o más proposiciones no descompuestas
en sus elementos
y no interpretadas.
La lógica matemática representa
las proposiciones mediante
letras. En el cálculo proporcional
se busca su valor de
verdad, es decir, si es verdadero
o falso. Estamos pues en una
lógica bivalente (se admiten
dos valores: V = verdadero y F
= falso). También hay lógicas
polivalentes que tienen varios
valores de verdad. A la proposición
verdadera o falsa la simbolizamos
con una sola letra:
p, q, r…, etc.
Prohibida su reproducción
1. Explica por qué decimos que la lógica simbólica es formal.
2. Elabora dos ejemplos de lenguaje y dos ejemplos de metalenguaje.
3. Investiga cuáles son los principales filósofos de la lógica simbólica.
4. Responde: ¿Cuál es la diferencia entre el cálculo matemático y el cálculo de proposiciones?
5. Responde: ¿Cuál es la diferencia entre lógica bivalente y lógica polivalente?
6. Expresa en forma simbólica (p, q, r y conectores) las siguientes proposiciones:
a. El libro de Kant no es para principiantes.
b. O logramos ganar el partido o nos vamos a la B.
c. El ingeniero acepta el contrato solo si le pagan el anticipo.
d. El día está triste entonces está gris.
e. El espacio brindado es bueno solo si ponen un letrero.
Actividades
50