Қазақстан республикасының білім және ғылым министірлігі

жүктеу 21,8 Mb. бет 23/214 Дата 09.01.2018 өлшемі 21,8 Mb. #7265 түрі Мазмұндама

Навигация по данной странице:

• Анықтама.
• Шеффер штрихы және Пирс стрелкасы 7.Анықтама

5. Анықтама. Эквиваленция А мен В тұжырымының ақиқаттық мәндері бірдей болғанда, мәндері ақиқат, әр түрлі болғанда (А,В) жалған болатын тұжырым эквивалентті тұжырым деп аталады. Белгілеулері: АВ; АВ; АВ; А эквивалентті В-ға ; Егер тек В болғанда А ; А мен В бір мәнді, А мен В сонда ғана ақиқат, егер А,В түжырымдары ның екеуі де не ақиқат, не жалған болса. болып оқылады. 6. Анықтама. 2-нің модулі бойынша қосу. Бір мәнді емес тұжырым. («немесе»-ні терістеу,антиэквиваленция, 2–ң модулі бойынша қосу). А-мен В- ң ақиқаттық мәндері бірдей болмаса мәні ақиқат, керісінше бірдей болса жалған болатын тұжырым бір мәнді емес тұжырым деп аталады. А В, АВ,АВ болып белгіленеді ( не А, не В болып оқылады). Шеффер штрихы және Пирс стрелкасы 7.Анықтама Шеффер штрихы деп аталады (антиконъюнкция). 8. Анықтама. АВ–Пирс стрелкасы (антидизъюнкция) жүктеу 21,8 Mb. Достарыңызбен бөлісу:

©g.engime.org 2024
әкімшілігінің қараңыз