Feylesof
Önerme Oluşturucu · Tutarlılık · Geçerlilik · Eşdeğerlik · Çözümleyici Çizelge

Değişkenler

Tekli

¬ DEĞİL

İkili

∧ VE

∨ VEYA

→ EGSART

↔ DKSART

Çıkarım

∴ O HALDE

Yalnızca kök. Sol taraf: virgülle ayrılmış öncüller (+). Sağ taraf: sonuç.

Önermeler

Düzenleyici —

Paletten bir blok sürükleyip ⊕ yuvasına bırakın...

Analiz

Çözümleyici Çizelge