verdad formal

5/12/2018 Verdad Formal - slidepdf.com

http://slidepdf.com/reader/full/verdad-formal 1/7

Área de Formación GeneralLÓGICO MATEMÁTICA



VERDAD FORMALVERDAD FORMAL

E Ess aquella que seaquella que seobtiene evaluandoobtiene evaluando

esquemasesquemasmoleculares,moleculares,

haciendo uso dehaciendo uso dereglas de conectoresreglas de conectores

lógicos y tablas delógicos y tablas deverdad.verdad.



Esquemas MolecularesEsquemas MolecularesSon Fórmulas compuestas por Son Fórmulas compuestas por variables, operadores lógicos y variables, operadores lógicos y

en algunos casos signos deen algunos casos signos deagrupación.agrupación.

Sin Signos de

agrupación.

Esquemas Moleculares

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

B) Con signos de agrupación, su nombre lo determina el conector principal que

une los bloques; pueden ser:

Jerarquía 1 2 3 4 5 6Operador ~m ( pn;

1. Tautológico2. Contingente3. Contradictorio



T ablas de Verdad T ablas 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 q

V

V

F

F

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



NEGACIÓN

p b p

VF FV

CONJUNCIÓN

p q p q

V

V

F

F

V

F

V

F

V

F

F

F

DISYUNCIÓN (INCLUSIVA)

p q p q

V

V

F

F

V

F

V

F

V

V

V

F

DISYUNCIÓN (EXCLUSIVA)

p q p ( qVVFF

VFVF

FVVF

CONDICIONAL

p q pp

qVVFF

VFVF

VFVV

BICONDICIONAL

p q p m q

VVFF

VFVF

VFFV



Evaluar una proposición compuesta es determinar el gradode validez de la misma, para sus distintos valores. Se

presentan tres casos:

1.TAUTOLOGÍASe llama así a la proposición compuesta en la cual los valores de

verdad de su conectivo principal son todos verdaderos.

Fórmulas LógicasFórmulas Lógicas

2. CONTRADICCIÓNCuando los valores de verdad de su conectivo principal

resultan siempre falsa.

3. CONTINGENCIAEs 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).

verdad formal

Documents