termina la escalera que falta revisándo que se cumpla la regla del TT st tts st
Respuestas a la pregunta
Respuesta:
ojala te ayude
corona pliss
Explicación:
En e l capítul o uno , hemos aprendid o a dividi r la s proposicione s e n sus
partes lógica s y de est e mod o s e ha llegad o a conoce r alg o sobr e l a form a
lógica d e las proposiciones. L a ide a d e forma s e pued e ilustra r co n alguno
de lo s resultado s de l capítul o anterior . L a proposición P —> Q e s la misma,
en cuant o a la forma lógic a s e refiere, cualesquier a qu e sea n la s proposiciones
en castellan o qu e sustituya n a la P y a la Q . Los términos d e enlace deter -
minan l a form a d e la proposición .
Conocidas la s forma s d e las proposicione s y teniend o lo s instrumento s
de simbolizació n a nuestr o alcance , podemo s dirigirno s y a haci a un a parte
importante d e la Lógic a formal : inferenci a y deducción . La s reglas de infe-
rencia qu e rige n e l us o de lo s término s d e enlac e so n mu y simples. S e
pueden aprende r esta s regla s y s u uso , como s e aprende n la s regla s d e u n
juego. E l juego s e juega co n proposiciones , o fórmulas lógicas , nombr e qu e se
dará a las proposiciones simbolizadas . S e empieza co n conjuntos d e fórmulas
que s e denominan premisas. E l objeto de l juego e s utilizar la s reglas d e infe-
rencia d e manera qu e conduzcan a otras fórmula s qu e se denominan conclu-
siones. E l pas o lógic o d e la s premisa s a l a conclusió n e s un a deducción.
La conclusió n qu e se obtiene s e dic e qu e es una consecuencia lógica d e la s
premisas s i cad a pas o qu e se da par a llega r a l a conclusió n est á permitid o
por un a regla . L a idea d e inferenci a s e puede expresa r d e la manera siguiente :
de premisas verdaderas se obtienen sólo conclusiones que son verdaderas. E s
decir, s i las premisas so n verdaderas , entonce s la s conclusiones qu e s e derivan
de ella s lógicamente , han de ser verdaderas.
Con frecuenci a s e aprend e u n jueg o nuevo , po r un ejemplo . Veamo s
algunos d e inferenci a ante s d e prosegui r co n las leye s formales . S e supon e
que s e tiene n do s premisas, l a fórmul a P — Q y l a fórmul a P . S e sab e
que esta s premisa s está n dadas ; e s decir, s e empieza diciend o qu e s e ha dado
P y que se ha dado P —> Q . ¿S e puede saca r un a conclusión d e esta s dos
proposiciones? E s decir , ¿s e pued e idea r otr a proposició n qu e haya d e se r