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 ( Refusal of to )	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 ( ` ` or else or else ´ and ` to less than ´ ´ uses of the disjunction of her can be natural language but in a variant of exclusive disjunction, that is, or it is an alternative or it is the other one ).	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.