v ob?,[ + g;v 'gl ='r+
v o6)'/ =
Toiming ei saa olla kohustuslik ja keelatud üheaegselt: ¬ (O(p) & F(p)). Kui toiming p on keelatud, siis ei ole see lubatud: F(p) ¬ D(p). Kui toiming p on keelatud, siis on see mittekohustuslik: F(p) ¬ O(p). Kui toiming p on lubatud, siis ei ole see keelatud: D(p) ¬ F(p). Lubatud toiming p saab olla mittekohustuslik. 38_fl_vi-x L9a TÕESTAMISEST (ik argumentation) Mitteformaalselt: tõestus on protseduur, mis toob kaasa veendumuse. Formaalselt: (Tõestuse loogiline struktuur:) · Tees ehk väide, mille tõesust demonstreeritakse. · Põhjendid ehk argumendid on väited, mille abil teesi tõesust demonstreeritakse; · Demonstratsioon on mõttekäik, mille käigus selgub, et teesi tõesus on põhjenditest tuletatav.
' ' ' 5-*/('6*7!*+!4$4$8!*7!'#$!7$'9*):;!
P
! ! ! <)*4!=#&67>/$''$)8!'*!'#$!0/*?&/!?)&67
' ' ' CD'VD7)C,'-C9HB8)0'>,CA*)'
' ' ' "%+!E/$'1%.)&'(!;(1(/.07$!' ' '
' ' ' XC8DD(YE8/'=*)PI'?Z)CD78)0'122:
!%G@>[[! ! GB()+89'-.'!*HP8AA'
! ! ! @764&/!A/&70(&0$8B!&73!#(4&7!/&70(&0$!
! ! ! 27#()!5&./.0,0'12320'510'6(789'5U<52
!%-?["N[>#' N*7+(9'#.'!*L9A(,A8)
' ' ' C7!D6)&/!E$7'$7=$8!&73!E$/+>F$G/6=&'670!!
! ! ! E')(='()$8
' ' ' D'&$)1&@&'!"#$%&'()0'X*+]8'UR40'Q(D()F''
' ' ' 1245
!%^>#
annaabi.ee 
