4 kontakty: Prawo podwójnego przeczenia, Rachunek zdań, Tautologia (logika), Zasada językowa.
Prawo podwójnego przeczenia
Prawo podwójnego przeczenia – prawo logiki formalnej.
Nowy!!: Prawo podwójnej negacji i Prawo podwójnego przeczenia · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Prawo podwójnej negacji i Rachunek zdań · Zobacz więcej »
Tautologia (logika)
Tautologia (wywodzi się od greckich słów tautós „ten sam” i lógos „mowa”) – wyrażenie, które jest zawsze prawdziwe.
Nowy!!: Prawo podwójnej negacji i Tautologia (logika) · Zobacz więcej »
Zasada językowa
Zasada językowa, reguła językowa – w językoznawstwie (zwłaszcza w gramatyce generatywnej) formalne sformułowanie zależności między jednostkami lub strukturami językowymi, wyniesione z badań rzeczywistych wzorców języka.
Nowy!!: Prawo podwójnej negacji i Zasada językowa · Zobacz więcej »