program casepilih;

uses wincrt;

var pilih : char;

var kata : string;

procedure pembahasan ;

begin

clrscr;

writeln (‘PENARIKAN KESIMPULAN’);

writeln (‘ ada 3 penarikan kesimpulan ,yaitu modus ponens modus tolen dan silogisme.’);

writeln (‘1.modus ponens’) ;

writeln (‘jika p => q benar,dapat di simpulkan q juga benar ‘);

writeln ( ‘prinsip modus ponens: ‘);

writeln (‘premis 1  : p => q (B),’);

writeln (‘premis 2  :p (B)’);

writeln (‘konklusi  : q (B)’);

writeln (‘2 modus tollens’) ;

writeln (‘jika p => q benar dan ~q benar maka disimpulakan ~p juga benar’);

writeln (‘prinsip modus tollens:’);

writeln (‘premis 1 : p=>q (B)’);

writeln (‘premis 2 : ~q (B)’);

writeln (‘konklusi :~p (B)’);

writeln (‘3.silogisme’) ;

writeln (‘jika p =>q benar dan q=>r benar,maka dapat disimpulkan p=>r juga benar’);

writeln (‘premis 1 :p=>q (B)’);

writeln (‘premis 2 :q=>r (B)’);

writeln (‘konklusi :p=>r (B)’);

writeln (‘contoh soal’);

writeln (‘a.premis 1 :jika badu rajin belajar, maka ia akan naik kelas’);

writeln (‘  premis 2 :badu rajin balajar’);

writeln (‘  konklusi :……..’);

readln ;

begin

end;

end.