podmínka

Logika, typy souvislosti mezi podmínkou a podmíněným. V logice se rozlišují a) nutné podmínky, které znamenají, že z výroku B může být usuzováno na výrok A (B implikuje A). Z nepravdivosri A, což odpovídá tomu, že se neuskutečnila nutná podmínka, plyne nepravdivost B, což odpovídá tomu, že k události B nedošlo. Z pravdivosti A naopak nevyplývá pravdivost B; b) postačující podmínky, které znamenají, že z výroku A může být usuzováno na výrok B (A implikuje B). Z pravdivosti výroku A vyplývá pravdivost B, z nepravdivost A však ještě nevyplývá nepravdivost B; c) nutné a postačující podmínky, jež znamenají, že z výroku A může být usuzováno na výrok B a z výroku B lze usuzovat na výrok A. (A implikuje B a B implikuje A).

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 20. 7. 2006
Autor: -red-

Reklama: