logika w węższym znaczeniu; nauka obejmująca klasyczny rachunek zdań i nadbudowany nad nim klasyczny rachunek kwantyfikatorów; zdania pozostają między sobą w związkach: negacji, koniunkcji, alternatywy, implikacji lub równoważności; klasyczny rachunek zdań jest zawsze rachunkiem dwuwartościowym (albo prawda, albo fałsz); l.f. jest najstarszą teorią logiczną, wywodzi się od dialektyki Filona i Chryzypa z Soloj oraz sylogistyki Arystotelesa; l.f. bada też cechy stałych układów zdań (systemów nauk.), takich jak: metalogika, metamatematyka, metateoria.
RELACJA, LOGIKA, DWUWARTOŚCIOWOŚCI ZASADA, DEDUKCYJNE NAUKI, STANOSZ, LOGIKA MATEMATYCZNA, NAZW RACHUNEK, NOTACJA LOGICZNA, DE MORGAN August
- LOGIKA, zaliczana do nauk filozoficznych...
- ALGEBRA LOGIKI, .
- logika uwierzytelniania, ( logic of authentication...