implikation
implikation (latin implicaʹtio, egentligen ’inflätning’, av iʹmplico, egentligen ’infläta’, ’hopslingra’), följd, inom logiken ofta en sats som utsäger att något följer av något annat, t.ex. en sats med formen ”om A, så B”.
Med en materiell implikation avses en satsform (uppmärksammad inom satslogiken) som skrivs A⊃B eller A⇒B och som endast uttrycker att sanningsvärdena hos de ingående delsatserna är så relaterade att om försatsen A är sann så är eftersatsen B också sann, utan att B i
Information om artikeln
Källangivelse