Logika Kasia: Czy jest jakiś sposób na definiowanie spójników logicznych za pomocą innych spójników czy trzebatylko po prostu znać prawa?

daras: na tym polegają prawa zdań logicznych.. np. http://www.romazur.republika.pl/logika-zdanie.html

Kasia: czyli takowej zasady zamieniania nie ma tylko bazujemy cały czas na prawach?

Gray: Nie wiem, czy dobrze Cię rozumiem: pytasz, czy np. równoważność można zdefiniować przy pomocy np. koniunkcji i np. zaprzeczenia?

Kasia: chodzi mi o to czy jest jakaś metoda coś jak metoda zero jedynkowa do definiowania spójników przez inne.