EL LENGUAJE NATURAL Y LOS CONECTORES LÓGICOS
La Conjunción, el conectivo lógico que representa la conjunción es Λ . Se considera la proposición p Λ q verdadera,
únicamente cuando la proposición p y la proposición q son verdaderas a la vez.
Algunas frases en las que aparece la conjunción son las siguientes:
pyq
p pero q
p, q
p, sin embargo q
p no obstante q
p además q
p aunque q
p mientras q
p así mismo q
p en cambio q
Tanto p como q
p a pesar de q
Ejemplos:
Marte tiene satélites y Júpiter también
Sandra presentó la entrevista pero no la llamaron a trabajar
Locke y Hume son representantes del empirismo inglés
Descartes es racionalista, pero Hume es empirista
Aunque Descartes es idealista, Hume es empirista
La Disyunción, el conectivo lógico que representa la disyunción es V. Se considera la proposición. p V q falsa,
únicamente cuando la proposición p y la proposición q son falsas a la vez.
Algunas frases en las que aparece la disyunción son las siguientes:
poq
p o q o ambas
Al menos p o q
Mínimo p o q
O bien p o bien q
Ejemplos:
Hizo frio o la persona es nerviosa
La ciudad de Ixtlahuca es grande o había mucho tráfico
Para pagar el crédito al menos se debe tener cuenta corriente o cuenta de ahorros.
A menos que se tomen medidas, el Riachuelo seguirá contaminado
Las becas de investigación son para Francia y/o Alemania
La tarifa aérea incluye un viaje de cabotaje o a Bariloche o a cataratas
El Condicional, El conectivo lógico que representa la implicación es el símbolo →. Sea p y q dos proposiciones:
entonces la proposición, si p entonces q, se representa mediante p →q.
La proposición p → q es falsa si la primera proposición (antecedente) es verdadera y la segunda proposición
(consecuente) es falsa.
Algunos ejemplos de representación en lenguaje natural en los cuales se utiliza el condicional son los siguientes:
Si p entonces q
P implica q
q si p
p sólo si q
p es suficiente para q
para q es suficiente p
no q a menos que p
q cuando p
q es necesario para p
para p es necesario q
p en consecuencia q
p se deduce q
p por ende q
Ejemplos:
Si el sol está brillando entonces se puede hacer deporte
Si Pedro es ingeniero en computación entonces programa.
Si un número es par entonces es divisible por 2.
Si un número tiene dos divisores es suficiente para que sea primo.
Un número es divisible por 5 cuando termina en 0 o en 5
José reprobó la materia reciclada en consecuencia perdió el semestre.
Viajaremos en primera, Si los pasajes se reservan con tiempo
En el condicional si el antecedente es verdadero, su valor de verdad es igual al valor de verdad de su consecuente.
Si el antecedente es falso, entonces el condicional es verdadero.
Bicondicional: El conectivo lógico se representa por ↔. Sean p y q dos proposiciones, la proposición p si y solo si q,
se representa p↔ q. El bicondicional es verdadero únicamente cuando tanto p como q tienen los mismos valores de
verdad.
Algunos ejemplos de representación en lenguaje natural en los cuales se utiliza el bicondicional son los siguientes:
p si y solo si q
p es necesario y suficiente para q
p es equivalente a q
p cuando y solo cuando q
p entonces y sólo entonces q
Ejemplos:
Juan ve si y solo si no es ciego
5 + 5 = 10 si y solo si 5 * 2 = 10
29 es par cuando y solo cuando es divisible por 2
Un número es compuesto cuando y solo cuando tiene más de dos divisores
Un número es divisible por 3 si y solo si al sumar sus cifras el resultado es múltiplo de 3
