Miten ratkaista seuraava ongelma:
P(x) = "x on alkuluku", Q(x) = "x on pariton"
Miten esitän predikaattilogiikassa lauseen:
Parittomat luvut ovat alkulukuja vain, jos ne ovat pienempiä kuin seitsemän ?
P(x) = "x on alkuluku", Q(x) = "x on pariton"
Miten esitän predikaattilogiikassa lauseen:
Parittomat luvut ovat alkulukuja vain, jos ne ovat pienempiä kuin seitsemän ?
Vastaukset 2
Vanhimmat
kemiaan
Vaikkapa seuraavasti:
Jokaisella x pätee: (P(x)^Q(x)) => (x