sembolik mantik

aristoteles tarafından ortaya atılmış klasik mantığın, sembolleştirilmiş halidir.
p =>* q
q =>* r
;.* p=>* r

(bkz: klasik mantık)
© copyright 2005 - 2026