שינויים

האם הוכחה באמצעות טבלת אמת היא פורמלית?