Verdad Formal
-
Upload
johnny2407 -
Category
Documents
-
view
2.568 -
download
0
Transcript of 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
5/12/2018 Verdad Formal - slidepdf.com
http://slidepdf.com/reader/full/verdad-formal 2/7
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.
5/12/2018 Verdad Formal - slidepdf.com
http://slidepdf.com/reader/full/verdad-formal 3/7
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.
5/12/2018 Verdad Formal - slidepdf.com
http://slidepdf.com/reader/full/verdad-formal 4/7
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
5/12/2018 Verdad Formal - slidepdf.com
http://slidepdf.com/reader/full/verdad-formal 5/7
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
5/12/2018 Verdad Formal - slidepdf.com
http://slidepdf.com/reader/full/verdad-formal 6/7
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
5/12/2018 Verdad Formal - slidepdf.com
http://slidepdf.com/reader/full/verdad-formal 7/7
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).