https://mega.co.nz/#F!qtxjkYZK!

aqEeX7kLJ603eyggdE7iPg
https://mega.co.nz/#F!T1gHCaBY!4uxxK0uXX92oBVgLIsHd5w
https://mega.co.nz/#F!ANZ1QJLB!LocaC9RTSA7ispHzPktfEw
https://mega.co.nz/#F!IYYFlJqL!KptvLPKvTmDcuLijIRhzEw
https://mega.co.nz/#F!vspwjZxK!cCTjygaGORqSsHKSeDtZdA
https://mega.co.nz/#F!ikoHGbAR!xppL-QjDIchLTlsZoqFmPw

Introduo
Estruturas Lgicas
Proposio
Proposio Simples
Proposio composta
Conectivos
Conjuno ( conectivo e "^" ) e sua tabela-verdade;
Disjuno ( conectivo ou "v" ) e sua tabela-verdade;
Disjuno exclusiva (conectivo e "v" ) e sua tabela-verdade;
Condicional ( conectivo ) e sua tabela-verdade;
Equivalncia condicional;
Bicondicional e sua tabela-verdade;

Equivalncia da Bicondicional
Conectivo de negao ( ~ ) e sua tabela verdade;
Negao dos conectivos lgicos
Vrios Exerccios
Tabela-verdade
Tautologia
Contradio
Contingncia
Proposies logicamente equivalentes
Lgica de argumentao
Argumento vlido
Argumento invlido
Vrios exerccios
Questes verdades e mentiras
Diagramas lgicos

http://uploaded.net/file/pfbfkq6k
http://uploaded.net/file/yl0lzvhc