TR
EN

UNIVERSITY
Rektörlük Önü
Quick Links
- Library
- Webmail
- Dining
- Restaurants
- Directory
- Events
- Announcements
- Academic Calendar
Eskişehir Academy of Economic and Commercial Sciences, founded in 1958, formed the basis of Anadolu University. The Academy was replaced by Anadolu University in 1982, which has gained a well-deserved place as a modern, dynamic and innovative institution among the largest universities not only in Türkiye, but also in the world.
ACADEMICS
OPEN EDUCATION
Açıköğretim Sistemi
Quick Links
Anadolu University Open Education System plays an essential role in overcoming educational problems of Türkiye not only by providing open and distance education to 1 million active students and 3.5 million graduates but also by developing specific projects. Besides with those numbers, the system is among the mega universities of the world. By the constantly renewing method of open and distance education, it implements many initiatives and innovations in the Turkish Higher Education System.
STUDENT AFFAIRS
RESEARCH
Araştırma
Quick Links
- Library
- Webmail
- Dining
- Restaurants
- Directory
- Events
- Announcements
- Academic Calendar
Kısa adıyla BAP (Bilimsel Araştırma Projeleri), yüksek öğretim kurumlarındaki bilimsel araştırmaların desteklenmesi amacıyla geliştirilmiş bir uygulamadır. Bu uygulama YÖK'ün 01.01.2002 tarihinden geçerli olmak üzere yürülüğe aldığı Yükseköğretim Kurumları Bilimsel Araştırma Projeleri Hakkında Yönetmelik uyarınca gerçekleştirilmektedir. Üniversitemizin tüm öğretim elemanları BAP Komisyonuna başvurarak bilimsel araştırmaları için kaynak alabilirler.
CAMPUS LIFE
Kampüste Yaşam
Quick Links
- Library
- Webmail
- Dining
- Restaurants
- Directory
- Events
- Announcements
- Academic Calendar
At Anadolu University, social and cultural activities are as important as education and scientific research. The University frequently holds scientific events such as conferences, seminars, panels, congresses and symposia, and cultural activities such as exhibitions, stage performances and concerts. In addition to smaller conference halls in each unit, Atatürk Culture and Arts Center, Congress Center and Cinema Anadolu on Yunusemre Campus house many activities throughout the year.

SYMBOLIC LOGIC II

Learning Outcomes

analyze arguments in natural language using formal propositional logic.
express propositions in formal language by using a symbolization key.
express formal propositions in natural language by using a translation key.
explain validity of quantified natural language arguments from the symbolic logical point of view.
test for validity informal arguments by symbolization and verifying/falsifying model construction.
analyze propositions and arguments by natural derivation method of quantificational logic.
express derivation rules.
test propositions for theoremhood by a natural derivation method.
test arguments for validity by natural derivation method.
analyze fallacies.
define fallacies in natural derivations.
explain fallaciousness of some commonly referred types of inference.
test derivations for fallacies.