segunda-feira, 29 de outubro de 2012

Lógica Proposicional - Teste - exercícios 7


1. Para cada questão, Indique a alínea que se ajusta de forma a formar uma proposição verdadeira.

1.1 - Um conceito é
A)      Uma representação mental que abstrai o particular dos objectos;
B)      Uma representação mental que sintetiza o essencial dos objectos;
C)      Uma representação mental que analisa o comum dos objectos;
D)      Uma representação mental que só olha para o conjunto.

1.2 - Uma proposição é universal quando
A)      o sujeito é considerado em toda a sua extensão;
B)      o sujeito é considerado em toda a sua compreensão;
C)      o predicado é universal;
D)      o predicado é adequado ao sujeito.

1.3 – Uma proposição hipotética
A)      submete uma proposição ao cumprimento de uma condição;
B)      submete uma condição ao cumprimento de uma proposição;
C)      estabelece uma relação pouco segura entre um antecedente e um consequente;
D)      é toda a proposição que não é categórica.

1.4 – Um argumento não dedutivo é
A)      o argumento que não sustenta a conclusão;
B)      o argumento que conclui o que tem de concluir;
C)      o argumento cuja conclusão ainda que sendo verdadeira não é segura;
D)      o argumento cuja falsidade das premissas nada se pode concluir.

1.5 – A necessidade lógica é
A)      sinónimo de contingência lógica;
B)      sinónimo de imposição da verdade;
C)      sinónimo da verdade da implicação entre antecedente e consequente;
D)      sinónimo de não poder deixar de concluir o que se conclui.

1.6 – A univocidade de um conceito
A) resulta de o conceito não poder ser dito por duas palavras;
B) resulta de o conceito não poder ser expresso por dois termos;
C) resulta de o conceito não poder ter dois significados;
D) resulta de o conceito não poder ter dois significantes.

1.7 – A extensão de um conceito
A) diz respeito à grande abrangência do conceito;
B) diz respeito à compreensão que o explica;
C) diz respeito ao conjunto de seres que abarca;
D) diz respeito à classe que representa
 

Grupo II

2 - Atenda aos seguintes enunciados:
A) Chove fortemente.   B) Ena, chove tão fortemente!  C) Podes emprestar-me o guarda-chuva?

2.1 - Identifique a proposição.
2.2 - Justifique por que não é a proposição um argumento.

 3 - Num argumento dedutivo da verdade das premissas não pode senão inferir-se a verdade da conclusão. Concorda? Porquê?

4 - Considere as seguintes frases declarativas.
A)      O João e o Mário não são inimigos entre si;
B)      Não é verdade que temos de optar entre comer melancia e comer melão.
C)      O António cora se a Anita está presente
D)      A Anita está presente e o Rui não.
E)      A Mona Lisa é bela, ou seja, a arte precisa de beleza.
 
4.1 – Enuncie-as na forma canónica.
4.2 – Formalize-as.

 Grupo III

5 - Demonstre a equivalência entre as duas proposições que se seguem:
A)      Não é verdade que não sei lógica e erro com frequência
B)      Sei lógica ou não erro com frequência.

6 - Considere os seguintes argumentos.
6.1 - Formalize-os.
6.2 – classifique-os como tautologia, contingência ou contradição.

A - A Joana não está apaixonada pelo Ricardo. A Joana está apaixonada pelo Hugo. Logo, é falso que a Joana está apaixonada pelo Ricardo.

B - Se souber lógica, constato a validade deste argumento. Mas não constato a validade deste argumento. Logo, não sei lógica.
 

C - Não sou do Sporting e não sou do Benfica, por isso sou do Benfica.

7 - Formalize o argumento:
A arte abre o futuro se e só se apresenta possibilidades ao homem e o artesanato conserva o passado, se e só se guarda a memória de factos. Mas, ou se apresentam possibilidades ou se guarda memória. Então ou a arte abre o futuro ou o artesanato conserva o passado.

domingo, 28 de outubro de 2012

Lógica Formal - correção EXERCÍCIO - 5

CORRECÇÃO

Nota 1: interpreto como subentendido um então na sequência dos «e». assim, os «e» não se apresentam como conjunção. Esta interpretação está aberta à discussão.

