Download Conectivas lógicas
Document related concepts
Transcript
CONECTIVAS LÓGICAS E INDICADORES DE PREMISA Y CONCLUSIÓN La lógica es la ciencia que estudia los argumentos deductivos, posee infinitas conectivas, pero sólo usamos cinco. Conjunción, Disyunción, Condicional material, Bicondicional y Negación: Nombre de conectiva Se simboliza Se lee como: No es una conectiva lógica Negación −,~, ¬,Np, P No es el caso que, No P. No es cierto que, Es falso que… Si no tiene los requisitos de: Exhaustiva y excluyente Conjunción pq, p . q, p&q, P y Q. Cuando significa P pero Q, a) Consecuencia “y por lo tanto” Kpq, ⊕ , ∧ P aunque Q ( con verbo en b) Añade Nombres para forma indicativa en B) invocación A la vez P y Q c) Sucesión temporal “y después” Sin embargo d) Cuando introduce una pregunta P sin Q (P y no Q) retórica Ni P ni Q (No P y no Q) …y también es verdad que… …además de… Disyunción (inclusiva) ∨, ⊗ ,Apq Disyunción (exclusiva) w ,W, R Condicional (material) →, ⊃, ⇒, Cpq PoQ Ya P o Ya Q, ya ambas …o ambas cosas O uno o el otro, pero no ambas O P o Q pero no ambas O una o la otra (Nunca ambas juntas) O ......... o ..... O bien .... o bien .... a menos que .... .... salvo que ...... Si P entonces Q P sólo si Q Sólo P sí Q Es suficiente P para que Q Siempre que P, entonces Q Es necesaria Q para que P No P a menos que Q A nos ser que Q no P P solamente si Q Q si P Q siempre que P P es condición suficiente de Q Q es condición necesaria de P ↔, ⇔, ≡ Epq Bicondicional (material) P si y sólo si Q, P cuando y sólo cuando B P siempre y cuando Q P es condición necesaria y suficiente para que Q P es lo mismo que Q Es tan falso P como Q Es tan verdadero P como Q No hay diferencia entre decir P o decir Q Indicadores premisas de Puesto que Dado que A causa de Porque Pues Se sigue de Como muestra Como es indicado La razón es que Por las siguientes razones Se puede inferir de Se puede derivar de Se puede deducir de En vista de que Indicadores conclusión de Por lo tanto De ahí que Así Correspondientemente En consecuencia Consecuentemente Lo cual prueba que Como resultado Por esta razón Por estas razones Se sigue que Podemos inferir que Concluyo que Lo cual muestra que Lo cual significa que Lo cual implica que Lo cual nos permite inferir que Lo cual apunta hacia la conclusión que