mrieppel.net/prog/truthtable.html adresine girerek Mantık/Önermeler konusunda kullanılabilecek malzemeye erişebiliriz. Herhangi bir bileşik önermenin doğruluk tablosunu oluşturuyor. Metin kutusunun içine ifadeyi yazıp "Make Table" butonuna basmamız yeterli. Seçeneklerden "Main Connective Only" bize en uygun olanı. Yalnız semboller biraz farklı. Aşağıda açıkladım:
1 yerine T,
0 yerine ters T,
' (değil) yerine ~,
^ (ve) yerine &,
v (veya) olarak küçük v harfi,
ise olarak >,
Ancak ve ancak olarak < >
Ayrıca araya virgül koyarak birden fazla bileşik önerme girilebilir böylece doğruluk değerleri karşılaştırılabilir.
Hiç yorum yok:
Yorum Gönder