Lógica I - Desidério Murcho
Lógica I - Desidério Murcho
Lógica I - Desidério Murcho
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Complexidade'crescente'<br />
• Na'lógica'proposicional'clássica,'por'exemplo,'<br />
simplificamos'a'linguagem'de'tal'modo'que'“Todos'<br />
os'homens'são'mortais”'e'“Alguns'homens'são'<br />
mortais”'tem'a'mesma'forma'lógica'<br />
• Já'na'lógica'de'predicados'podemos'distinguir'duas'<br />
formas'lógicas'nessas'duas'afirmações'<br />
• Na'lógica'de'predicados,'todavia,'“Todos'os'homens'<br />
são'mortais”'e'“Todos'os'homens'são'<br />
necessariamente'mortais”'têm'a'mesma'forma'lógica'<br />
—'só'a'lógica'modal'que'iremos'estudar'agora,'<br />
distingue'as'duas'<br />
dmurcho.com' 36'