LOXO

Felipe
 Garrido
 Bernabeu
 
Profesor
 de
 Filosofía
 en
 el
 I.E.S.
 La
 Foia
 de
 Ibi
 (Alicante)
 

http://antesdelascenizas.com
 

 
Índice
 
1
 

Lógica
 proposicional
 …………………………………………………………………………….1
 

1.1
  EL
 LENGUAJE
 DE
 LA
 LÓGICA
 PROPOSICIONAL........................................................................... 1
 
1.1.1
  PROPOSICIONES
 ATÓMICAS
 Y
 PROPOSICIONES
 MOLECULARES ........................................................1
 
1.1.2
  CONECTIVAS
 LÓGICAS ..............................................................................................................................2
 
1.1.3
  SÍMBOLOS
 DE
 LA
 LÓGICA PROPOSICIONAL ...........................................................................................4
 
1.2
  SINTAXIS:
 FÓRMULAS
 BIEN
 FORMADAS
 (FBF) ......................................................................... 5
 
1.3
  FORMALIZACIÓN
 DE
 PROPOSICIONES ....................................................................................... 6
 
1.3.1  FORMALIZACIÓN
 DE
 LA
 CONJUNCIÓN....................................................................................................6
 
1.3.2
  FORMALIZACIÓN
 DE
 LA
 DISYUNCIÓN ....................................................................................................8
 
1.3.3
  FORMALIZACIÓN
 DEL
 CONDICIONAL.....................................................................................................9
 
1.3.4
  FORMALIZACIÓN
 DE
 LA
 NEGACIÓN .....................................................................................................12
 
1.3.5
  FORMALIZACIONES
 COMBINANDO
 TODAS
 LAS
 ANTERIORES .........................................................13
 
1.4
  TABLAS DE
 VERDAD.................................................................................................................16
 
1.4.1
  TABLAS
 DE
 VERDAD
 DE
 LAS
 CONECTIVAS
 LÓGICAS .........................................................................16
 
1.4.2
  TABLAS
 DE
 VERDAD
 DE
 FÓRMULAS
 EN
 GENERAL............................................................................19
 
1.4.3
  CONTINGENCIAS,
 TAUTOLOGÍAS
 Y
 CONTRADICCIONES...................................................................25
 
1.5
  ARGUMENTOS ..........................................................................................................................26
 
1.5.1
  ARGUMENTOS
 VÁLIDOS........................................................................................................................26
 
1.5.2
  EVALUACIÓN
 DE
 ARGUMENTOS
 MEDIANTE
 TABLAS
 DE
 VERDAD ..................................................27
 
1.6
  DERIVACIONES
 LÓGICAS ..........................................................................................................29 
1.6.1
  CONCEPTO
 DE
 DERIVACIÓN
 LÓGICA ...................................................................................................29
 
1.6.2
  REGLAS
 DE
 DERIVACIÓN
 DEL
 CÁLCULO
 DE
 DEDUCCIÓN
 NATURAL
 DE
 LA
 LÓGICA
 DE
 
ENUNCIADOS
 (O PROPOSICIONAL).....................................................................................................................30
 

 

1 Lógica
 proposicional
 
1.1 El
 lenguaje
 de
 la
 lógica
 proposicional
 
1.1.1 Proposiciones
 atómicas
 y
 proposiciones
 moleculares
 
La
  lógica
  proposicional
  trata
  sobre
  la
  verdad
  o
  la
  falsedad
  de
  las
 
proposiciones
  y...