| 2.5 тақырып Пікір ұғымы. Пікірлер формасы. Кванторлар
Пікір анықтамасы. Жай және құрама пікір. Құрама пікірлердің логикалық құрылысын анықтау. Ақиқат кестесі. Пікірлік форма (предикат) ұғымы және оларға қолданылатын амалдар. Кванторлар. Кванторы бар пікірді теріске шығару. Пікірлер логикасының заңдары.
2.6 тақырып Математикалық тіл.
«+», «-», «=», «≠», «>», «<» таңбаларын/цифрларды, () белгісіз сан символын қолдану. Жай бөлшектердің құрылуын, салыстыру, қосу және азайтуды бейнелеу үшін жазық фигуралардың бөлігін және сан сәулесін қолдану.
2.7 тақырып Сөйлемдер арасындағы «келіп шығу» және «мәндес болу» қатынастары Қажетті және жеткілікті шарттар.
Сөйлемдер арасындағы «келіп шығу» және «мәндес болу» қатынастарының белгіленуі мен оқылуы.Теореманы дәлелдеу тәсілдері, құрылымы мен түрлері. Мәндес болу. Қажетті және жеткілікті шарт ұғымы.
Практикалық жұмыс:
1) Пікірдің анықтамасы және құрылымы.
2) Пікірлік форманың анықтамасы. Предикаттар.
3) Предикаттардың ақиқаттық кестесі.
4) Кванторы бар пікірді теріске шығару.
5) Сөйлемдер арасындағы келіп шығу және мәндес болу қатынастары.
6) Қажетті және жеткілікті шарттар.
7) Теореманың құрылымы және түрлері
Достарыңызбен бөлісу: | 
