<hranata>lat. <i>regula</i> û vodφtko, <i>modus </i>û zp∙sob</hranata>
<kulata></kulata>
<telo><p>logika rozliÜuje p. formace<i>,</i> pomocφ nich₧ se vytvß°ejφ äslovaô a äv∞tyô (formule) formalizovanΘho jazyka, a transformaΦnφ p., umo₧≥ujφcφ p°echod od formulφ k formulφm, zvl. r∙znΘ odvozovacφ p., nap°.<i> modus ponens,</i> kde se z kladenφ podmφnky usuzuje na kladenφ podmφn∞nΘho, nebo<i> modus tollens, </i>kde se z pop°enφ podmφn∞nΘho usuzuje na pop°enφ podmφnky (<a href="javascript:top.GetURL('043024');" target="_self">implikace</a>). Na rozdφl od zßkon∙, obecn∞ splniteln²ch formulφ, jsou p. vyjßd°enß v metajazyku.</p></telo>
<dil>7</dil>
<o>
<o1>spoleΦenskΘ v∞dy</o1>
<o2>filosofie</o2>
<o3>logika</o3>
</o>
<odkazz>
<idz>043024</idz>
<nazevz><b>implikace</b></nazevz>
</odkazz>
<predchozi>
<idpredchozi>085281</idpredchozi>
<nazevpredchozi><b>pravidla pro p°iΦφtßnφ nßklad∙</b></nazevpredchozi>
