P. 1
Verdad Formal

Verdad Formal

|Views: 3.132|Likes:
Publicado porjohnny2407

More info:

Published by: johnny2407 on Jan 20, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PPTX, PDF, TXT or read online from Scribd
See more
See less

11/15/2012

pdf

text

original

Área de Formación General LÓGICO MATEMÁTICA

VERDAD FORMAL Es aquella que se obtiene evaluando esquemas moleculares, haciendo uso de reglas de conectores lógicos y tablas de verdad.

Esquemas Moleculares
Son Fórmulas compuestas por variables, operadores lógicos y en algunos casos signos de agrupación.

Esquemas Moleculares

Sin Signos de agrupación.

Con Signos de agrupación.

A) Sin signos de agrupación, su clasificación la determina el operador de mayor jerarquía. Jerarquía de Conectores lógicos

Jerarquía Operador

1

2

3

4

5

6

m

(

n; p

œ ›

~

B) Con signos de agrupación, su nombre lo determina el conector principal que une los bloques; pueden ser: 1. 2. 3. Tautológico Contingente Contradictorio

Tablas de Verdad
Es un conjunto ordenado de valores de verdad de proposiciones compuestas, que resultan de la aplicación de reglas de los conectores lógicos sobre los valores de verdad de las proposiciones simples que las componen.
p V V F F q V F V F

Número de valores de verdad : 2n n: número de variables Ejemplo. Si tenemos dos variables p y q , (n=2) entonces 22 = 4

CONJUNCIÓN NEGACIÓN p bp V F F V p V V F F DISYUNCIÓN (EXCLUSIVA) p V V F F q V F V F p ( q F V V F q V F V F p › q V F F F

DISYUNCIÓN (INCLUSIVA) p V V F F q V F V F p œ q V V V F

CONDICIONAL p V V F F q V F V F p p q V F V V

BICONDICIONAL p V V F F q V F V F p m q V F F V

Fórmulas Lógicas Evaluar una proposición compuesta es determinar el grado de validez de la misma, para sus distintos valores. Se presentan tres casos:
1.TAUTOLOGÍA

Se llama así a la proposición compuesta en la cual los valores de verdad de su conectivo principal son todos verdaderos.
2. CONTRADICCIÓN

Cuando los valores de verdad de su conectivo principal resultan siempre falsa.
3. CONTINGENCIA

Es cuando la proposición compuesta no es tautología ni contradicción, es decir su conectivo principal presenta al menos una verdadera (V) y al menos una falsa (F).

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->