IDEPUNP/CICLO REGULAR/ENERO-MARZO 2017 1 RAZONAMIENTO LÓGICO

SEMANA Nº 03
TEMA: VERDAD FORMAL

LAS TABLAS DE VERDAD

Permite representar un razonamiento y hallar su validez,

esquema:

Variable Esquema Lógico

2n Matriz de Verdad
Arreglos del Esquema

 Las letras V y F indican valores falso y verdadero.

 V=1 y F=0

CLASIFICACIÓN DE LAS TABLAS DE VERDAD POR LA

NATURALEZA DE MATRIZ DE VERDAD

1. M. TAUTOLÓGICA (T) Si el resultado final contiene sólo

valores verdaderos.

2. M. CONTRADICTORIA Si el resultado final presenta

sólo valores falsos.

3. M. CONSISTENTE O CONTINGENTE Si el resultado

final contiene valores verdaderos y falsos.

Tablas de Verdad de los Conectores Lógicos:

Conectores Simbólicamente Valores de

Verdad

* Conjunción pq V V  V

* Disyunción pq FF F

Incluyente

* Disyunción pq V V  F
Excluyente F F  F
* Implicación pq V F  F

* Replicador pq F V  F

* Biimplicador pq V V  V
F  F V

* Negación pq F  F V
Conjuntiva

* Negación p/q V /V  F
Disyuntiva

* Negación p V F