matemática lógica Flashcards

1
Q

proposição

A

sentenças em que pode ser atribuído o valor de verdadeiro ou falso

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

as frases: “Marcos, veja que horas são (imperativa)” e “Quanto custa a passagem de ônibus (pergunta), são proposições?

A

não dá para atribuir o valor lógico de verdadeiro ou falso, logo, não são proposições.

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

principio da não contradição

A

uma proposição não pode ser verdadeira ou falsa ao mesmo tempo

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

principio do terceiro excluído

A

uma proposição ou é verdadeira ou é falsa, não tendo outra possibilidade.

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

a proposição composta contém

A

conectivos

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

conectivo ^

A

conjunção e. será verdadeira somente quando todas as proposições forem verdadeiras.

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

v

A

disjunção ou. será verdadeira quando pelo menos umas das proposições for verdadeira

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

->

A

condicional se..então. v e f é falso.

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

<->

A

bicondicional ..se somente se.. será verdadeira quando ambas as proposições tiver o mesmo valor lógico

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

~

A

negação não. falso quando for verdadeiro e vice-versa

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

símbolo v sublinhado

A

disjunção exclusiva ou…ou. verdadeiro quando ambos os valores lógicos são diferentes e falso quando ambos os valores lógicos são iguais.

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

equivalência

A

semelhante a igualdade

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

número de linhas da tabela verdade

A

2 elevado a n. sendo n número de proposições simples. exemplo: três proposições, 2 elevado a três = oito

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

O que são as leis de morgan

A

são as leis de negação dos conectivos.

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

seja p e q, a negação é dada por

A

não p ou não q

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

seja p ou q, a negação é dada por

A

não p e não q

17
Q

seja se p então q, a negação é dada por

A

p e não q. preserva a primeira e nega a segunda, por último troca o conectivo se então pelo conectivo e.

18
Q

seja p se e somente se q, a negação é dada por

A

ou p ou q. mantém a primeira e a segunda, tira o se e somente se e coloca o ou..ou

19
Q

seja ~p, a negação é dada por

A

p

20
Q

seja ou p ou q, a negação é dada por

A

p se somente se q

21
Q

tautologia

A

quando a última coluna da tabela verdade dá tudo verdade.

22
Q

contradição

A

quando a última coluna da tabela verdade dá tudo falso.

23
Q

regras de pontuação adequada

A

1- cada parênteses aberto deve ser fechado. os internos precedem aos externos.
2- é respeitado a ordem de precedência.

24
Q

ordem de precedência

A

(), ~, ^ e v, -> e <->

25
Q

fbf ou wff

A

fórmula bem formada ou well formed formula

26
Q

primeira regra de formação

A

uma letra proposicional isolada é uma wff

27
Q

segunda regra de formação

A

se p é uma wff, então, ~p também é

28
Q

terceira regra de formação

A

se p e q são wff, então (p^q), (pvq), (p -> q) e (p <-> q) também são

29
Q

p -> q ^ r. são uma wff?

A

sim, pois não há necessidade de parênteses visto que conjunção tem precedência de condicional.

30
Q

p -> q <-> r é uma wff?

A

não, pois a condicional e a bicondicional tem a mesma precedência. seria necessário o uso de parênteses para ser wff.

31
Q

(a ^ (b <-> c) é uma wff?

A

não, pois um dos parênteses foi aberto, mas não foi fechado.

32
Q

a ^ -> b. é uma wff?

A

não, pois desobedece a terceira regra, há dois conectivos juntos.

33
Q

“o Brasil foi colônia de Portugal, mas hoje é um país independente”. codifique e verifique o valor lógico de cada proposição simples.

A

p ^ q.
vl(p) = v. vl(q) = v
vl(p ^ q) = v