Apuntes De Logica

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
  de
  cómo
  la...