Mantık

1234567
Across
  1. 2. önermelerin bağlaçlarla bağlanmasıyla elde edilen önermeler
  2. 3. yanlış önermelerin doğruluk değeri
  3. 5. doğruluğu ispatlanabilir önermeler
  4. 6. doğruluğu ispatsız kabul edilen önermeler
  5. 7. içinde en az bir değişken bulunan önermeler
Down
  1. 1. doğruluk değeri aynı olan önermeler
  2. 2. doğru önermelerin doğruluk değeri
  3. 4. doğru ya da yanlış kesin hüküm bildiren ifadeler