Анықтама. Бір жиында берілген Р(х) пен Q(x) предикаттарының шындық облыстары тең болса, онда олар логикалық эквивалентті деп аталады. Белгілеуі Р(х) Q(x).
Теорема2. Р(х)Q(x) болуы үшін  пікірінің шын болуы қажет және жеткілікті.
Математикада теоремалар «егер..., онда...» жалғауы арқылы тұжырымдалады. Бұл жағдайда теорема үш құрамнан тұрады:
Достарыңызбен бөлісу: |
