Pereiti prie turinio

Implikacija

Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
Veno diagrama

Implikacija (lot. implicatio 'sąsaja') – du teiginius jungtimi jei…, tai siejantis loginis veiksmas.[1]

Skiriamos šios implikacijos rūšys:[1]

  1. kauzalinė implikacija
  2. griežtoji implikacija
  3. formalioji implikacija
  4. materialioji implikacija

Kauzalinė implikacija nurodo priežastinę, griežtoji – būtiną reiškinių sąsają. Formalioji implikacija rodo objekto ir jo požymio ryšį. Materialioji implikacija atsiriboja nuo visų prasminių ryšių ir kreipia dėmesį tik į teiginių teisingumą ir klaidingumą; tai pagrindinė implikacijos rūšis. Žymima išraiška p→q; pirmasis implikacijos teiginys p yra antecedentas, o antrasis q – konsekventas. Implikacija klaidinga tik tuomet, jei antecedentas teisingas ir konsekventas klaidingas, visais kitais atvejais ji teisinga. Taikant Implikaciją reiškiama loginė seka.[1]

  1. 1,0 1,1 1,2 Romanas Plečkaitis (2018-09-25) [2005-08-17]. Valdemaras Serapinas (red.). „implikacija“. VLE. Nuoroda tikrinta 2025-07-25.