Matemātiskā loģika

Loģika ir zinātne, kas pēta domāšanas formas un likumus. Tās mērķis ir aprakstīt pareizai domāšanai raksturīgās formālās kārtulas.
Formālās loģikas likumi attiecas uz jebkuru apgalvojumu formu un saskaņotību neatkarīgi no to satura un patiesuma noteikšanas metodēm (kritērijiem).
Matemātiska loģika - tas ir zinātne, kas studē matemātisku pierādījumu būves likumus. Viena no matemātiskas loģikas nodaļas ir loģikas algebra, kura strādā ar izteikumiem.
Izteikums tas ir jebkurš teikums, kurš var būt īsts vai meli. Loģikas algebra pa noteiktiem likumiem ieraksta izteikumus formulu veidā, kuras ir analoģiskas parastas aritmētikas formulām. Tādēļ ar šiem apgalvojumiem var rīkoties simboliskā veidā, apzīmējot tos ar burtiem un izpildot ar tiem matemātiskas operācijas.…