Conectivas

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 Negación Se simboliza −,~, ¬,Np, P Se lee como: No es el caso que, No P. No es cierto que, Es falso que… No es una conectiva lógicaSi 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ñadeNombres 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) …ytambién es verdad que… …además de…

Disyunción (inclusiva) Disyunción (exclusiva)

∨, ⊗ ,Apq

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 ola otra (Nunca ambas juntas) O ......... o ..... O bien .... o bien .... a menos que .... .... salvo que ......

,W,

Condicional (material)

→, ⊃, ⇒, Cpq

Si P entonces Q P sólo si Q Sólo Psí 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 Bicondicional (material)
↔, ⇔, ≡ Epq

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 mismoque 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 muestraComo 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í...