Conectivas lógicas
La lógica es la ciencia que estudia los
argumentos deductivos, posee infinitas conectivas, pero sólo usamos cinco.
Negación, Conjunción, Disyunción, Implicación y Coimplicacion:
|
Conectiva |
Símbolo |
Uso |
Equivalente
en lenguaje natural |
Significado |
Ejemplo |
|
Negación |
¬ |
¬a (Negación
de a) |
No |
No
es el caso que |
No
es el caso que sea de día. |
|
Conjunción |
∧ |
(a
∧
b) (Conjunción de a y b) |
Y,
pero, mientras, aunque… |
a
y b |
Es
de día y hace frio. |
|
Disyunción |
∨ |
(a
∨
b) (Disyunción de a y b) |
O (``o
bien… o bien´´ y ``a menos que´´ pueden ser usos de la disyunción de la
lenguaje natural pero en una variante de disyunción exclusiva, es decir, o es
una alternativa o es la otra). |
a
o b |
O
es de día o hace frio. |
|
Implicación |
→ |
(a
→ b) ((Implicación material de a y b) |
Si…
entonces… |
Si
a entonces b |
Si
es de día, entonces hace frio. |
|
Coimplicación |
↔ |
(a
↔ b) (Complicación material de a y b) |
Siempre
y cuando |
A
si y solo si b |
Es
de día si y solo si hace frio. |
Connective logics
Logic is the science that you go into the deductive arguments, possess
infinite connective, but only we used five . Refusal,
Conjunction, Disjunction, Implication and Coimplicacion:
|
Connective |
Symbol |
Use |
Equivalent in natural language |
Significance |
Example |
|
Refusal |
¬ |
¬a |
No |
The case is not
than |
It is not just
for it to be daylight. |
|
Conjunction |
∧ |
( a ∧ b ) (
Conjunction of a and b ) |
And, but, in the
meantime, although |
a and b |
It is daylight and
you do cold. |
|
Disjunction |
∨ |
( a ∨∠b ) (
Disjunction of a and b ) |
O |
a or b |
Or it is
daylight or you do cold. |
|
Implication |
→ |
( a → b ) ( ( material
Implication of a and b ) |
If then |
If a then b |
If it is
daylight, then you do cold. |
|
Coimplicación |
↔ |
( a ↔ b ) ( material
Complication of a and b ) |
Always and when |
a if and solo if
b |
It is daylight
if and providing that you do cold. |
