Портал:Логика/Дали сте знаеле

...дека Принципот на непротивречност е ист што и принципот на противречност?
...дека НЕИ и НИЛИ се единствените кои сами по себе сочинуваат функционално потполно множество на логички оператори?
...дека според хипотезата на континуумот, не постојат основни броеви помеѓу алеф-нула и степенот на континуум?
...дека сите 24 валидни силогистички форми имаат називи како 'Каместроп' и 'Фелаптон'?
...дека ако исказот P имплицира друг исказ Q, и трет исказ R исто така имплицира Q,каде или P или R е вистинит; тогаш Q мора да биде вистинит?
...дека збирна именка за група логичари е „секвитур логичари“