3-El Lenguaje Natural y Los Conectores Lógicos
3-El Lenguaje Natural y Los Conectores Lógicos
3-El Lenguaje Natural y Los Conectores Lógicos
Ejemplos:
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
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