Razlika između verzija stranice "Ekvivalencija"
| [pregledana izmjena] | [pregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
Izmijenio sam pogrešku autora, uveo nepoznatu propozicionalnu varijablu g umjesto koje treba ići p. |
U zakonu kotrapozicije desna strana ekvivalencije mora imati znak implikacije, a ne ekvivalencije (iz \neg q slijedi \neg p, umjesto \neg q je ekvivalentno sa \neg p) |
||
Red 54:
Zakon kontrapozicije
<math>(p =>q)<=>(\neg q
De-Morganovi zakoni
| |||