1) Jaké jsou vlastnosti pro následující logické formulace? 2) Jak lze ověřit platnost Aristotelových sylogismů? 3) Jaká je podstata sémantické metody ve VL? 4) Jaké jsou platné tvr... 1) Jaké jsou vlastnosti pro následující logické formulace? 2) Jak lze ověřit platnost Aristotelových sylogismů? 3) Jaká je podstata sémantické metody ve VL? 4) Jaké jsou platné tvrzení o relacích mezi množinami? 5) Jaké vlastnosti má uvedená formule v logice? 6) Jak fungují Vennovy diagramy v logických úsudcích? 7) Co platí pro podmnožiny v množinách? 8) Je následující úsudek logický nebo neplatný? 9) Jaké jsou vztahy mezi uvedenými větami ve formulaci logiky? 10) Jak lze ověřit tautologičnost pomocí rezoluční metody? 11) Jaká tvrzení jsou pravdivá pro relace? 12) Jaké systémy spojek jsou úplné? 13) Které formule jsou logicky pravdivé? 14) Určete logickou platnost uvedených úsudků. 15) Jaké jsou vlastnosti složených výroků? 16) Jak platí formule o oborech pravdivosti? 17) Které tvrzení o dedukci a logice jsou pravdivé? 18) Jaké jsou vlastnosti formule s literály? 19) Jak lze ověřit platnost úsudků pomocí Vennových diagramů? 20) Co platí v souvislosti vzorců a formulí? 21) Jaký je vztah mezi tvrzeními o množinách? 22) Jaké tvrzení platí pro konkrétní logické formule? 23) Jaká je definice klausule? 24) Která tvrzení platí pro vztahy mezi množinami? 25) Jaká tvrzení platí pro rezoluční metodu ve VL? 26) Jaká jsou pravidla pravdivosti a rezoluce pro formulace? 27) Jaké jsou vlastnosti související s množinami? 28) Co platí pro modely logických formulí? 29) Které kvantifikátory jsou komutativní? 30) Jakým způsobem je formule splnitelná? 31) Jaké vlastnosti má algebraická struktura nad reálnými čísly? 32) Jak platí axiomy o formální teorii? 33) Jaké syntaktické metody existují? 34) Jaké syntaktické metody jsou omezené na VL? 35) Které formule patří mezi logické zákony? 36) Jaké zákony distribuce kvantifikátorů existují? 37) Jaké jsou zákony prenexních operací? 38) Jaké zákony týkající se komutace kvantifikátorů existují? 39) Jaké vlastnosti má binární relace? 40) Jaké jsou vlastnosti binární relace? Read more