Verdad Formal
Es el capitulo de la lógica en el que se determina la verdad o falsedad de un argumento a partir de su respectivo esquema molecular, dependiendo de los valores de verdad que independientemente tomen cada una de las proposiciones que lo conforman.
A cada variable que representa una proposición verdadera ( V )
le daremos el valor uno ( 1 ) y a cada variable que representa una proposición falsa ( F ), se le asignara el valor cero ( 0 ).
analicemos el siguiente argumento:
"si el todo no es mayor que cualquiera de sus partes, el conjunto de los números enteros esta incluido en el conjunto de los números naturales; por lo tanto el conjunto de los números enteros no esta incluido en el conjunto de los números naturales o tan solo el todo es mayor que cualquiera de sus partes".
¿cómo podríamos hacer para determinar todos los posibles valores de verdad que tendría el argumento?
para aclarar estas preguntas, definamos algunos términos:
ESQUEMAS MOLECULARES POR SU OPERADOR PRINCIPAL:
se dan 2 casos:
A) En esquemas sin signos de agrupación, su clasificación lo determina el operador de mayor jerarquía.
Jerarquia
|
1°
|
2°
|
3°
|
4°
|
5°
|
6°
|
Operador
|
↔
|
∆
|
← ; →
|
v
|
^
|
~
|
P ʌ q ← r v ~ s v t , Es un esquema molecular replicativo.
¬ p ↔ q ʌ ¬ r → s , Es un esquema molecular biimplicativo.
P → q v r ʌ s ∆ t , Es un esquema molecular disyuntivo fuerte.
B) En esquemas con signos de agrupacion, su nombre lo determina el operador principal que une bloques.
ejemplo:
¬[(p↔q) ʌ (¬r→s)] , Es un esquema molecular negativo.
[(p→q) v r] ʌ ( s ∆ t ) , Es un esquema molecular conjuntivo .
[(p ʌ q )← r ] v ( ~ s v t ) , Es un esquema molecular disyuntivo débil.
La Lógica es un conocimiento que aparece con Aristóteles de manera orgánica y sistemática con un objetivo definido como es el análisis formal de los razonamientos.
ResponderEliminarEn Verdad Formal se refiere en dar valores a los conectores con las tabla de verdad.
ResponderEliminarEl Método de las Tablas de Verdad es un procedimiento abreviado y sencillo que aplicado a una proposición formalizada, determina si la fórmula o esquema es: contingente, lógicamente necesaria o lógicamente imposible y si una fórmula es o no es equivalente a otra.
En conjuncion ( ) es verdadero cuando p y q son verdaderas
En disyuncion debil (v ) es falso cuando p y q sean falsas
En disyucion fuerte ( ) es falso si p y q tienen el mismo valor( v y v) (f y f)
En condicional ( ->) es falso cuando p es verdadero y q es falso
En bicondicional ( <->) es verdadero si p y q tienen el mismo valor (v y v) (f y f)
Muy buen trabajo.
ResponderEliminarFelicitaciones al equipo.
Nos vemos en clase.
la lógica es la disciplina filosófica que tiene un carácter formal, ya que estudia la estructura o formas de pensamiento con el objeto de establecer razonamientos o argumentos válidos o correctamente lógicos.
ResponderEliminarLa lógica es una ciencia formal que estudia los principios de la demostración válida Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no (verdadero o falso).
ResponderEliminar