Departamento de Filosofía I.E.S. Hernán Pérez del Pulgar.
Filosofía. 1º de de Bachillerato.
Constante o Conectiva Lógica
Símbolo que representa una operación lógica entre proposiciones (¬, ∧, ∨, →, ↔).
Sirve para unir proposiciones, y para expresar operaciones con los elementos del
sistema.

Sistema Formal (es como un lenguaje, pero más sencillo que un idioma natural; está
creado o inventado de manera artificial por los lógicos para que no haya ambigüedades).
Estructura compuesta por:
1. Alfabeto: Símbolos primitivos.
2. Reglas de Formación (Sintaxis): Cómo combinar símbolos para formar fórmulas
bien formadas.
3. Axiomas: Fórmulas tomadas como punto de partida.
4. Reglas de Inferencia (también llamadas Reglas de Transformación): Permiten derivar
nuevas fórmulas a partir de otras.

Tabla de la Verdad
Tabla sistemática que muestra el valor de verdad de una fórmula compuesta para cada
combinación posible de valores de verdad de sus componentes.

| p | q | ¬p (NO) | p ∧ q (Y) | p ∨ q (O) | p → q (SI...ENTONCES) | p ↔ q (SI Y
SOLO SI) |
|:---:|:---:|:---------|:-----------|:-----------|:----------------------|:----------------------|
| V | V | F

|

V

|

V

|

| V | F | F

|

F

|

V

|

F

| F | V | V

|

F

|

V

|

V

| F | F | V

|

F

|

F

|

V

V

|
|

F
|

|

V

|
|

F

|

V

|

Argumento
Conjunto de proposiciones donde unas (premisas) se ofrecen como fundamento o
justificación de otra (conclusión). Es lo mismo que SILOGISMO.