Subject Details
Dept     : CS
Sem      : 3
Regul    : 2022-2025
Faculty : Vani R
phone  : NIL
E-mail  : vani.r.cs@drsnsrcas.ac.in
279
Page views
15
Files
0
Videos
0
R.Links

Icon
Lecture Notes

UNIT 1:
word
download   open file
Rules for Natural Deduction
word
download   open file
Natural Deduction
word
download   open file
Natural Deduction
word
download   open file
Declarative Sentences
word
download   open file
Propositional Logic
word
download   open file
Derived Rules
word
download   open file
Derived Rules
word
download   open file
Provable Equivalence
word
download   open file
Provable Equivalence
word
download   open file
Provable Equivalence
word
download   open file
Provable Equivalence
word
download   open file
Provable Equivalence
word
download   open file
Propositional Logic as a formal language
word
download   open file
Propositional Logic as a formal language
word
download   open file
The meaning of logical connectives