Konsekvenco

El Vikipedio, la libera enciklopedio

En logiko, la logika konsekvenco estas la rilato inter la premisoj kaj la konkludo de argumento dedukte valida.​ La rilato de logika konsekvenco estas ŝlosila koncepto de la logiko.​ Du trajtoj ĝenerale akceptitaj de la rilato kun la logika konsekvenco estas, ke tiu estas «necesa» kaj «formala».[1]

En PIV konsekvenco estas "Tio, kio logike sekvas el starigita principo" kaj "Logika aŭ racia interligiteco inter faktoj aŭ ideoj".[2]

Notoj[redakti | redakti fonton]

  1. Beall, JC; Restall, Greg. «Logical Consequence». En Edward N. Zalta, eld. Stanford Encyclopedia of Philosophy (en angla) (Aŭtuno 2009).
  2. PIV NPIV Alirita la 13an de Majo 2021.