Test z okruhu 01.02.2.3 Logika-Výrokový počet

Formule výrokového počtu je: `(notp^^(notpvvq))rArrp`. Uveďte všechny pravdivé možnosti:
není tautologie.
je tautologie.
je splnitelná formule.
není kontradikce.
je kontradikce.
Formule výrokového počtu je: `((prArrq)rArrnotr)hArr(prArr(qrArrnotr))`. Uveďte všechny pravdivé možnosti:
je tautologie.
není tautologie.
není splnitelná formule.
je kontradikce.
je splnitelná formule.
Formule výrokového počtu je: `(qvvnotq)hArrnot(q^^notq)`. Uveďte všechny pravdivé možnosti:
je kontradikce.
není tautologie.
je splnitelná formule.
je tautologie.
není splnitelná formule.
Formule výrokového počtu `(not(pvvq)vv(p^^q)) iff(p iff q) ` (uveďte všechny pravdivé možnosti)
není tautologie.
je kontradikce.
není kontradikce.
je splnitelná formule.
je tautologie.
není splnitelná formule.
Formule výrokového počtu je: `not(notpvvq)hArrnot(p^^notq)`. Uveďte všechny pravdivé možnosti:
je tautologie.
je splnitelná formule.
není tautologie.
není kontradikce.
je kontradikce.

Evropský sociální fond

Praha a EU – Investujeme do vaší budoucnosti