wyłączonego środka prawo
 
Encyklopedia PWN
wyłączonego środka prawo, łac. tertium non datur,
log. jedno z podstawowych praw klasycznego rachunku zdań: dla dowolnego zdania p albo ono samo jest prawdziwe, albo prawdziwe jest jego zaprzeczenie, czyli p ∨ ¬p
.
zgłoś uwagę
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia