Estructura lógica del falsacionismo (Extraído del texto de Alan Chalmers ¿Qué es esa cosa

llamada ciencia?)

Premisa
En el lugar x y en el momento t se observó un cuervo que no era negro

Conclusión
No todos los cuervos son negros

“La anterior estructura es una deducción lógicamente válida. Si se afirma la premisa y se niega
la conclusión, hay una contradicción.”

Explicación de Diagramas semánticos

- Negación:
Tabla de Verdad:

p ∼p
EPM 1 V F
EPM 2 F V

Regla de diagrama semántico:

1. F [ ∼ p ] V [ p]

- Conjunción
Tabla de verdad

p q p ∧q
EPM 1 V V V
EPM 2 V F F
EPM 3 F V F
EPM 4 F F F

Regla de diagrama semántica

V [ p∧q] 2. F [ p ∧ q]
V [ p]
V [q] F [ p] F [ q]
 Disyunción
Tabla de verdad

p q p ∨q
EPM 1 V V V
EPM 2 V F V
EPM 3 F V V
EPM 4 F F F

Regla del diagrama semántico

V [ p∨q] 3. F [ p ∨q ]
F [ p]
V [ p]V [q] F[q]

Condicional
Tabla de verdad

p q p→q
EPM 1 V V V
EPM 2 V F F
EPM 3 F V V
EPM 4 F F V

Regla del diagrama semántico

V [ p→q] 4. F [ p →q ]
V [ p]
F [ p] V [ q ] F [q]

Bicondicional
Tabla de verdad

p q p↔q
EPM 1 V V V
EPM 2 V F F
EPM 3 F V F
EPM 4 F F V

V [ p↔q] 5. F [ p ↔q ]

V [ p ] F [ p] V [ p ] F [ p]
V [ q ] F[q ] F [ q ] V [q ]
 Lógica Cuantificacional (Reglas tomadas del material del profesor Eduardo Villanueva
Chigne):
Equivalencia de cuantificadores negados

Instanciación universal (Regla sin restricción):

Instanciación existencial (Regla con restricción)
 Premisa
En el lugar x y en el momento t se observó un cuervo que no era negro

Conclusión
No todos los cuervos son negros

Premisa:
(1) En el lugar x y en el momento t se observó al cuervo Edgar y no era negro.

Conclusión:
(2) No todos los cuervos son negros

Léxico:
Cx: x es cuervo
Nx: x es negro
a: Edgar

Simbolización:
( 1 ) Ca∧∼ Na
Conclusión:
( 2 ) ∼ ( ∀ x ) ( Cx → Nx )

1. V [ Ca ∧∼ Na ] Pr .2. F [ ∼ ( ∀ x )( Cx → Nx ) ] ∼ Conclusión3. V [ Ca ] (1 )4. V [ ∼ Na ] ( 1 )

5. F [ Na ] ( 4 )6. V [ ( ∀ x ) ( Cx → Nx ) ] ( 2 ) 7. V [ Ca → Na ] I .U . 6 8. F [ Ca ] ( 7 ) 9. V [ Na ] ( 7 ) X X

Se ha realizado la prueba: Se ha supuesto la verdad de la premisa y la falsedad de la conclusión.

Luego hemos observado la contradicción en el diagrama semántico.