Tablolar mantığı geçerli sonuçlara çizim içintemel sağlamak , ancak matematik ve felsefe de geçerlidir argümanlar inşa ve sonuçlara varmak için mantık ifadeleri kullanın . Eğer bir sınıf dışında olduğunuzda o gibi görünmüyor olsa bile , diğer insanlara bilgi röle ve < p> deyimi kendi conclusions.Logic Tablolar
çizmek için günlük dilde mantık ifadeleri kullanmak bir şey beyan ve doğru ya da yanlış olarak doğrulanabilir bir cümledir . Onlar , tam cümleler bildirime değildir, çünkü cümle parçaları , sorular ve komutları mantık ifadeleri değildir .
< P> Örneğin , “araba anahtarlarıçekmecede ” bir mantık ifadesi tam bir cümle var ve beyan çünkü doğru veya yanlış olarak kontrol edilebilir bir şey . Sen bir şey ekleyerek bir mantık ifadesi olup olmadığını görmek için kontrol edebilirsiniz “Bu doğrudur … “cümlesininbaşına . Hala ile mantıklı eğer önünde , bir mantık ifadesi var ” O doğrudur … ”
Şartlı Bildirimi
< p> koşullu mantık ifadesi olan bir koşul, diğer bağlıdır iki koşullar , kadar yapılmış bildirimi. Bütün koşullu önermenin doğru olması içindiğer Örneğin true olduğunda ,bağımlı koşul doğru olması gerekir ,aşağıdaki koşullu ifadeyi düşünün : ” Ben çalışırsanız, o zaman iyi bir not alacak . ” Okumak ve iyi bir not almak , sonrakoşullu ifade doğrudur ; sizin çalışma ve iyi bir not almak istemiyorsanız Ancak , daha sonrakoşullu deyimi yanlıştır . mantık
Mantık Tabloların kullanımı

Tablolar geçerli sonuçlar çıkarmak için kullanılır . Bu sonuca yol açanbinaların tümü doğru ise bir sonuç geçerlidir . Örneğin ,aşağıdaki ifadeleri dikkate :

” . Ben çalışırsanız, ben iyi bir not alacaksınız ”

” . Okudum ”
< p> garantileri eğitim olduğunu varsayarsak iyi bir notu , o zaman iyi bir not aldığını sonucuna varabiliriz ,ikinci öncül doğrudur yapım ,ilk öncül doğrudur yapma ve çalışma yaptığını .
Diğer Hususlar

Değişkenler genellikle kolaycatüm deyimini Eğerikisi arasındakiilişki hakkında konuşmak istediğiniz her zaman yeniden yazmak zorunda kalmadan iki mantık tabloları arasındakiilişkiyi görmek için kullanılır . Bunu yapmak için,tabloların her değişkenleri atamak zorunda . Bölüm 3örnekten , yapılaniki ifadeler şunlardır : “Ben çalışma ” ve “Ben iyi bir not alırsınız . ”
< P > P ise, Q

p , bu nedenle , S.
< br : P eşit " Eğitim " ve Q eşit "Ben iyi bir not alacaksınız " Let >