De Fini cion una valuacion do I es un mapa v tal Que

v I 40,14
Por secuencia en f bfs For males con tetras de R En
este Caso J Fb75 40,14
Propiedades
1 OLD U a
2 T 7 L A T a
3 T Ed a B min TCL T BT TEL TCB
4 T Ed a B Max TCL JEB
O SI OK I n TCB O
5 I a B
1 de to contrario

Definition L OSTautologia si y solo si o a 1

Vu I 40,14

Lema Todo axiom a logic as tautologia

Ej Axiom a 2

a B 8 2 B o as a 21
I 1 I 1 1 I
1 I 0 1 0 1 0
I 0 I 1 0 1
I 0 0 I 0 1
0 I 1 I n l
I
 0 1 0 t t t
o O I i i n r
o o o n r

Ej Axiom a 3

a B C a B B x
1 I 1 1
I 0 1 l
0 I 0 1 O
O O 1 1

Ej Axioma 9 para este caso se Quiero Hogar a

una contradiction
a B 8 2 2 B o 2B 8
O O 0 1 0 0 0 1 0 0 01 1 00

Definition Les consecuencia tautological de

O On si para Toda valuation U Tal Que
TCO T On 1 SE tiene JE 1 EST

hech sedenotaporQ.nOnFx Tooromadovalidez.si

trenton cesta
corolario Sid On ta entonces Oi On FX
Too remade completitud si Fa ont once s ta

corolario Sid On t a entonces Oi On th

Definition Sea v valuation Fija entonces se

un a
define para cada Formulas
A SI TEL A
D Y
72 SI TEL O

Loman
a J t c at
u
b N But d B
C 20 But an B
u
d N But au B

Lema 2 Sean Pi Pn las tetras proposicionales do a

y sea v un a valuation entonces P Y Pri t d
para coal Qui or a y coal Quiero