Nota 2: a disjunção é exclusiva.

Nota 3: este método é sobretudo um métodop para avaliar o valor de verdade de proposições. Para avaliar a VALIDADE dos argumentos seguir-se-à um outro - inspetor de circunstâncias - mais simples e rápido.


sexta-feira, 26 de outubro de 2012

Lógica Proposicional - EXERCÍCiO - 6

Demonstre Equivalência entre as duas proposições compostas

A) não é verdade que a arte é bela e que é harmonia;

B) a arte não é bela ou a arte não é harmonia.

Ps1: 
Terão de apresentar a mesma sequência de valores de verdade 
e se aplicarmos o sinal de equivalência este mostra ser uma tautologia..

Ps2: leis de De Morgan

quarta-feira, 24 de outubro de 2012



TEMA:  Os jovens e o emprego: que futuro?


Alunos do Ensino secundário

CRIA UMA LISTA DE 10 COLEGAS E APRESENTA ATÉ 3 MEDIDAS (E SUSTENTA-AS ARGUMENTATIVAMENTE).





Informação em   http://app.parlamento.pt/webjovem2013/index.html


Quais são as etapas para ser eleito para a Sessão Nacional?
1.º - Precisas de ser eleito para a Sessão Escolar — isso é fundamental — tens de ser
um legítimo representante da tua Escola. Mais adiante vais saber como te podes
candidatar.

2.º - Nessa Sessão Escolar tens de convencer os teus colegas de que sabes defender as
tuas ideias e as recomendações aprovadas na Escola para eles te elegerem para a
Sessão Distrital (nos Açores e Madeira chama-se Sessão Regional).
3.º - Nas Sessões Distritais/Regionais vão ser eleitas, pelos jovens deputados,  as
Escolas que posteriormente vão representar o distrito (ou Região Autónoma) na
Sessão Nacional.
Como é que posso ser deputado à Sessão Escolar?
Tens de te organizar com outros jovens teus colegas numa lista de 10 e, em conjunto,
têm de propor um máximo de 3 (três) medidas sobre o tema. Isto é: o que entendem
que a Assembleia da República, o Governo, os órgãos locais (ou outras entidades) ou
até os próprios jovens devem fazer para resolver uma questão, relacionada com o
tema, que todos considerem importante (será o vosso “programa eleitoral”). O ideal é
que outros colegas façam outras listas para o debate eleitoral ser animado.
Depois da fase da campanha eleitoral, realiza-se a eleição, em janeiro, e podes vir a ser
um dos eleitos à Sessão Escolar! (ver o Regulamento eleitoral – que consta no Regimento
Para que serve a Sessão Escolar?
A Sessão Escolar serve, essencialmente, para:
1.º Aprovar o Projeto de Recomendação da Escola: as propostas das várias listas que
elegerem deputados vão ser discutidas nessa Sessão e o texto final pode ter até 3
(três) medidas — as mais votadas na Sessão. As medidas aprovadas devem ser
claras e objetivas.
2.º Eleger os deputados da Escola à Sessão Distrital (ou Regional, nos Açores e
Madeira).
3.º Eleger o candidato à Mesa da Sessão Distrital/Regional.
4.º Escolher um tema para a Sessão do Parlamento dos Jovens do ano seguinte.
Quem dirige a Sessão Escolar?
A Mesa da Sessão Escolar é composta  pelo Presidente, eleito pelos deputados da
Escola,  por  1 (um) Vice-Presidente e por  1  (um) Secretário - designados pelo
Presidente (ver artigos 3.º a 5.º do Regulamento da Sessão Escolar).

terça-feira, 23 de outubro de 2012

Lógica proposicional - EXERCÍCIOS 5

EXERCÍCIOS de cálculo proposicional


1. Formalize o seguinte argumento:

Ou estudo ou não estudo. Se estudo, não tenho tempo para namorar e a Ómega deixa-me. Se não estudo, não tenho formação e a Ómega deixa-me. Logo a Ómega deixa-me.


PS1 - este argumento é apresenta-se sob a forma de DILEMA.
PS2 - este argumento é difícil.



2. Será uma tautologia, uma contradição ou uma contingência. Se for uma contigência é válido ou inválido (USE O INSPETOR DE CIRCUNSTÂNCIAS)

É uma TAUTOLOGIA E É VÁLIDO (obviamente).

sexta-feira, 19 de outubro de 2012

Lógica Proposicional - Exercícios 4

Formalize os argumentos

A)
Este exercício de lógica é fácil, pois todos os exercícios de lógica são fáceis quando se estuda. Acontece que eu estudei.

