Matematička logika
Kaˇzemo da je formula B potformula formule A ako je rijeˇc B podrijeˇc od A. Promotrimo nekoliko primjera formula i potformula. Najjednostavniji primjer formule je P k , tj. po...
Kaˇzemo da je formula B potformula formule A ako je rijeˇc B podrijeˇc od A. Promotrimo nekoliko primjera formula i potformula. Najjednostavniji primjer formule je P k , tj. po...
Napišimo formulu u slede ć em obliku = + ∆ − ∆ 2 y 0 + ∆ 3 y 0 − ∆ 4 [] ∆ y 0 −...
( 5 ) 2 Napomena 1. Formula (5) m o ˇ ze se d o k a z a t i na sl e d e ´ ci nacin. Kako...
(a) Formula A nije kontradikcija, pa postoji valuacija v 1 takva da je I v 1 ( A ) = 1. Formula B nije tautologija, pa postoji valuacija v 2...
a ̸ = 0 Vi` e teove formule glase x 1 + x 2 = − [b] [,] [ x] [1] [ ·][ x] [2] [ =] [ c] [.]...
( ¬A ) ⊤ ( A ∧ B ) ⊤A ⊤A ( ¬A ) ⊥ ( ¬A ) ⊥A ⊤A ⊤A ⊤B ⊥ ( A ∨ B ) ⊥A ⊥B...
a < 0 ∧ b < 0 ⇒ ab > 0 a < 0 ∧ b > 0 ⇒ ab < 0 a < b ∧ c > 0 ⇒...
· · · ∧ F n ⇒ F a da nije F 1 , . . ., F n | = F . Formula F nije semantiˇcka posledica skupa formula...
Napomena 2. Ako je formula A sagrad¯ena od slova p 1, p 2, ...p n (ˇsto ´cemo nadalje oznaˇcavati sa A(p 1, p 2, ...p n ) ), tada ona...
Prikazani su svi rezultati za ovaj upit.