Implikacija – logikos sąryšis „jei…, tai…“. Formulė: \( A \to B \) („jei A, tai B“). Teisinga visais atvejais, išskyrus kai A teisinga, o B klaidinga.
Pavyzdžiai:
1. Jei lyja, tai gatvė šlapia.
– Vienintelis klaidingas atvejis: lyja, bet gatvė nėra šlapia.
2. Jei 2+2=5, tai Saulė šviečia.
– Logiškai teisinga, nes prielaida (2+2=5) klaidinga.
3. Programavime: `if (x > 0) { print("Teigiamas") }` – sąlyginis teiginys, veikiantis pagal implikacijos logiką.
Svarbu: Implikacija nereiškia priežastinio ryšio – tik formalų sąryšį tarp teiginių.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.