Ej bo kolega @kidi1 mi trochę nie wierzy, wypisując przy tym dosyć śmiałe tezy.
Więc, niech mnie ktoś wyprowadzi z błędu i pokaże mi, że
- notepad++ jest jakkolwiek popularny na linuksie,
- zwłaszcza by jakkolwiek ten pierwszy komentarz miał sens o linuksiarzach używających notepada++,
- oraz że notepad++ nie jest natywny nigdzie bo trzeba pobrać instalator (?).
Kolega niestety chyba jest dużo bardziej zaawanwosany ode mnie w komputery i może nie
Więc, niech mnie ktoś wyprowadzi z błędu i pokaże mi, że
- notepad++ jest jakkolwiek popularny na linuksie,
- zwłaszcza by jakkolwiek ten pierwszy komentarz miał sens o linuksiarzach używających notepada++,
- oraz że notepad++ nie jest natywny nigdzie bo trzeba pobrać instalator (?).
Kolega niestety chyba jest dużo bardziej zaawanwosany ode mnie w komputery i może nie

#matematyka #logika #filozofia
Implikacja materialna a wynikanie to dwie różne rzeczy.
@pyroxar:
Jeśli w obrębie systemu formalnego istnieje zdanie
P & ~P
To można zbudować dowolną alternatywę zawierającą jedno z ze zdań składowych:
P | Q
albo
~P | Q
A potem na drodze eliminacji wykazać, że dowolne Q jest prawdą
P | Q
~P
Q
W OP parafrazujesz tzw. principle of explosion, która jeśli ma jakiekolwiek znaczenie, to dla systemów dedukcyjnych.
Jeśli rzeczywiście cię to nie interesuje, to pytanie zadajesz na próżno.