Formalize e verifique se os seguintes argumentos são válidos ou inválidos.

1) Se me ligassem ou me mandassem um email, então eu não teria ficado em casa. Ou eu estou gripado ou tem um filme bom na TV Se estou gripado, então fico em casa e se tem um filme bom na TV, então fico em casa. Ou eu estou gripado ou tem um filme bom na TV. Portanto, não me ligaram.

2) Se meu salário for bom o suficiente, então vou comprar uma geladeira. Se eu tiver um aumento, então meu salário vai ser bom o suficiente. Se eu tiver bastante trabalho neste mês, então meu salário será bom o suficiente. Ou eu tive um aumento, ou eu tive bastante trabalho neste mês. Se eu comprar uma geladeira, então eu não vou viajar Portanto eu vou viajar.

3) Se houve um assassinato, então Samanta é uma suspeita do crime. Samanta será interrogada se e somente se ela for suspeita do crime. Se Samanta ou Marcos forem interrogados, então teremos uma pista. Portanto, se ouve um assassinato e Ricardo e Jonas estiverem investigando, então teremos uma pista.

4) Se eu for pra casa é porque estou exausto. Hoje vou fazer muita festa Se eu estiver exausto, Então eu vou pra casa. Portanto, Eu vou pra casa se e somente se eu estiver exausto, e ou eu vou fazer muita festa ou vou estar sem grana.