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 R. Plečkaitis (2005-08-17, red. 2018-09-25). V. Serapinas (red.). „Implikacija“. VLE. Nuoroda tikrinta 2025-03-31. {{cite web}}: Patikrinkite date reikšmes: |date= (pagalba)