Written by students who passed Immediately available after payment Read online or as PDF Wrong document? Swap it for free 4.6 TrustPilot
logo-home
logo
  • University Of South Africa (Unisa)
  • COS2661 - Formal Logic II (COS2661)
To add items to your wishlist, you must be logged in
Document preview thumbnail
Preview 3 out of 25 pages
Class notes

Tautology

0.0
(0 reviews)
- sold
25 pages
2020/2021 Written for academic year
Institution
University Of South Africa (Unisa)
Course
COS2661 - Formal Logic II (COS2661)
Document preview thumbnail
Preview 3 out of 25 pages

Lecture notes study book Language, Proof, and Logic of Dave Barker-Plummer, Jon Barwise, John Etchemendy (4) - ISBN: 9781575866321 (Chapter 4 Tautology)

Content preview

CS1502 Formal Methods in
Computer Science

Lecture Notes 4
Tautologies and Logical Truth


1

, Constructing a Truth Table
Write down sentence
Create the reference columns
Until you are done:
– Pick the next connective to work on
– Identify the columns to consider
– Fill in truth values in the column
EG: ~(A ^ (~A v (B ^ C))) v B
(in Boole and on board)
2

, Tautology
A sentence S is a tautology if and only if
every row of its truth table assigns true to
S.




3
Connected book
image
Dave Barker-Plummer, Jon Barwise Language, Proof and Logic
Publisher: oktober 2011 ISBN: 9781575866321 Edition: 1

Document information

Uploaded on
May 24, 2021
Number of pages
25
Written in
2020/2021
Type
Class notes
Professor(s)
Edu
Contains
All classes
Report Copyright Violation
$8.49
Wrong document? Swap it for free Within 14 days of purchase and before downloading, you can choose a different document. You can simply spend the amount again.
Written by students who passed
Immediately available after payment
Read online or as PDF
Seller avatar
sashengovindasamy
Sold
0
Followers
0
Items
1
Last sold
-

Browse related subjects

Subjects

  • tautology
  • logic
  • validily

Why students choose Stuvia

Created by fellow students, verified by reviews

Quality you can trust: written by students who passed their tests and reviewed by others who've used these notes.

Didn't get what you expected? Choose another document

No worries! You can instantly pick a different document that better fits what you're looking for.

Pay as you like, start learning right away

No subscription, no commitments. Pay the way you're used to via credit card and download your PDF document instantly.

Student with book image

“Bought, downloaded, and aced it. It really can be that simple.”

Alisha Student

Working on your references?

Create accurate citations in APA, MLA and Harvard with our free citation generator.

Learn more Create citation
Working on your references?

Frequently asked questions