Shared by 
Unlock all 8 pages
Get it free by sharing your own notes, buy just this one, or become a member and unlock documents with your plan.
How to unlock this document
Choose the way that suits you. Each one gives you all 8 pages to read online and the PDF to download.
Share your notes, unlock for free
2 free unlocks for every 5 approved uploads
- Upload your own lecture notes, assignments, essays or past papers
- PDF, Word, PowerPoint and Excel files all work, and you can send many at once
- We check each upload; you get a notification when it is approved
- Spend a free unlock on this document or any other, and keep it for good
- Shared under your public username, never your email
Then upload your notes from your profile.
Buy this document
$8 one-time payment
- All 8 pages of this document, yours to keep
- Download the PDF and read it any time, also offline
- No subscription and nothing to cancel
- Find it again any time under My Profile → Library
You log in or create a free account first, then pay securely.
Become a member
Unlock documents from the whole library, which keeps growing
- Choose any documents you like, up to your plan’s unlocks
- Documents you unlock stay yours, even if you cancel later
- Your unlocks start again with every renewal
- Secure checkout by Dodo Payments
You log in or create a free account first, then pay securely.
Compare the plansAlready a member, or bought this before? Log in to open it
About this document
- Pages
- 8 pages
- Price
- $8 one-time, yours to keep
- Membership
- Included in every plan
- Format
- Subject
- Computer Science, Mathematics
- Module
- Mathematical Foundations of Computer Science
This document contains a series of assignments on mathematical logic, covering propositions, truth tables, and logical expressions. It is part of a Computer Science course on Mathematical Foundations.
What's inside
- Propositions and truth tables
- Logical expressions and their truth values
- Conditional propositions and their forms
- Symbolic representation of propositions
- Logical equivalences and De Morgan's laws
Who it is for: For students of a Computer Science course on Mathematical Foundations. (Undergraduate)
Share with classmates: WhatsApp Telegram X LinkedIn Facebook
Summary
Mathematical logic is a branch of mathematics. It uses symbols and truth tables to represent and evaluate statements. Students learn to work with propositions, negations, conjunctions, disjunctions, conditionals and biconditionals. They also practice forming negations and truth tables for different logical expressions.
Propositions and truth tables
Propositions are statements that can be true or false. Truth tables show all possible truth values of a proposition. Students learn to identify propositions and create truth tables for conjunctions, disjunctions and negations.
Negations and logical expressions
Negations reverse the truth value of a proposition. Students practice writing negations for various propositions. They also learn to evaluate logical expressions given the truth values of individual propositions.
Conditional and biconditional propositions
Conditional propositions have a hypothesis and a conclusion. Biconditional propositions are true if both propositions have the same truth value. Students learn to form and evaluate these propositions and their related forms, such as converses and contrapositives.
Logical arguments and validity
Logical arguments consist of hypotheses and a conclusion. Students learn to determine the validity of arguments using logical principles. They also analyze and evaluate arguments presented in words.
Key terms
- Proposition
- A statement that can be true or false.
- Truth table
- A table showing all possible truth values of a proposition.
- Negation
- The reverse of a proposition's truth value.
- Conjunction
- A compound proposition formed by 'and'.
- Disjunction
- A compound proposition formed by 'or'.
- Conditional proposition
- A proposition with a hypothesis and a conclusion.
Questions this document helps with
- What makes a statement a proposition?
- How do you create a truth table?
- What is the difference between a conjunction and a disjunction?
Summary written with AI from the document's text.
Ask the AI Teacher
Ask any question about this document or your course, and get a clear explanation.
Log in to ask Create a free account
Free accounts can ask 5 questions a day.