PadhaiBy Astra Cloud
Search notes and questions
Ask a doubtProgramsNoticesGPA calculatorMy studyClassroom

Tribhuvan University

BSc CSITBachelor of Science in Computer Science and Information TechnologyBCABachelor of Computer ApplicationBITBachelor of Information TechnologyBIMBachelor of Information ManagementBBABachelor of Business AdministrationBBSBachelor of Business StudiesBBMBachelor of Business ManagementBITMBachelor of Information Technology Management

Pokhara University

BE Computer (PU)Bachelor of Engineering in Computer EngineeringBBA (PU)Bachelor of Business Administration (Pokhara University)

National Examinations Board (+2)

Class 10Class 10 (SEE)+2 Science+2 Science (Class 11 and 12)+2 Management+2 Management (Class 11 and 12)+2 Humanities+2 Humanities (Class 11 and 12)
All universities and programs

Elective Applied Logic

Applied Logic notes

5 chapter notes, in syllabus order. Each starts with the key points.

Unit 1 · 6 hrs

Argument Analysis – Structure, Validity, Soundness & Real-World ApplicationsUnit 1 of Applied Logic teaches how to dissect arguments into premises, conclusions, and implicit assumptions; distinguish between deductive/inductive reasoning; evaluate validity and soundness; and identify common argument structures like enthymemes and chains. Covers practical tools like Venn diagrams for logical rel8 min read

Unit 2 · 10 hrs

Categorical Logic: Propositions, Syllogisms & Square of OppositionUnit 2 of Applied Logic explores how to analyze statements using categorical propositions (A, E, I, O types), evaluate their validity via syllogisms, and apply the Square of Opposition to determine logical relationships between them. Covers term distribution, conversion, obversion, contraposition, and mood/figure analy13 min read

Unit 3 · 12 hrs

Symbolic Logic: Propositions, Connectives & Truth TablesUnit 3 of Applied Logic teaches how to translate natural language arguments into symbolic logic using propositional variables, logical connectives (AND, OR, NOT, IMPLIES), and truth tables to evaluate validity. Covers tautologies, contradictions, and logical equivalences with real-world applications in programming, AI,8 min read

Unit 4 · 6 hrs

Quantification Theory: Predicates, Quantifiers & Logical FormsUnit 4 of Applied Logic explores how to express statements about all or some entities using quantifiers (∀, ∃), translate natural language into formal logic, and evaluate truth values in quantified expressions—essential for database queries, AI reasoning, and algorithm correctness.9 min read

Unit 5 · 6 hrs

Fallacies: Types, Detection & Avoidance in ReasoningUnit 5 of Applied Logic explores common logical fallacies—errors in reasoning that distort arguments—covering formal, informal, and rhetorical fallacies with definitions, real-world examples, and techniques to identify and avoid them in academic, professional, and everyday contexts.11 min read

Unit 6 · 5 hrs

Analogical and Casual Reasoning · note coming