Dedução natural para a lógica proposicional: a bicondicional.

26 Outubro 2017, 18:00 • Ricardo Santos

Dedução natural para a lógica proposicional. Exercícios de dedução com as regras já apresentadas. O uso de suposições nas regras I®, IØ e EÚ. Regras para a bicondicional. Uma bicondicional ‘A se e só se B’ é apenas uma forma abreviada de expressar a conjunção ‘Se A então B e se B então A’. Exemplos e exercícios.