3-El Lenguaje Natural y Los Conectores Lógicos

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

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

También podría gustarte