sembolik mantik

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

    (bkz: klasik mantık)
    0 ...