PS - IMPORTANTE - 1.ª IDENTIFICAR A CONCLUSãO.

Lógica Proposicional - Exercícios 3

CÁLCULO PROPOSICIONAL
1.       Considerando que 
                   P = (x) comer queijo
            Q = (x) cresce o pelo
            R = rato de 5 patas

traduza em linguagem natural o seguinte argumento

                                [((Pʌ Q)→R ) ʌ ¬ R]→ ¬ (PʌQ)

2. Demonstre,  recorrendo ao método das tabelas de verdade, que o argumento é uma tautologia

sexta-feira, 12 de outubro de 2012

Lógica Proposicional - EXERCÍCIOS 1

EXERCÍCIOS DE FORMALIZAÇÃO

Se Fernando Pessoa é poeta, então é português.

Se Fernando Pessoa é poeta e português, então é um grande poeta.

Fernando Pessoa é um grande poeta, se é poeta e português.

Fernando Pessoa é poeta, português e complexo.

Fernando Pessoa ou é um poeta ou é um cantor.

Fernando Pessoa é um poeta ou pensador.

Fernando Pessoa é ibérico, mas não é espanhol, então é português.


Indicadores de Premissa e Indicadores de Conclusão


3.1.   Indicadores de Premissa e de Conclusão

Indicadores de premissas
Indicadores de conclusão
Porque, pois, ora, uma vez que, posto que, visto
que, tendo em conta que, em virtude de, devido a,
considerando que, dado que, por causa de, como
mostra, a razão é que, pode inferir-se de, que resulta
de, já que, assumindo que, admitindo que...
Logo, então, daí que, assim, portanto, por isso,
segue-se que, por consequência, e por essa razão,
concluo, podemos inferir que, o que mostra que, o
que aponta para...
 

Exercício 1: Identifique a(s) premissa(s) e conclusão dos seguintes argumentos, enunciando premissas omitidas:

a) Não podes ser um bom estudante se não sabes estudar. Ora, tu sabes estudar, portanto, podes ser um bom estudante.

b) Gosto muito de música, uma vez que vou frequentemente a concertos.

c) Marisa é portuguesa, portanto é ibérica.

d) O Francisco é do signo Peixes, pois nasceu na segunda semana de Março.

e) Como o filme ainda não acabou eu não quero ir para a cama.

f) Dado que o morcego vive no ar, é uma ave.

g) Para quê discutir o sistema educativo? Não vale a pena discutir o sistema educativo porque o governo decide independentemente das nossas opiniões.
h) Os animais têm direitos porque são capazes de sofrer e um ser tem direitos se tiver essa capacidade

segunda-feira, 1 de outubro de 2012

Lógica Formal

Exercício de auto-avaliação de conhecimentos.

a) Toda a proposição é uma premissa?

b) Toda a frase é uma proposição?

c) Conceito equivale a palavra?

d) Todo o argumento válido tem conclusão verdadeira?

e) A verdade de um argumento é uma expressão correta?

f) Um argumento sólido tem todas as proposições verdadeiras?

g) Um argumento dedutivo apresenta uma conclusão necessariamente derivada das premissas?

h) Um argumento dedutivo pode ter conclusão falsa e premissas verdadeiras?

i) Um argumento não dedutivo válido apresenta uma conclusão somente plausível?

j) Um argumento é uma forma de justificar uma conclusão?

l) A verdade está para as proposições como a validade está para os argumentos?

m) Da verdade de uma proposição particular afirmativa podemos inferir a falsidade ou verdade de uma proposição Particular Negativa? e de uma Universal Afirmativa?

n) Qual a conclusão presente no seguinte argumento: «não entendo o pergunta, pois não entendo o assunto».

o) Formule a forma canónica de uma proposição hipotética.