┐ (AVB) ┐AV┐B
┐A┐B ┐(AB)

Қоидаи инкори конъюнксия-

┐(AB) ва ┐A┐B
┐AV┐B ┐(AVB)

Қоидаи modus tollens-

A→B: ┐B
┐A

Қоидаи зидди вазъ (контропозитсия)-

A→B
┐B→┐A

Қоидаи алоқамандии дизъюнксия ва импликатсия-

A→B ┐AVB
┐AVB A→B
Қоидаи инкори импликатсия-

┐ (A→B) A┐B
A┐B ┐(A→B)

Қоидаи зидди вазъи (контрапозитсия)-и мураккаб-

(AB) →C
(A┐C) →┐B

Қоидаи импортатсия-

A→ (B→C)
(AB) →C

Қоидаи экспортатсия-
(AB)→C
A→(B→C)

Қоидаи “муҳокимаронӣ нисбати ҳолатҳо”-

AVB, A→C, B→C
C

Қоидаи дилеммаи конструктивӣ-

A→B, C→Д, А V С
В V Д

Қоидаи дилеммаи деструктивӣ-

А→В, С→Д, ┐В V ┐Д
┐А V ┐С

4. Дар асоси қоидаҳои натиҷагирии мантиқи гуфтор масъалаҳои зеринро ҳал кунед:

1. Аз донишҷўёни А., Б., В. ва Г. кадомҳояшон дар мусобиқаи шоҳмотбозон иштирок менамоянд, агар маълум бошад, ки: а) агар А. ё Б. дар мусобиқа иштирок намоянд, пас В. иштирок намекунад; б) агар Б. дар мусобиқа иштирок накунад, пас В. ва Г. иштирок менамоянд; в) В. иштирок менамояд?
2. Барои он, ки шартҳои зерин иҷро шаванд, кадоме аз фанҳои таълимӣ- таърих, ботаника, риёзиёт ва расмкашӣ бояд ба ҷадвали дарс дохил шавад ва кадомҳояш не:
   а) агар таърих дохил шавад, пас ботаника низ дохил мешавад?
   б) агар расмкашӣ дохил нашавад, пас ботаника низ дохил намешавад?
   в) нодуруст аст, ки агар риёзиёт дохил шавад, пас расмкашӣ низ дохил мешавад?
3. Аз чунин хабари командири гарнизони қалъа кадом натиҷа бармеояд. «Агар ба мо муяссар шавад, ки гарнизонро бо хурокворӣ таъмин намоем, пас ба мо хавфи аз гуруснагӣ ҳалок шудан аз байн меравад.
   Агар гарнизон бо хурокворӣ таъмин карда нашавад, пас хавфи аз гуруснагӣ ҳалок шудан ба миён меояд ва мо кўшиш намоем, ки ҳалқаи муҳосираро рахна намоем.