Exercícios de Lógica

Exerccios Suplementares
1) Interprete a letra sentencial C como Est chovendo e a letra N como Est nevando, e expresse a forma de cada sentena na notao do clculo proposicional: a) Est chovendo. b) No est chovendo. c) Est chovendo ou nevando. d) Est chovendo e nevando. e) Est chovendo, mas no est nevando. f) No o caso que est chovendo e nevando. g) Se no est chovendo, ento est nevando. h) No o caso que se est chovendo ento est nevando. i) No o caso que se est nevando ento est chovendo. j) Est chovendo se e somente se no est nevando. k) No o caso que est chovendo ou nevando. l) Se est nevando e chovendo, ento est nevando. m) Se no est chovendo, ento no o caso que est nevando e chovendo. n) Ou est chovendo, ou sta nevando e chovendo. o) Ou est chovendo e nevando, ou est nevando mas no est chovendo. 2) Formalize os seguintes enunciados, utilizando a interpretao indicada: Letra Sentenciais Interpretao P Paula vai. Q Quincas vai. R Richard vai. S Sara vai. a) Paula no vai. b) Paula vai, mas Quincas no. c) Se Paula for, ento Quincas tambm ir. d) Paula ir, se Quincas for. e) Paula ir, somente se Quincas for. f) Paula ir, se e somente se Quincas for. g) Nem Paula nem Quincas iro. h) Paula e Quincas no iro. i) Ou Paula vai ou Quincas no vai. j) Paula no ir se Quincas for. k) Ou Paula ir, ou Richard e Quincas iro. l) Se Paula for, ento Richard e Quincas iro. m) Paula no ir, mas Richard e Quincas iro. n) Se Richard for, ento se Paula no for, Quincas ir. o) Se nem Richard nem Quincas forem, ento Paula ir. p) Richard ir somente se Paula e Quincas no forem. q) Richard e Quincas vo, apesar de Paula e Quincas no irem. r) Se Richard ou Quincas for, ento Paula ir e Sara no ir. s) Richard e Quincas iro se e somente se Paula ou Sara for. t) Se Sara for, ento Richard ou Paula iro, e se Sara no for, ento Paula e Quincas iro.
3) Determine quais das seguintes frmulas so fbf e quais no so. Justifique sua resposta. a) b) c) d) e) f) g) h) i) j) ~(~P) P~Q (PP) PP ~~~(~P&Q) ((PQ)) ~(P&Q)&~R (P(P(PP))) (P(Q(R&S))) (P(QvRvS))
4) Os seguintes argumentos so vlidos. Formalize-os, usando a interpretao indicada, e prove a validade da forma resultante utilizando somente as dez regras de introduo e eliminao. Letra Sentenciais C P S V Interpretao A concluso deste argumento verdadeira. As premissas deste argumento so verdadeiras. Este argumento correto. Este argumento vlido.
a) Este argumento no incorreto. Portanto, este argumento correto. b) Este argumento correto. Portanto, este argumento no incorreto. c) Se este argumento for correto, ento ele ser vlido. Ele no vlido; portanto, ele no correto. d) Se este argumento for correto, ento ele no ser invlido. Ele correto. Da, ele vlido. e) Se este argumento for correto, ento ele no ser invlido. Assim, se ele for invlido, ento ele ser incorreto. f) Este argumento correto e vlido. Portanto, ele correto ou ele invlido. g) Este argumento no , ambos, correto e invlido. Ele correto. Portanto, ele vlido. h) Este argumento correto se e somente se todas as suas premissas forem verdadeiras. Mas nem todas as suas premissas so verdadeiras. Portanto, ele incorreto. i) Se a concluso deste argumento for no - verdadeira, ento este argumento incorreto. Assim, no caso que este argumento correto e sua concluso no verdadeira. j) Se este argumento for incorreto e vlido, ento nem todas as suas premissas so verdadeiras. Todas as suas premissas so verdadeiras. Ele vlido. Portanto, ele correto. k) Se este argumento for vlido e todas as suas premissas forem verdadeiras, ento ele ser correto. Se ele for correto, ento a sua concluso ser verdadeira. Todas as suas premissas so verdadeiras. Portanto, se este argumento for vlido, ento a sua concluso ser verdadeira. l) Ou este argumento incorreto ou, caso contrrio, ele vlido e todas as suas premissas so verdadeiras. Donde, ele incorreto ou vlido.
m) Este argumento correto se somente se ele for vlido e todas as suas premissas forem verdadeiras. Nem todas as suas premissas so verdadeiras. Da, ele incorreto. n) Este argumento correto se e somente se ele for vlido e todas as suas premissas forem verdadeiras. Da, se ele for vlido, ele ser correto se todas as suas premissas forem verdadeiras. o) Este argumento ser incorreto somente se nem todas as suas premissas forem verdadeiras ou se ele for invlido. Mas ele vlido e todas as suas premissas so verdadeiras. Portanto, ele correto. 5) Utilizando as regras bsicas ou derivada, prove a validade das seguintes formas de argumento: a) P Q, Q R P R b) P Q ~ P ~ Q c) ~ P Q ~ (P ~ Q) d) P Q, P ~ Q ~ P e) (P Q) (P R) P (Q R) f) P Q (P R) (Q R) g) P Q (P R) (Q R) h) ~ P P P i) ~ P P Q j) P Q P Q 6) Utilizando as regras bsicas ou derivadas, prove os seguintes teoremas: a) b) c) d) e) f) g) h) i) j) PP P (Q (P Q)) ~ (P ~ P) (P Q) (~Q ~ P) (P Q) (~P ~Q) Q (P ~ P) (P ~ P) Q P (P Q) ~P (Q P) (P Q) (Q P)
7) Utilizando as regras bsicas ou derivadas, prove as seguintes equivalncias: a) b) c) d) e) f) g) h) (P Q) ~ (~P ~Q) (P Q) ~(~P ~Q) (P Q) ~(P ~Q) (P Q) ~P Q P ((P Q) (P ~Q)) ~ (P Q) (P ~Q) (P Q) ((P Q) (~P ~Q)) ~ (P Q) ((~P Q) (P ~Q))
i) (P ~P) (Q ~Q) j) (P ~P) (Q ~Q)

Exercícios de Lógica

Enviado por

Direitos autorais:

Formatos disponíveis

Exercícios de Lógica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Exercícios de Lógica

Enviado por

Direitos autorais:

Formatos disponíveis

Exerccios Suplementares

i) (P ~P) (Q ~Q) j) (P ~P) (Q ~Q)

Você também pode gostar