Podmienka (logika): Rozdiel medzi revíziami

'''Podmienka (logika)''' je [[výpoveď]], od ktorej závisí iná výpoveď takým spôsobom, že ak A je pravdivé (alebo nepravdivé), tak aj B je také isté. Najmä v tomto zmysle sa používajú výrazy 'podmienka nevyhnutna' (ak má platiť B, musí platiť A) a 'podmienka dostatočná' (pre platnosť B stačí, aby platilo A).