Last Update: 18 February 2005
Note: |
From (![]()
![]()
) and ¬
-------------- Infer ¬
![]()
From (![]()
![]()
) and (
![]()
![]()
) -------------- Infer (
![]()
![]()
)
From (v
) and (
![]()
![]()
) and (
![]()
![]()
) -------------- Infer (
v
)
DUE: AT THE BEGINNING OF LECTURE, FRIDAY, FEB. 25 |