Tavtologija

Iz MaFiRaWiki

(Razlika med različicami)
Različica od 16:47, 12 oktober 2009
TomazPisanski (Pogovor | prispevki)

← Prejšnja različica
Različica od 16:48, 12 oktober 2009
TomazPisanski (Pogovor | prispevki)

Naslednja različica →
Vrstica 1: Vrstica 1:
V logiki je '''tavtologija''' izjavni izraz, ki je resničen za vse nabore vrednosti izjavnih spremenljivk, oz. za vse valuacije. Izajvni izraz je tavtologija, če in samo če ima v njegov stoplec V logiki je '''tavtologija''' izjavni izraz, ki je resničen za vse nabore vrednosti izjavnih spremenljivk, oz. za vse valuacije. Izajvni izraz je tavtologija, če in samo če ima v njegov stoplec
v resničnosti tabeli same enice. v resničnosti tabeli same enice.
 +
 +== Glej tudi ==
 +[[protislovje]]
[[Kategorija: Logika]] [[Kategorija: Logika]]

Različica od 16:48, 12 oktober 2009

V logiki je tavtologija izjavni izraz, ki je resničen za vse nabore vrednosti izjavnih spremenljivk, oz. za vse valuacije. Izajvni izraz je tavtologija, če in samo če ima v njegov stoplec v resničnosti tabeli same enice.

Glej tudi

protislovje

Osebna orodja