Oi, galera! Vamos definir FÓRMULA em Cálculo Proposicional:
1. Toda fórmula atômica é uma fórmula.
2. Se A e B são fórmulas então
(A ^ B) , (A v B) , (A -> B) , (A <-> B) e (~A) também são fórmulas.
3. São fórmulas apenas as obtidas por 1. e 2. .
Os parênteses serão usados segundo a seguinte ordem dos conectivos: ~, ^ , v , ->, <->.
Com o mesmo conectivo adotaremos a convenção pela direita.
Exemplo: a fórmula p v q ^ ~ r -> p -> ~ q deve ser entendida como
(((p v q) ^ (~ r)) -> ( p -> (~ q)))
Para refletir: "A bíblia é uma janela neste mundo-prisão, através da qual nos é possível divisar a eternidade." (Timoty Dwight)
1. Toda fórmula atômica é uma fórmula.
2. Se A e B são fórmulas então
(A ^ B) , (A v B) , (A -> B) , (A <-> B) e (~A) também são fórmulas.
3. São fórmulas apenas as obtidas por 1. e 2. .
Os parênteses serão usados segundo a seguinte ordem dos conectivos: ~, ^ , v , ->, <->.
Com o mesmo conectivo adotaremos a convenção pela direita.
Exemplo: a fórmula p v q ^ ~ r -> p -> ~ q deve ser entendida como
(((p v q) ^ (~ r)) -> ( p -> (~ q)))
Para refletir: "A bíblia é uma janela neste mundo-prisão, através da qual nos é possível divisar a eternidade." (Timoty Dwight)
Achei seu blog muito interessante
ResponderExcluirserá que vc pode me ajudar
preciso resolver essa fórmula sem usar o teorema da dedução
A, A →¬¬ B├ (¬C→B)∨(A∧B)
agradecido