Download Conectivas lógicas

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