Girişim ve Maddi çıkarım arasındaki fark
Olarak kullanıldığında isimler , entrika zorunlu kılma eylemi, zorunlu olma durumu veya zorunlu olan bir şey anlamına gelir, oysa maddi ima klasik önermesel mantıkta tanımlandığı gibi bir ima anlamına gelir ve q vdash p ila q gibi gerçeğin 'herhangi bir önerme gerçek bir önerme için yeterli bir koşuldur' olarak okunmasına yol açar.
diğer tanımları için aşağıya bakın Girişim ve Maddi ima
-
Girişim var isim :
Zorunlu kılma eylemi, zorunlu olma durumu veya gerekli olan bir şey.
Örnekler:
'Coşku nedensellik anlamına gelmez: eğer bir dizi öncül bir sonuca yol açıyorsa, bu (zorunlu olarak) bu sonucun doğru olmasına neden oldukları anlamına gelmez.'
'Bir argüman [[suçlama]] 'ya dayanır, oysa eğer-o zaman cümlesi imaya bağlıdır.
-
Maddi ima var isim (mantık):
Klasik önerme mantığında tanımlandığı şekliyle, Q vdash P ila Q gibi bir gerçeğin, 'herhangi bir önerme, gerçek bir önerme için yeterli bir koşuldur' olarak okunmasına yol açan bir ima.
Örnekler:
Şekil 1'deki doğruluk tablosunda, ilk satır modus ponens'e karşılık gelir, son satır modus tollens'e karşılık gelir, ikinci satır geçersiz bir argümanı temsil etmek için alınabilir (burada P → Q argümandır ve P bir öncüldür veya öncüllerin birleşimi) ve üçüncü satır, P rightarrow Q, neg P vdash neg Q biçimindeki bir argümanın geçersiz olmasını sağlamaya yardımcı olur. '
'' 'Maddi çıkarımın aşağıdaki paradoksu (ve aynı zamanda aksiyomu): P rightarrow (Q rightarrow P), entacmentin tekdüzeliğini ifade etmek için alınabilir, yani,' P 'doğruysa, başka veya yeni bir gerçek yoktur' Q ', P'nin gerçeğinin geçersiz kılınması anlamına gelecek şekilde ortaya çıkabilmelidir, yani herhangi bir' Q 'için Q → & değil; P olamaz.
Kelimeleri karşılaştırın:
Farkı BulEşanlamlılar ve ilgili kelimelerle karşılaştırın:
- girişim - maddi çıkarım
- maddi koşullu vs maddi çıkarım
- maddi çıkarım ve katı çıkarım
- mantıksal bağlayıcı vs maddi çıkarım
- girişim - maddi çıkarım