Lógica Proposicional Flashcards

1
Q

O que é uma proposição?

A

É uma sentença declarativa, um fato, que é exclusivamente verdadeiro ou exclusivamente falso.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

O que é valor-verdade?

A

É o valor verdadeiro, ou falso, de uma proposição, também chamado de valor lógico.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Por que “essa frase é falsa” não se trata de uma proposição?

A

Pois se trata de um paradoxo, e paradoxos, assim como perguntas e instruções, não são proposições.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

O que é uma proposição composta?

A

Prposição composta é a junção de duas proposições simples, combinadas por meio de um conectivo.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Qual o operador lógico da conjunção e como ele é lido?

A

A conjunção é lida como “p e q” e seu operador lógico é o p /\ q.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

A frase “hoje está chovendo e é domingo” trata-se de uma proposição de que tipo?

A

É uma conjunção, que tem por simbolo lógico o “/".

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Qual o valor lógico (ou valor-verdade) de uma conjunção?

A

Uma conjunção só é verdadeira quantas ambas proposições forem verdadeiras e falsa se ambas forem falsas.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Qual o operador lógico da disjunção e como ele é lido?

A

A disjunção é lida como “p ou q” e seu operador lógico é “p \/ q”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Qual o tipo da proposição “hoje é domingo ou está chovendo”?

A

É uma proposição disjuntiva, quem por simbolo lógico o “\/”.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Qual o valor lógico da disjunção?

A

Para a disjunção ser verdadeira, uma das proposições deve ser verdadeira e será falso se ambas foram falsas.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Qual o operador lógico da implicação (ou condicional) e como ele é lido?

A

A implicação é lida como “se, então” e seu operador lógico é a seta “p -> q”, ou seja, “ se p, então q”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Qual o valor verdade da condicional?

A

Considerando “p -> q”, para a implicação ser falsa p deve ser verdadeiro e q falso, dos outros modos a implicação é sempre verdadeira.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Qual o operador lógico da equivalência (ou bi-condicional) e como ele é lido?

A

A equivalência é lida como “se, e somente se” e seu operador lógico é o “p <-> q”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Qual o valor-lógico da equivalência?

A

O valor lógico de uma bi-condicional só é verdadeiro se ambas forem verdadeiras, ou se ambas forem falsas.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

P | ¬P |
| — | — |
| V | F |
| F | V |

A

Negação

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

| P | Q | P ^ Q |

— | — | —– |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |

A

Conjunção (e)

17
Q

| P | Q | P v Q |

— | — | —– |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |

A

Disjunção (ou)

18
Q

| P | Q | P → Q |

— | — | —– |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |

A

Implicação (se, então)

19
Q

P | Q | P ↔ Q |
| — | — | —– |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |

A

Bi-implicação (se, somente se)