Logica filosofía

Tema 7: Expresar el mundo, una peculiaridad humana:
1.1. Lógica:
La lógica es la ciencia formal que trata las leyes del pensamiento correcto. La característica principal de la lógica es laformalización. Hay dos tipos de lógica:
* La tradicional, cuyo pionero fue Aristóteles.
* La simbólica o moderna.
1.2. Símbolos:
Los símbolos son las letras sentenciables o variables. Son irreales,ideales y arbitrarios. Hay muchos tipos, como puede ser:
* Variables: Nos marcan una proposición, que se simboliza en forma de letra.
p p´ p´´ p´´´
q q´ q´´ q´´´
r r´ r´´ r´´´
s s´ s´´ s´´´* Funtores: Son constantes y siempre van unidos a una o dos proposiciones. El más común de todos es el negador (ך), y es un símbolo monárico (afecta únicamente a la variable a la que estáunido). El negador se traduce como no, ni, ca… Cualquier palabra que signifique negación.
Yo voy al cine p
Yo no voy al cine ךp

* ךp ٨ t
Él no come y su madre canta
Conjuntor: Une dosproposiciones (٨). El conjuntor se traduce por cualquier conjunción copulativa o similar, y es un símbolo diádico (se sitúa entre dos proposiciones). El conjuntor hace de producto lógico.* Disyuntor: (٧) Equivale, en el lenguaje natural, a “o”, o a cualquier otra palabra similar. Se trata de la suma lógica. Es un símbolo diádico.
* Condicional: () Una cosa implica la otra. Setraduce por Si…, entonces…
ךp t
Si no estudias, entonces suspendes.

* p t
Si, y sólo si fumas, entonces morirás de cáncer.
Bicondicional: ( ) Equivale a la igualdad.

* p٧ tCome o bebe, pero no ambas a la vez.
Disyuntor exclusivo: Es la desigualdad (٧ )

* . ; : = ( ) [( )]
Signos de puntuación: Sirven para separar proposiciones. Son los siguientes:* Para decir que una proposición es verdadera, decimos V o 1. En cambio, para decir que es falsa, decimos F o 0.

Ejercicios:
ך p p ٨ q ך p ٨ ך q ך(p ٨ q)...