Questões sobre Algebra das Proposições

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.

Considere como premissas as seguintes proposições:

• "Ou o candidato é brasileiro nato ou o candidato não pode se inscrever no concurso para ingresso na carreira diplomática."
• "O candidato não pode inscrever-se no concurso para ingresso na carreira diplomática." Nesse caso, obtém-se uma argumentação lógica correta se for apresentada como conclusão a proposição: "O candidato não é brasileiro nato."

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.

As proposições compostas A→(¬B) e B→(¬A) têm exatamente os mesmos valores lógicos, independentemente das atribuições V ou F dadas às proposições simples A e B.

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.

Considerando que A e B simbolizem, respectivamente, as proposições "A publicação usa e cita documentos do Itamaraty" e "O autor envia duas cópias de sua publicação de pesquisa para a Biblioteca do Itamaraty", então a proposição B→A é uma simbolização correta para a proposição "Uma condição necessária para que o autor envie duas cópias de sua publicação de pesquisa para a Biblioteca do Itamaraty é que a publicação use e cite documentos do Itamaraty".

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.

Considerando todos os possíveis valores lógicos, V ou F, atribuídos às proposições simples A e B, é correto afirmar que a proposição composta possui exatamente dois valores lógicos V.

Considere que todas as proposições listadas abaixo são V.