تاربرگ‌های پیموده‌شده در این نشست: A Survey of Symbolic Logic Anita Wasilewska Affirming the consequent