P Q R A Seguir

estabelecida por uma das regras acima não é uma wff. Exercícios: 1.Utilize as regras de formação para determinar quais das seguintes fórmulas são wffs e quais não são. Justifique sua resposta. a) ~~~R b) (~R) c) PQ d) P → Q e) (P→Q) f) ~(P→Q) g) ((P∧Q) →R) h) (P∧Q) →R i) ~(~P ∧ ~Q) j) ((P∧Q) ∨ (R∧S)) 2. Interprete a letra sentencial “C” como 'Está chovendo', e “N” como 'Está nevando' e expresse a forma de cada sentença na notação do cálculo proposicional. a) Está…

reta paralela a uma reta dada. Para resolver o primeiro, seja P um ponto dado fora de uma reta r dada. A construção é a seguinte. Com centro em P trace uma circunferência qualquer cortando a reta r nos pontos A e B como mostra a figura a seguir. P A B r Em seguida, desenhamos dois arcos de circunferência de mesmo raio, com centros nos pontos A e B, determinando na interseção o ponto Q. A reta PQ é perpendicular à reta r e o primeiro problema está resolvido. O fato…

como parte de si mesma, e é denominada composta quando for formada pela combinação de duas ou mais proposições simples. De acordo com as informações contidas no texto, julgue o item a seguir. 10. A frase “Você sabe que horas são?” é uma proposição. 02. (CESPE/UnB–BB1/2007) Na lista de frases apresentadas a seguir há exatamente três proposições.  “A frase dentro destas aspas é uma mentira”.  A expressão X + Y é positiva.  O valor de 4  3  7 .  Pelé marcou dez gols para a…

lógicos “verdade” ou “falsidade”. Por este motivo, chamamos a Lógica Matemática de bivalente. As proposições serão indicadas por letras p, q, r, s, t, ... e o seu valor lógico por V(p) = V (ou 1) para uma proposição verdadeira e, V(p) = F (ou 0) para uma proposição falsa. Exemplos e contra-exemplos 1) p: Salvador é a capital da Bahia 2) q: 2 + 3 < 5 3) r: O poeta Castro Alves era baiano. 4) x + 2 = 1 5) Como faz calor! 6) Que dia é hoje? Como foi convencionado na…

cada um dos conjuntos de expressões a seguir é unificável. Para aqueles unificáveis, escrever a substituição unificadora e dizer se a substituição é a unificadora mais geral. a) {p(X,g(Y),a), p(Z,M,N), p(c,K,T), p(X1,X2,X3)} b) {q(a,b), q(M,Z), q(T,A), q(a,N)} c) {q(g(M),K,L), q(a,b,c), q(N,b,Z)} d) {p(f(f(g(a))),c,g(b)), p(X,Y,Z)} e) {r(a,b,f(Z)),r(X,Y,Z), r(b,b,M)} f) {s(Z1,Z2,f(f(Z4))), s(g(a),M,N,T), r(g(Z),c,d,K)} 2) Classifique as cláusulas a seguir em definidas, indefinidas, unitárias e

contradição, em que uma proposição não pode ser simultaneamente verdadeira e falsa; e ao princípio do terceiro excluído, em que os únicos valores lógicos possíveis para uma proposição são verdadeiro e falso. Com base nessas informações, julgue os itens a seguir. 1. Segundo os princípios da não contradição e do terceiro excluído, a uma proposição pode ser atribuído um e somente um valor lógico. 2. A frase “Que dia maravilhoso!” consiste em uma proposição objeto de estudo da lógica…

Lista de Exercícios 01 1) Quais das frases a seguir são proposições? a) A lua é feita de queijo verde. b) Ele é, certamente um homem feio. c) Dois é um numero primo d) O jogo vai acabar logo? e) Os juros vão subir ano que vem. f) Os juros vão descer ano que vem. 2) Qual o valor lógico de cada um das proposições a seguir a) 8 é par ou 6 é impar. b) 8 é par e 6 é impar. c) 8 é impar ou 6 é impar. d) 8 é impar e 6 é impar. e) Se 8 for ímpar, então 6 é impar. f) Se 8 for…

representar as proposições simples: p: Alda é alta q: Bino é baixo r: Ciro é calvo Escrevendo o enunciado em linguagem simbólica: p v ~q v r A afirmação dita no enunciado, representada por p v ~q v r, é falsa. Sabemos que na disjunção entre duas (ou mais) proposições p e q, seu valor lógico será Falsidade somente quando p e q forem ambas falsas (ver tabela-verdade do “ou” que foi apresentada em tópicos anteriores). Na questão, temos não duas, mas três proposições. Então p, q e ~r têm…

IGCE - UNESP - RIO CLARO/SP Rio Claro, 28 de Janeiro de 2013 Dedico essa dissertação à minha esposa, família, amigos e alunos. Agradecimentos Em primeiro lugar agradeço a Deus por ter me dado força nos momentos de maior diculdade, e seguir em frente para tornar este momento possível. Em seguida tenho muito a agradecer a minha esposa pelo incentivo para que me inscrevesse ao Programa de Mestrado Prossional em Matemática em Rede Nacional Profmat. Foram incontáveis horas de estudos

desenvolvendo linguagens Trabalho apresentado ao curso de Análise e Desenvolvimento de Sistemas da Universidade Norte do Paraná – UNOPAR para a disciplina Atividades Interdisciplinares Prof. Denise Dias, Eliane Araman, Éverson Morais, José R. Passini, Veronice de Freitas. 2011 SUMÁRIO 1 INTRODUÇÃO 3 1.1 - Parte I...................................................................................................................3 1.2 - Parte II........