sembolik mantik
 

* 19. ve 20. yüzyılda önem kazanan ve Frege, Russell, Whitehead ve Wittgenstein gibi öncüler tarafından geliştirilen, temelinde ideal dil arayışı olan mantık alanı.



* Matematikte önermeler ve bunların aralarındaki ilişkileri inceleyen yöntemlerin bütünü.



* aristoteles tarafından ortaya atılmış klasik mantığın, sembolleştirilmiş halidir.



p =&gt* q



q =&gt* r



.* p=&gt* r