Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Stiahnuť ▼
Rýchlejšie ako prehliadači!
 

Nepriamy dôkaz

Index Nepriamy dôkaz

Nepriamy dôkaz môže byť.

1 vzťah: Nepriamy dôkaz (logika).

Nepriamy dôkaz (logika)

Nepriamy dôkaz je v logike dôkaz pomocou schémy usudzovania modus tollens, teda dôkaz podľa vzorca: ak platí "z A vyplýva B" a súčasne vieme, že platí opak B, tak platí opak A. Príklad: Ak platí "ak mám peniaze, tak si kúpim auto" a auto si nekúpim, tak nemám peniaze.

Nový!!: Nepriamy dôkaz a Nepriamy dôkaz (logika) · Pozrieť viac »

Presmerovanie tu:

Dôkaz opaku.

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »