Cuales son los conectivos logicos?

Los conectivos son :

conjunción : Enrazonamiento formal, unaconjunción lógica() entre dos proposiciones es unconector lógicocuyovalor de la verdadresulta enciertosólo si ambas proposiciones son ciertas, y enfalsode cualquier otra forma.

Existen diferentes contextos dónde se utiliza la conjunción lógica.

Enlenguajes formales, la palabra"y"se utiliza en español para simbolizar una conjunción lógica.

La noción equivalente en lateoría de conjuntoses laintersección().

Enalgebra Booleana, la conjunción como operador binario entre dos variables se representa con el símbolo depunto medio(·)

disyunción : Enrazonamiento formal, unadisyunción lógica() (en especifico, una disyunción inclusiva) entre dos proposiciones es unconector lógicocuyovalor de la verdadresulta enfalsosólo si ambas proposiciones son falsas, y enciertode cualquier otra forma.

Existen diferentes contextos dónde se utiliza la disyunción lógica.

Enlenguajes formales, la palabra"ó"se

utiliza en español para simbolizar una disyunción lógica.

Se debe

distinguir entre el "ó" inclusivo y el"ó" exclusivo, este artículo se

refiere al "ó" inclusivo.

La noción equivalente en lateoría de

conjuntoses launión().

Enalgebra Booleana, la disyunción como operador binario entre dos variables se representa con el símbolo demás( + ).

Condicional : Elcondicional material, también conocido comoimplicación material, condicional funcional de verdado simplementecondicional, es unaconstante lógicaque conecta dosproposiciones.

El condicional material intenta ser la versión formal del condicional en ellenguaje natural, el cual se expresa por medio de palabras como las siguientes : Sillueve, entoncesvoy al cine.

Voy al cinesillueve.

Cuandollueve, voy al cine.

Simbólicamente, el condicional material se suele denotar de las siguientes maneras : , y en ocasiones : Donde A y B sonproposicionescualesquiera.

Las variables A y B se conocen respectivamente como elantecedentey elconsecuentedel condicional.

Bicondicional : Enmatemáticasylógica, unbicondicional, (también llamadoequivalenciaodoble implicación, en ocasiones abreviado comossi, sii, osyss), es una proposición de la forma «P si y solo si Q» y afirma que laproposiciónPserá verdadera exclusivamente cuandoQtambién lo sea, así como tambiénPserá falsa cuandoQlo sea.

Otra forma de expresar el bicondicional es decir queQes unacondición necesaria y suficienteparaP

negación : Enlógicaymatemática, lanegación, también llamadacomplemento lógico, es unaoperaciónsobre

proposiciones, valores de verdad, o en general, valores semánticos.

Intuitivamente, la negación de una proposición es verdadera cuando dicha

proposición es falsa, y viceversa.

Enlógica clásicala negación está normalmente identificada con lafunción de verdadque cambia su valor deverdaderoafalsoy viceversa.

EnLógica intuicionista, de acuerdo a lainterpretación BHK, la negación de una proposiciónpes la proposición cuyas pruebas son las refutaciones dep.

En lasemántica de Kripke, donde los valores semánticos de las fórmulas son conjuntos de posibles mundos, la negación dep, es sucomplemento.