Reporte

Implicación
Dos proposiciones unidas con la implicación resultan en una composición falsa únicamente cuando el antecedente es verdadero y el consecuente falso.
Sea P y Q dos proposiciones.
P->Q Si P entonces Q
Dicho conectivo se llama La Implicación o El Condicional donde a P se le llama El Antecedente y Q se le llama El Consecuente. Tabla de verdad:

P
Q
P -> Q
V
V
V
V
F
F
F
VV
F
F
V
Las Implicaciones son generalmente compromisos. Ejemplo:
Si el tablero es negro entonces yo estoy mojado.
Implicación Formal: Se llama asi a toda implicación tal que su valor de verdadse concluye solo acudiendo a la tabla de verdad de la implicación pues en general resulta en una Incoherencia. Ejemplo:
Si mi papa es europeo entonces yo se cálculo
Implicación Material: Tambiénllamada implicación No Formal. Es aquella cuyo valor de verdad se deduce por medio de un proceso de verdad u operativo. En dichas Implicaciones ahi una relación Causa-Efecto entre el Antecedente yel Consecuente. Ejemplo:
Si me caigo entonces me golpeo
También en una Implicación material al Antecedente se le llama Condición Suficiente y al Consecuente se le llama Condición Necesaria.
Enla Implicación P->Q al Antecedente P se le llama la Condición Suficiente para que ocurra Q en el sentido de que es suficiente que ocurra P para que ocurra Q de forma inmediata.
Se dice Q es la CondiciónNecesaria para que ocurra P en el sentido de que si no ocurre Entonces no ocurre P, pero si ocurre Q no necesariamente ocurre P. Ejemplo
Si Pedro está muerto entonces Pedro no va al Baile
Explicación: Es obvioque si Pedro está muerto no va al baile, pero si Pedro puede ir al baile (Negación del Consecuente) entonces no está muerto; pero si Pedro no puede ir al baile (Ocurrencia del consecuente) nonecesariamente Pedro está muerto (Pedro puede estar ocupado o no querer ir).
Una Condición es necesaria para otra si al cumplirse una no es necesario que se cumpla la otra
A -> B
A=Condición...