Prielaida: Skirtumas tarp puslapio versijų
Ištrintas turinys Pridėtas turinys
Nėra keitimo santraukos Žymos: Keitimas mob. telefonu Keitimas įskiepiu mobiliesiems |
S Atmestas 188.69.212.252 pakeitimas, grąžinta ankstesnė versija (Lot-bot-as keitimas) Žyma: Atmesti |
||
Eilutė 3:
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ų.
[[Argumentas|Argumentu]] vadinama įrodymų
== Šaltiniai ==
| |||