|
vyplývání, logika analytický vztah mezi množinou propozic M a propozicí p, který je definován takto: p vyplývá z M, jestliže propozice p je pravdivá za všech takových okolností, za nichž jsou pravdivé všechny prvky M.
Zpřesnění termínu "okolnosti" podává logika intenzionální, která vyplývání definuje takto: p vyplývá z M, jestliže propozice p je pravdivá ve všech světech možných, v nichž jsou pravdivé všechny prvky M.
Úsudek, v němž závěr vyplývá z premis, se nazývá správný (korektní). Vyplývání je pojem sémantický (na rozdíl např. od pojmu dokazatelnosti). |