Reklama

NEGACJA

w logice funktor jednoargumentowy, będący odpowiednikiem przeczenia w języku potocznym ("nie"; "nieprawda, że"); "nie p", jest zdaniem prawdziwym zawsze i tylko wtedy, gdy "p" jest fałszywe, np. "nieprawda, że 2 razy 2 jest pięć"; n. w języku potocznym może oznaczać samą czynność negowania czy zaprzeczania.

Reklama

Powiązane hasła:

LOGIKA FORMALNA, PODWÓJNEGO PRZECZENIA ZASADA, ZDAŃ RACHUNEK

Podobne hasła:

Encyklopedia Internautica
Reklama
Reklama
Reklama