Condicional/ BiCondicional

El Condicional

Considera la siguiente proposición: "Si obtienes una A en lógica, entonces te voy a comprar un Mustang amarillo." Esta parece ser compuesta en dos oraciones más simplemente:
    p: "Obtienes una A en lógica," y
    q: "Te voy a comprar un Mustang amarillo."
La proposición original quiere decir lo siguiente: Si p es verdad, entonces q es verdad, o, más simple, si p, entonces q. También podemos escribir la frase como p implica q, y escribimos p→q.
Ahora supongamos por el bien de la discución de que la proposición original: "Si obtiene una A en lógica, entonces te voy a comprar un Mustang amarillo," es verdad. Esto no significa que tu obtendrás una A en lógica; lo único que quiere decir es que si tu lo haces, entonces te voy a comprar un Mustang amarillo. Si Pensamos en esto como una promesa, la única manera que pueda ser rota esta promesa es si ganas una A pero no te compro un Mustang amarillo. En general, usamos esta idea para definir la proposición p→q.
CondicionalLa condicional p→q, que se lee "si p, entonces q" o "p implica q," se define con la siguiente tabla de verdad.

p
q
p→q
V
V
V
V
F
F
F
V
V
F
F
V
La flecha "→" es el operador condicional, y en p→q la proposición p es llamada en el antecedente, o hipótesis, y q es llamada la consecuente, o conclusión.
Observa que el condicional en un nuevo ejemplo de un operador lógico binario -- asigna a cada par de proposiciones p y q la nueva proposición p→q.

Comentarios

Entradas populares de este blog

método de polya 24/05/18

ecuaciones de primer grado 11/06/2018

Diagrama o figura 1/06