Questões sobre Proposição

Proposições são sentenças que podem ser julgadas como verdadeiras - V -, ou falsas - F -, mas não cabem a elas ambos os julgamentos.

As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.

Uma expressão da forma AB é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B".

A expressão ¬A, "não A", tem valor lógico F se A for V, e valor lógico V se A for F.

 A expressão A V B, lida como "A ou B", tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.

A expressão - tem valor lógico F se A for V e B for F. Nos demais casos, será V, e tem, entre outras, as seguintes leituras: "se A então B", "A é condição suficiente para B", "B é condição necessária para A".

Uma argumentação lógica correta consiste de uma seqüência de proposições em que algumas são premissas, isto é, são verdadeiras por hipótese, e as outras, as conclusões, são obrigatoriamente verdadeiras por conseqüência das premissas.

Sabe-se que as proposições ¬(AB) e (¬A)V(¬B) têm os mesmos valores lógicos para todas as possíveis valorações de A e de B. Então a negação da proposição "O Brasil possui embaixada em Abu Dhabi e não em Marrocos" pode ser simbolizada da forma (¬A)VB.

Proposições são sentenças que podem ser julgadas como verdadeiras - V -, ou falsas - F -, mas não cabem a elas ambos os julgamentos.

As proposições simples são freqüentemente simbolizadas por letras maiúsculas do alfabeto, e as proposições compostas são conexões de proposições simples.

Uma expressão da forma AB é uma proposição composta que tem valor lógico V quando A e B forem ambas V e, nos demais casos, será F, e é lida "A e B".

A expressão ¬A, "não A", tem valor lógico F se A for V, e valor lógico V se A for F.

 A expressão A V B, lida como "A ou B", tem valor lógico F se ambas as proposições A e B forem F; nos demais casos, é V.

A expressão - tem valor lógico F se A for V e B for F. Nos demais casos, será V, e tem, entre outras, as seguintes leituras: "se A então B", "A é condição suficiente para B", "B é condição necessária para A".

Uma argumentação lógica correta consiste de uma seqüência de proposições em que algumas são premissas, isto é, são verdadeiras por hipótese, e as outras, as conclusões, são obrigatoriamente verdadeiras por conseqüência das premissas.

A sentença "O Departamento Cultural do Itamaraty realiza eventos culturais e o Departamento de Promoção Comercial não estimula o fluxo de turistas para o Brasil" é uma proposição que pode ser simbolizada na forma .

Com base nas informações do texto I, julgue os itens subseqüentes, relativos às informações históricas apresentadas no texto II.

A partir das definições apresentadas no texto acima, julgue os itens subseqüentes.

Simbolizando-se adequadamente, pode-se garantir que a proposição "Se o caminhão atropelou o tamanduá então Ana foi lavar roupas" é equivalente à proposição "Se Ana não foi lavar roupas então o caminhão não atropelou o tamanduá".

Uma proposição é uma frase afirmativa que pode ser julgada como verdadeira ou falsa. Um argumento é considerado válido se, sendo sua hipótese verdadeira, a sua conclusão também é verdadeira.

Considerando essas informações e a figura acima, em que estão colocadas algumas figuras geométricas conhecidas — quadrados, triângulos e pentágonos (5 lados) — dispostas em uma grade, julgue os itens seguintes.

A afirmativa Existe um pentágono grande e todos os triângulos são pequenos é uma proposição falsa.