Hypotetický úsudek

V klasické logice , je hypotetická úsudek je platný závěr pravidlo , které má formu úsudku , který má důsledky pro jednu nebo dvě ze svých prostor .

Pokud se neprobudím, nemohu jít do práce. Pokud nemohu jít do práce, nedostanu výplatu. Pokud se tedy neprobudím, nedostanu zaplaceno.

Ve výrokové logice je hypotetický úsudek platným názvem odvozovacího pravidla (často zkráceně HS a někdy se také nazývá argument řetězu , pravidlo řetězu nebo zásada tranzitivity implikace ). Hypotetický úsudek je jedním z pravidel klasické logiky, která není v některých systémech neklasické logiky vždy přijímána . Pravidlo lze deklarovat takto:

kde platí pravidlo, že kdykoli se objeví instance „ “ a „ “, lze na závěrečný řádek umístit „ “.

Hypotetický sylogismus úzce souvisí a je podobný disjunktnímu sylogismu , protože je také typem sylogismu a také názvem pravidla odvození.

Formální notace

Pravidlo hypotetického úsudku lze napsat v následující notaci:

kde  je metalogical symbol , který znamená, že   je důsledkem z  , a 

vyjádřený v tautologii nebo výrokové logické větě :

kde  ,, a   jsou tvrzení vyjádřená ve formálním systému.

Podívejte se také

Reference

  1. Hurley
  2. Copi a Cohen

externí odkazy

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">