Test z okruhu 01.02.2 Logika – predikátový počet

Formuli predikátového počtu `phi=(AA x in X) (EE y in Y) (2x>=3xy-2)` negujte, potom maximální zjednodušení negace formule `phi` je
`not phi hArr (EE x in X) (AA y in Y)( 2x<3xy-2)`
`not phi hArr (AA y in Y)(EE x in X)( 2x<=3xy-2)`
`not phi hArr (AA y in Y)(EE x in X)( 2x<3xy-2)`
`not phi hArr (EE y in X)(AA x in Y)( 2x<3xy-2)`
`not phi hArr (EE x in X) (AA y in Y)( 2x<=3xy-2)`
Formuli predikátového počtu `phi=(AA x in X) (EE y in Y) (2x>3xy-2)` negujte, potom maximální zjednodušení negace formule `phi` je
`not phi hArr (EE x in X) (AA y in Y)( 2x<3xy-2)`
`not phi hArr (AA y in Y)(EE x in X) ( 2x<3xy-2)`
`not phi hArr (AA x in Y)(EE y in X) ( 2x<=3xy-2)`
`not phi hArr (AA y in Y)(EE x in X) ( 2x<=3xy-2)`
`not phi hArr (EE x in X) (AA y in Y)( 2x<=3xy-2)`
Formuli predikátového počtu `phi=(AA m in M)(EE n in N) (AA p in P) (12m^2*p-13n^3<7p^2)` negujte, potom maximální zjednodušení negace formule `phi` je
`not phi hArr (EE m in M)(AA n in N)(EE p in P) (12m^2*p-13n^3>7p^2)`
`not phi hArr (EE m in M)(AA n in N)(EE p in P) (12m^2*p-13n^3<7p^2)`
`not phi hArr (EE p in P)(AA n in N)(EE m in M) (12m^2*p-13n^3<7p^2)`
`not phi hArr (EE p in P)(AA n in N) (EE m in M) (12m^2*p-13n^3<=7p^2)`
`not phi hArr (EE m in M)(AA n in N)(EE p in P) (12m^2*p-13n^3<=7p^2)`
Formuli predikátového počtu `phi=(EE p in P) (AA q in Q)(EE r in R) (p^3-2q^2+3r>r^2+2)` negujte, potom maximální zjednodušení negace formule `phi` je
`not phi hArr (AA p in P)(EE q in Q) (AA r in R) (p^3-2q^2+3r <= r^2+2)`
`not phi hArr (AA p in P)(EE q in Q)(AA r in R) (p^3-2q^2+3r
`not phi hArr (AA r in R) (EE q in Q)(AA p in P) (p^3-2q^2+3r >=r^2+2)`
`not phi hArr (AA r in R) (EE q in Q)(AA p in P) (p^3-2q^2+3r < r^2+2)`
`not phi hArr (AA r in R) (EE q in Q)(AA p in P) (p^3-2q^2+3r <=r^2+2)`
Formuli predikátového počtu `phi=(EE y in Y)(AA x in X) (2x>3xy-2)` negujte, potom maximální zjednodušení negace formule `phi` je
`not phi hArr (AA y in Y)(EE x in X) ( 2x<=3xy-2)`
`not phi hArr (AA y in Y)(EE x in X) ( 2x<3xy-2)`
`not phi hArr (EE x in X) (AA y in Y)( 2x<3xy-2)`
`not phi hArr (EE x in X) (AA y in Y)( 2x<=3xy-2)`
`not phi hArr (EE y in X)(AA x in Y) ( 2x<=3xy-2)`

Evropský sociální fond

Praha a EU – Investujeme do vaší budoucnosti