Exercícios com respostas de Lógica Proposicional

Lógica Aplicada - Avaliação 1 - Prof. Tacla
Nome: __________________________________________________________ Data: ______________
Instruções: duração 1h35min / sem consulta / interpretação faz parte da prova
1. (1,0) Quando um argumento na forma P1, ..., Pn |--- Q é válido?
Quando a condicional entre a conjunção das premissas Pi e a conclusão Q é uma tautologia, ou seja, quando existe a relação de implicação lógica entre os mesmos.
2. (1,0) Escreva um teste condicional aninhado (se ..senão...) para selecionar pessoas da tabela abaixo com as seguintes características:
– homens que falem inglês ou francês OU
– homens que não falem inglês nem francês mas que conheçam Windows e Word OU
– mulheres
Nome
Sexo
Inglês
Francês
Windows
Word
José
M
SIM
NÃO
SIM
NÃO
Maria
F
NÃO
NÃO
NÃO
NÃO
Alfredo
M
NÃO
NÃO
NÃO
SIM Utilize o nome das colunas como variáveis. Ex: Se Sexo = “M” ... se sexo = "M" se Inglês = "SIM" ou Francês = "Sim" selecionado senão se Windows = "Sim" ou Word = "Sim" selecionado senão não selecionado senão selecionada
3. (1,0) Escreva em linguagem lógica-matemática o teste condicional abaixo:
SE cid = “Curitiba SE cep  80000  cep < 90000 Faça bloco A de comandos SENÃO Faça bloco B de comandos
SENÃO
Faça bloco C de comandos
(cid = "Curitiba"  cep  80000  cep < 90000  bloco A ) 
(cid = "Curitiba"  ~(cep  80000  cep < 90000)  bloco B) 
(cid  "Curitiba"  bloco C)
4. (1,0) Escreva uma gramática que permita expressar horários nos modos seguintes: hh:mm:ss (modo 24 horas), hh:mm:ss AM ou hh:mm:ss PM (modo 12 horas). Exemplos de sentenças sintaticamente corretas: 23:00:10; 11:05:00; 8:10:20 AM; 10:58:10 PM. Exemplos de sentenças incorretas: 24:00:00; 23:00:10 AM.
<horario>::= <h24> | <h12>
<h24> ::= <hh1>:<mm>:<ss>
<h12> ::= <hh2>:<mm>:<ss> <ampm>
<hh1> ::= 00 | 01| ... | 23
<hh2> ::= 00 | 01| ... | 12
<mm> ::= 00 | ...| 59
<ss> ::= 00 | ... | 59
<ampm> ::=