Prielaida: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
S LTE parametrų reikšmių užpildymas. |
SNėra keitimo santraukos |
||
Eilutė 1:
'''Prielaida''' – pradinis [[Samprotavimas|samprotavimo]] teiginys, kuriuo remiamasi darant [[Išvada|išvadą]]. Prielaida gali būti bet kuris empirinio patyrimo [[teiginys]] apie [[Faktas|faktą]], [[postulatas]], apibrėžimas, [[dėsnis]] ar principas.
Pavartojus kurią nors išvedimo taisyklę, iš prielaidos išvada gaunama tiesiogiai arba netiesiogiai. Samprotaujant prielaida neįrodinėjama, ji laikoma daugiau ar mažiau pagrįsta. Pradinės aksiominio tipo [[Dedukcija|dedukcinių]] sistemų prielaidos vadinamos [[Aksioma|aksiomomis]]. Jeigu sistemoje išvedimo veiksmas yra [[materialioji implikacija]], teisingą išvadą galima gauti iš teisingų, klaidingų, tikėtinų bei kitokio pobūdžio teiginių.
| |||