program buktidalammatematika;
uses
WinCrt;

begin
writeln(‘Assalamualaikum Wr.Wb’);
readln ;
writeln (‘helllllowWWWW’);
readln;
write(‘apa kabar cemuanya ?? semoga kita cemua di berikan kesehatan amin ya robal alamin’);
readln ;
write (‘alhamdulilah kita dapat berjunpa lagi dalam pembelajaran algoritma dan pmograman ‘);
readln ;
write(‘ini saya asnakhudin Cy KM Thea : ‘);
readln ;
writeln (‘baiklah kali ini saya akan membahas tentang bukti dalam matematika ‘);
write(‘secara definisi yaitu ‘);
write(‘argumentasi yang menunjukan suatu pernyataan p => q selalu bernilai benar ‘);
readln ;
writeln (‘ada beberapa macam bukti dalam matematika’);
writeln (‘1. bukti tak langsung’);
readln ;
write (‘bukti tak langsung dibagi 2 macam ‘);
readln ;
write (‘a. bukti tak langsung dengan koontradiksi ‘);
writeln (‘yaitu membuktikan p => q dengan mengandaikan ~ q benar kemudian dilanjutkan p benar atau q haruslah benar ‘);
readln ;
write (‘B. bukti tak langsung dengan kontraposisi ‘);
writeln (‘yaitu membuktikan p ==> q benar dengan mengandaikan ~ q benar kemudian ~p benar sehingga ~p => ~p. ‘);
writeln (‘karena p => q = ~q => ~p benar , p => q juga benar, sehingga p => q benar di buktikan dengan kontraposisi’);
readln ;
write (‘2. bukti langsung ‘);
writeln (‘yaitu p => q benar, di mulai dari pernyataan p agar di dapat pernyataan q.  ‘);
writeln (‘yang termasuk bukti langsung adalah modus ponen, modus tollens, dan silogisme’);
readln ;
write (‘DEMIKIANLAH MATERI SAYA APABILA ADA KESALAHAN MOHON KRITIKANNYA ‘);
writeln (‘TERIMA KASIH ‘);
readln ;

write (‘ S A M P A I   J U M P A L A G I   D I L A I N  K E S E M P A T A N’);
readln ;
write (‘WASALAMUALAIKUM WAROHMATULAHI WABAROKATUH’);
end.