La lógica simbólica es el método de representar expresiones lógicas mediante el uso de símbolos y variables, en lugar de hacerlo en lenguaje ordinario. Esto tiene la ventaja de eliminar la ambigüedad que normalmente acompaña a los idiomas comunes, como el inglés, y permite una operación más fácil.
Hay muchos sistemas de lógica simbólica, como la lógica proposicional clásica, la lógica de primer orden y la lógica modal. Cada uno puede tener símbolos separados, o excluir el uso de ciertos símbolos.
Simbolos logicos
La siguiente tabla presenta varios símbolos lógicos, su nombre y significado, y cualquier nota relevante. El nombre del símbolo (debajo de “significado” enlaza con una página que explica el símbolo o término y su uso). Tenga en cuenta que diferentes símbolos han sido utilizados por diferentes lógicos y sistemas de lógica. En aras de la claridad, este sitio utiliza constantemente los símbolos en la columna de la izquierda, mientras que la columna “Notas” puede indicar otros símbolos de uso común.
Símbolo Significado Notas
- ¿Que es el tiempo? ¿Se detendrá?
- ¿Qué debo tener en cuenta si estoy considerando realizar una doble licenciatura en inglés y filosofía en mis estudios universitarios? ¿Es una buena idea?
- Si la raza humana eventualmente dejará de existir, ¿cuál es el punto de hacer algún tipo de progreso?
- ¿Cómo se las arregla Iron Man para matar terroristas? ¿No es todavía ilegal?
- ¿Por qué todavía tenemos problemas para entender qué es la conciencia? ¿Podemos encontrar la respuesta definitiva?
¬ negación (NO) La tilde (˜) es
también se utiliza a menudo.
∧ conjunción (AND) El símbolo comercial (
&) o punto (·) son
también se utiliza a menudo.
∨ disyunción (O) Este es el incluido
disyunción,
equivalente a
y / o en ingles.
Aunque hay un gran número de símbolos en la lógica de la lógica simbólica, pero debido a la simplicidad, solo usé tres ejemplos.
Espero que esto haya ayudado.