Söz Dizimi Referansı
A1: PP aksiyomunu tanımla
|- PKanıtlanacak hedef (⊢ de olur)
=>→ (koşullu / içerim)
<=>↔ (denklik / bikoşullu)
&& / ||∧ / ∨ (ve / veya)
~P¬P (değil / negasyon)
her x >= 0, P∀x(x≥0 → P)
bazı x > 0, P∃x(x>0 ∧ P)
her x elem. A, P∀x∈A, P(x)
her x, P∀x, P(x) (koşulsuz)
t elemanıdır At ∈ A
a = 5a=5 (eşitlik gerçeği)
a >= ba≥b (sayısal karşılaştırma)
// yorumSatır sonu yorumu
Niceleyici örnekleme: Aksiyomlardan bulunan terimler kullanılarak niceleyiciler otomatik örneklenir.
Sayısal eşitlikler (a=5) karşılaştırmalara
(a≥0) uygulanarak doğruluk değerleri türetilir.
Kanıt yöntemleri: Doğal çıkarım (Fitch tarzı), çözünürlük (CNF), analitik çizelge
ve doğruluk tablosu aynı anda çalıştırılır.
Hata, öneri veya katkı için: feylesof.js