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

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 .

Ö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

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 »

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 ise, Q

p , bu nedenle , S.