RSS Feed
TwitterAnalisis de una inferencia por el metodo abreviado:
1. Se supone verdadero el consecuente y falso el consecuente
2. se determinan los valores de las variables del consecuente de manera que expresen la falsedad de este
3: Se transladan estos valores al antecedente y se designan los valores de las demas variables tratando de hacer verdadero el antecedente
4. Si se verifica la hipotesis, la formula es no tautologica, en consecuencia, la inferencia correspondiente sera invalida; si no se verifica la hipotesis, la formula sera tautologica, en consecuencia, la inferencia correspondiente sera valida.
Ejemplo
Sea la inferencia
Si eres fiscal eres abogado. Si eres profesional, Eres abogado.Luego, Si eres Fiscal, eres profesional
Formula
Procedimiento
a) Se supone V (verdadero el antecedente y F (falso) el consecuente:
b) Se detemina el valor de las variables del consecuente
c) Se Transladan estos valores el antecedente y se asignan los valores a las demas variables:
d) habiendo asignado el valor de verdad de V a la variable q, las dos premisas han asumido el valor de verdad y todo el antecedente ha tomado el valor de verdad con lo que queda verificada la hipotesis siendo, por lo tanto , la formula no tautologica; es decir, la inferencia correspondiente invalida.
mmmmmmmmmmm
k mas parceros
en conclusion las premisas son falsas
y taotulogik
es falsa
ese chino si es severa lok
mmm no entendi nada
que se hace para hacinar los valores de verdad de una inferencia
quiero ver los siguientes metodos
en algo me ayudo gracias
buenas tardes, ¿cómo se llama el método en el que se van despejando las variables? ¿sabe donde puedo hallar información al respecto?
execelente
Si yo tampoco entendi nada
Claro yo te dijo idiota
[r --> (p ^ ¬q ) ^ (p ^ ¬q)] --> r alguno sabe por que r se supone también falso y las negaciones verdaderas?
A -> B
A
------
B
Analizar la validez inferencia mostrada { [∼p ⇔(∼ q ⋁ r ) ] ⋀ ( r ⇒ s ) } ⇒ ( s ⇒ ∼p) alguien ?
error en el primer parrafo el consecuente falso debe decir
quiero resolver este ejercicio ANALIZAR LA VALIDEZ INFERENCIA MOSTRADA { [∼p ⇔(∼ q ⋁ r ) ] ⋀ ( r ⇒ s ) } ⇒ ( s ⇒ ∼p)
por que q solo tiene un valor? si puede ser v o f .en la (r entonces q)