Ойлау заңдары

Уикипедия — ашық энциклопедиясынан алынған мәлімет
Jump to navigation Jump to search

Ойлау заңдары (thought, laws of) — логиканың дәстүрлі, іргелі үш заңы: (1) қайшылық (емес) заңы, (2) тысқары қалған үшіншінің (немесе ортаңғының) заңы және (3) теңдестік принципі. [1].

Яғни, р және р емес шынайы болуы үшін (символмен: ¬(р ^ ¬р)) кез келген пікір үшін р мүмкін емес; (2) не р, не р емес шынайы болуы тиіс, олардың арасында үшінші немесе орташа шынайы (символмен: р v ¬р) пікір болмайды; және (3) егер пропозиционалды қызмет F жеке ауыспалы х үшін шынайы болса, онда F х үшін шынайы (символмен: (Vx) [F(x) => Ғ(х)]). Теңдестік принципін басқаша формулалауға сәйкес пән өзіне-өзі тең немесе (Vx) (х = х).

Дереккөздер[өңдеу]

  1. Britanica настольная энциоклопедия.Том І «АСТ-Астрель» Москва, 2006. ISBN 978-5-17-08532-4 (T.1) (ACT), ISBN 978-5-271-1512-0 (T.1) (Aстрель)